目录
52 关系: Akka，Amazon.com，Apache许可证，及早求值，丹麦，布爾 (數據類型)，乌普萨拉大学，強弱型別，开放源代码，快速排序，北电网络，分布式计算，喬·阿姆斯特朗，函数，函數程式語言，Clojure，Concurrent computing，CORBA，短路求值，編譯器，编程语言，瑞典，直譯語言，Dart，Elixir，階乘，類型系統，高阶函数，转义序列，開放電信平台，链表，脚本语言，F♯，FreeBSD，Λ演算，LISP，LL剖析器，MapReduce，Mozilla公共许可证，Oz，Prolog，Rust，Scala，Smalltalk，T-Mobile，WhatsApp，Wings 3D，XMPP，惰性求值，斐波那契数列，... 扩展索引 (2 更多) »
- 1986年建立的程式語言
- 函数式编程语言
- 动态类型编程语言
- 動態編程語言
- 宣告式編程語言
- 愛立信
- 模式匹配编程语言
Akka
Akka是一套开源工具和运行时，便于构建JVM上的并发应用和分布式应用。Akka支持多种并发编程模型，不过，由于受到Erlang启发，Akka尤其强调基于参与者的并发模型。 Category:Scala平台軟體 Category:Java平台軟體 Category:Java开发工具.
查看 Erlang和Akka
Amazon.com
#重定向 亞馬遜公司.
Apache许可证
Apache许可证（Apache License），是一个由Apache軟件基金會发布的自由软件许可证，最初为Apache http服务器而撰写。Apache许可证要求被授权者保留版权和放弃权利的聲明，但它不是一个反版权的许可证。 此许可证最新版本为“版本2”，于2004年1月发布。 Apache许可证在Apache社区内外被广泛使用。Apache基金会下属所有项目都使用Apache许可证，许多非Apache基金会项目也使用了Apache许可证：据统计，截至2012年10月，在sourceforge上有8708个项目使用了Apache许可证。.
及早求值
及早求值（eager evaluation），又譯热情求值，也被稱為貪婪求值（greedy evaluation）或严格求值，是多数传统编程语言的求值策略。 在热情求值中，表达式在它被约束到变量的时候就立即求值。这在简单编程语言中作为低层策略是更有效率的，因为不需要建造和管理表示未求值的表达式的中介数据结构。 热情求值的优点在于节省内存和提高执行速度，比如下面的 Basic 代码： 因为第一行代码 x.
查看 Erlang和及早求值
丹麦
丹麦（Danmark），全称丹麦王国（Kongeriget Danmark），是北欧国家，政体为君主立宪制下的议会民主制，首都在哥本哈根，擁有两個自治領地：法羅群島和格陵蘭。由于丹麦和挪威、瑞典有相近的语言、文化和历史，合称为斯堪地那维亚国家。 丹麥是歐洲聯盟成員國，經濟高度發達，同時是個典型的福利国家，貧富差距極小，为世界高度发达国家。丹麥也是北大西洋公約組織創始會員國之一。 丹麦政体为君主立宪制下的议会民主制，現任君主是玛格丽特二世女王，中央政府拥有相当大的权力，并负责属地法罗群岛和格陵兰的部分事务。.
查看 Erlang和丹麦
布爾 (數據類型)
布爾（Boolean，台湾译--，中國大陸譯--）是计算机科学中的逻辑数据类型，以發明布爾代數的數學家喬治·布--爾為名。它是只有两种值的原始類型，通常是True和False。 在一些语言中，布尔数据类型被定义为可代表多于两个真值。例如，ISO SQL:1999标准定义了一个SQL布尔型可以储存三个可能的值：真、假、未知（SQL null被当作未知真值来处理，但仅仅在布尔型中使用）。.
乌普萨拉大学
乌普萨拉大学（Uppsala universitet）是一所国立的综合性的大学，位于瑞典的乌普萨拉，位于首都斯德哥尔摩西北78公里处。它创建于1477年，是北欧最古老的大学，北欧及全球范围最好的大学之一，在欧洲亦被广泛视为最享有盛誉的学府之一。.
強弱型別
強弱型別（Strong and weak typing）表示在電腦科學以及程式設計中，經常把程式語言的类型系统分为強型別（strongly typed）和弱型別（weakly typed (loosely typed)）两种。這兩個術語並沒有非常明確的定義，但主要用以描述程式語言對於混入不同資料型別的值進行運算時的處理方式。強型別的語言遇到函式引數型別和實際叫用型別不符合的情況經常會直接出錯或者編譯失敗；而弱型別的語言常常會實行隐式转换，或者产生难以意料的结果。這對術語在短短的電腦歷史中，早已含括了更多的意義，而且時常很難知道寫的人究竟要表達哪個意思。.
查看 Erlang和強弱型別
开放源代码
開放原始碼（Open Source）描述了一种在产品的出品和开发中提供最终源材料的做法。在這個詞廣泛使用前，開發者和生產者使用很多詞去描述這個概念；開放源代碼在互聯網上獲得廣泛使用，參加者需要大量更新電腦原始碼。開放源代碼使得生產模組、通訊管道、互動社群獲得改善。隨後，一個新著作權、軟體授權條款、域名和消費者提供建立的，一個新詞開源軟體誕生。 開源模型概念包括同時間不同時程和方法來生產，相對而言，更加集中式的軟体設計模型，例如典型的商業軟体公司。一個開源軟体開發的主要原則和慣例是易貨貿易和合作的同儕生產，經由免費公開的最終產品、原始資訊、藍圖和--。這逐漸應用在其它領域，例如生物技術。.
查看 Erlang和开放源代码
快速排序
快速排序（Quicksort），又稱劃分交換排序（partition-exchange sort），簡稱快排，一種排序算法，最早由東尼·霍爾提出。在平均狀況下，排序 n 個項目要 \ O (n\log n) （大O符号）次比較。在最壞狀況下則需要 O (n^2) 次比較，但這種狀況並不常見。事實上，快速排序 \Theta(n\log n) 通常明顯比其他演算法更快，因為它的內部循环（inner loop）可以在大部分的架構上很有效率地達成。.
查看 Erlang和快速排序
北电网络
北电网络（Nortel Networks），是由北方電訊（Northern Telecom Limited）及海灣網路（Bay Networks）在1998年所合併而成的公司，為加拿大电讯设备供应商，是光网络、GSM/UMTS、CDMA、WiMAX、IMS、企业通信平台等领域的世界主要供应商。2001年遭受互联网泡沫的冲击，股票暴跌，加上财务丑闻，公司元气大伤，于2006年将WCDMA接入产品部门出售给合并后的阿尔卡特-朗讯，希望集中精力从事于4G，IMS，以及企业统一通信平台产品的开发。但公司的销售额依旧连年下滑，2008年年销售额104亿美元，僅是其顶峰时期的1/3，而当年亏损高达58亿美元。 2009年1月14日，北電網路同時在美國和加拿大申请破產保護。.
查看 Erlang和北电网络
分布式计算
在計算機科學中，分布式计算（Distributed computing），又譯為--。這個研究領域，主要研究分散式系統（Distributed system）如何進行計算。分散式系統是一組電腦，透過網路相互连接傳遞訊息與通訊後并协调它们的行为而形成的系統。组件之间彼此进行交互以实现一个共同的目标。把需要进行大量计算的工程数据分割成小块，由多台计算机分别计算，再上传运算结果後，將結果统一合并得出数据结论的科学。分布式系统的例子来自有所不同的面向服务的架构，大型多人線上遊戲，对等网络应用。 目前常见的分布式计算项目通常使用世界各地上千万志愿者计算机的闲置计算能力，通过互联网进行数据传输（志愿计算）。如分析计算蛋白质的内部结构和相关药物的Folding@home项目，該项目結構庞大，需要惊人的计算量，由一台电脑计算是不可能完成的。虽然现在有了计算能力超强的超级計算機，但這些設備造價高昂，而一些科研机构的经费却又十分有限，藉助分佈式計算可以花費較小的成本來達到目標。.
查看 Erlang和分布式计算
喬·阿姆斯特朗
約瑟夫·萊斯利·阿姆斯特朗（Joseph Leslie Armstrong，），暱稱喬·阿姆斯特朗（Joe Armstrong）生於英國英格蘭伯恩茅斯，計算機科學家與程式設計師，他是Erlang程式語言的設計者與主架構師，也是開放電信平台的主要架構師。Joseph „Joe“ Leslie Armstrong.
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
查看 Erlang和函数
函數程式語言
函數式編程（functional programming）或称函数程序设计，又稱泛函編程，是一種編程典範，它將電腦運算視為數學上的函數計算，並且避免使用程序状态以及易变物件。函數程式語言最重要的基礎是λ演算（lambda calculus）。而且λ演算的函數可以接受函數當作輸入（引數）和輸出（傳出值）。 比起指令式編程，函數式編程更加強調程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。.
Clojure
Clojure（發音類似"closure"）是一套現代的Lisp語言的動態語言版。它是一个函数式多用途的语言。 Clojure可以執行於Java虛擬機，通用語言運行時以及JavaScript引擎之上。與其他Lisp一樣，Clojure認為同像性，同時擁有複雜的巨集。 Clojure最新的稳定版本是1.8，发布于2016年1月19日。第一个稳定版本1.0于2009年5月4日发布。 Clojure是一个在Eclipse公共许可证下发行的自由软件。目前其开发进程是社区主导的，在作者Rich Hickey以一个“终身的仁慈独裁者”的身份监督下进行。.
Concurrent computing
#重定向 并发计算.
查看 Erlang和Concurrent computing
CORBA
CORBA（Common Object Request Broker Architecture）通用物件請求代理架構是軟體構建的一个標準。 CORBA標準由物件管理組織（OMG）設立並進行控制，CORBA定義了一系列API，通信協議，和物件／服務信息模型用於使得異質應用程序能夠互相操作，這些應用程序用不同的程式語言編寫，運行在不同的平台上。CORBA因此為定義明確的物件提供了平臺和位置的透明性，這些物件是分布式計算平臺的基礎。 通常來說，CORBA把用其他語言開發的程序代码和關於該程序代码能力和如何調用該程序代码的信息包到一個开发包（package）中，开发包中的物件則可以在網络上被其他程序（或CORBA物件）調用。在這個意義上來講，CORBA可以被看作是一個機器可讀的文件檔格式，類似於头文件（header），但是具有相當多的信息。 CORBA使用一種接口描述语言（Interface description language）用於刻畫物件將呈現出來的介面。CORBA又規定了從IDL到特定程式語言，如C++或Java，實現的映射。這個映射精確的描述了CORBA資料類型是如何被用戶端和伺服器端實現的。標準映射的有Ada、C、C++、Smalltalk、Java、以及Python。還有一些非標準的映射，為Perl和Tcl的映射由這些語言寫的ORB實現。 CORBA的IDL只是IDL的一個例子。 在提供用戶語言和平臺中性的遠端程序呼叫規範的同時，CORBA也定義了通常需要的服務，例如事務和安全。.
查看 Erlang和CORBA
短路求值
短路求值（Short-circuit evaluation，又称最小化求值），是一种逻辑运算符的求值策略。只有当第一个运算数的值无法确定逻辑运算的结果时，才对第二个运算数进行求值。例如，当AND的第一个运算数的值为false时，其结果必定为false；当OR的第一个运算数为true时，最后结果必定为true，在这种情况下，就不需要知道第二个运算数的具体值。在一些语言中（如Lisp），默认的逻辑运算符就是短路运算符，而在另一些语言中（如Java，Ada），短路和非短路的运算符都存在。对于一些逻辑运算，如XOR，短路求值是不可能的 。 短路表达式x AND y，事实上等价于条件语句：if x then y else false。短路表达式x OR y，则等价于条件语句：if x then true else y。.
查看 Erlang和短路求值
編譯器
编译器（compiler），是一種電腦程式，它會將用某種程式語言寫成的原始碼（原始語言），轉換成另一種程式語言（目標語言）。 它主要的目的是將便于人编写、阅读、维护的高级计算机语言所寫作的原始碼程式，翻译为计算机能解读、运行的低阶机器语言的程序，也就是執行檔。编译器将原始程序（source program）作为输入，翻译产生使用目标语言（target language）的等价程序。源代码一般为高阶语言（High-level language），如Pascal、C、C++、C# 、Java等，而目标语言则是汇编语言或目标机器的目标代码（Object code），有时也称作机器代码（Machine code）。 一个现代编译器的主要工作流程如下： 源代码（source code）→ 预处理器（preprocessor）→ 编译器（compiler）→ 汇编程序（assembler）→ 目标代码（object code）→ 链接器（Linker）→ 執行檔（executables）， 最後打包好的檔案就可以給電腦去判讀執行了。.
查看 Erlang和編譯器
编程语言
编程语言（programming language），是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在電腦發明之前產生的，當時是用來控制及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式編程，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為及語義。語法是說明編程語言中，哪些符號或文字的組合方式是正確的，語義則是對於編程的解釋。有些語言是用規格文件定義，例如C語言的規格文件也是ISO標準中一部份，2011年後的版本為ISO/IEC 9899:2011，而其他55語言（像Perl）有一份主要的文件，視為是。.
查看 Erlang和编程语言
瑞典
典王国（Konungariket Sverige）是一个位于斯堪地纳维亚半岛的北歐国家，首都为斯德哥尔摩。西鄰挪威，东北与芬兰接壤，西南濒临斯卡格拉克海峡和卡特加特海峡，東邊為波罗的海與波的尼亞灣。即瑞典和與丹麦、德国、波兰、俄罗斯、立陶宛、拉脫維亞和爱沙尼亚隔海相望，於西南通过厄勒海峽大桥与丹麦相连。瑞典於1995年加入欧洲联盟。 瑞典面积为449,964平方公里，为北歐第一大国家，人口1000万，第三页 - 于2007年7月10日查阅。。64%的國土由森林覆蓋，人口密度低，只有都會地區人口密度較高，84%的人口居住在只佔国土面积1.3%的城市裡。瑞典是一个現代、自由與民主的高度发达国家，其公民享有高质的生活，政府亦非常注重环保。 瑞典是传统的铁、铜和木材出口国，其水资源也很丰富，但是石油和煤矿十分匮乏。隨著運輸以及通訊的進步，這些自然資源也能夠更大規模地從各地開採，尤其是木材與鐵礦。經濟自由與教育普及而讓瑞典開始歷經快速的工業化，並從1890年代開始發展製造業。20世紀瑞典成為一個福利國家。 1397年，瑞典與丹麦和挪威一起所組成了卡爾馬聯合（芬兰此時還是瑞典王國的一部分）。瑞典於16世纪初脫離卡爾馬聯合，並且與鄰國進行了多年的戰爭，尤其是與俄羅斯以及從未完全承認瑞典已經離開了卡爾瑪聯合的丹麥-挪威聯合。17世纪時瑞典藉由戰爭擴張領土，成為了強權國家，其領土面积為目前的兩倍之大。1809年瑞典失去了芬蘭，也不再具有強權地位。之后，瑞典沒有再參與過戰爭。 現今，瑞典被視為極力追求人权和平等的国家之一。瑞典二戰後設立許多社會福利的制度，並在聯合國開發計劃署的人类发展指数中通常名列前茅。.
查看 Erlang和瑞典
直譯語言
解释型语言（Interpreted language），是一種编程语言。這種類型的程式語言，會將程式碼一句一句直接執行，不需要像編譯語言（Compiled language）一樣，經過編譯器先行編譯為機器碼，之後再執行。這種程式語言需要利用直譯器，在執行期，動態將程式碼逐句直譯（interpret）為機器碼，或是已經預先編譯為機器碼的的子程式，之後再執行。 理論上，任何程式語言都可以是編譯式，或直譯式的。它們之間的區別，僅與程式的應用有關。許多程式語言同時採用編譯器與直譯器來實作，其中包括Lisp，Pascal，C，BASIC 與 Python。JAVA及C#採用混合方式，先將程式碼編譯為bytecode，在執行時再進行直譯。.
查看 Erlang和直譯語言
Dart
Dart（, ）是一种适用于全球資訊網的開放原始碼程式語言，由Google主導開發，於2011年10月公開。它的開發團隊由Google Chrome瀏覽器V8引擎團隊的領導者主持，目標在於成為下一代結構化Web開發語言。 類似JavaScript，Dart也是一種物件導向語言，但是它採用類別基礎編程。它只允許單一繼承，語法風格接近C語言。.
查看 Erlang和Dart
Elixir
Elixir是一个基于Erlang虚拟机的函数式、面向并行的通用编程语言。Elixir以Erlang为基础，支持分布式、高容错、实时应用程序的开发，亦可通过宏实现元编程对其进行扩展，并通过协议支持多态。.
階乘
一个正整数的階乘（factorial）是所有小於及等於該數的正整數的積，并且有0的阶乘为1。自然數n的階乘寫作n!。1808年，基斯頓·卡曼引進這個表示法。 亦即n!.
查看 Erlang和階乘
類型系統
在计算机科学中，--系統用于定義如何將程式語言中的數值和zh:運算式;zh-tw:運算式;zh-cn:表达式-归類为许多不同的型別，如何操作这些型別，这些型別如何互相作用。型別可以确认一个值或者一组值具有特定的意义和目的（雖然某些型別，如抽象型別和--型別，在----中，可能不表示為值）。型別系統在各種語言之間有非常大的不同，也許，最主要的差異存在於編譯時期的語法，以及執行時期的操作实现方式。 編譯器可能使用值的靜態型別以最佳化所需的儲存區，並選取對值運算時的較佳演算法。例如，在許多C編譯器中，「浮點數」資料型別是以32 位元表示，與IEEE 754規格一致的單精度浮點數。因此，在數值運算上，C應用了浮點數規範（浮點數加法、乘法等等）。 型別的約束程度以及評估方法，影響了語言的型別。更進一步，程式語言可能就型別多態性部分，對每一個型別都對應了一個極度個別的演算法的運算。型別理論研究型別系統，儘管實際的程式語言型別系統，起源於電腦架構的實際問題、編譯器實作，以及語言設計。.
查看 Erlang和類型系統
高阶函数
在数学和计算机科学中，高阶函数是至少满足下列一个条件的函数：.
查看 Erlang和高阶函数
转义序列
转义是当由于技术等原因、无法直接在代码中写出所要的字符时采用的，以多个字符的有序组合来表示原本需要的字符的手段，而转义序列（escape sequence）指在转义时使用的有序字符组合。 采用转义序列的原因有很多。比如，显然不能直接把 CRLF 或 HT 这样的字符输入为字符常量，因为键盘上的回车键或制表键只完成自己该做的工作：在源代码文件中换行或跳到下一个制表位置。 不同的编程语言中，转义序列的形式也不同。例如，ANSI转义序列中，形如 ESC+.
查看 Erlang和转义序列
開放電信平台
開放電信平台（Open Telecom Platform，縮寫為OTP），又譯為開源電信平台，以Erlang寫成的應用程式伺服器，用於開發分布式的、高容錯性的Erlang應用程式。愛立信公司在1998年以開放原始碼的方式將程式釋出。 它包含了.
链表
链表（Linked list）是一种常见的基础数据结构，是一种线性表，但是并不会按线性的顺序存储数据，而是在每一个节点里存到下一个节点的指针(Pointer)。由于不必须按顺序存储，链表在插入的时候可以达到O(1)的复杂度，比另一种线性表顺序表快得多，但是查找一个节点或者访问特定编号的节点则需要O(n)的时间，而顺序表相应的时间复杂度分别是O(logn)和O(1)。 使用链表结构可以克服数组链表需要预先知道数据大小的缺点，链表结构可以充分利用计算机内存空间，实现灵活的内存动态管理。但是链表失去了数组随机读取的优点，同时链表由于增加了结点的指针域，空间开销比较大。 在计算机科学中，链表作为一种基础的数据结构可以用来生成其它类型的数据结构。链表通常由一连串节点组成，每个节点包含任意的实例数据（data fields）和一或两个用来指向上一个/或下一个节点的位置的链接（"links"）。链表最明显的好处就是，常规数组排列关联项目的方式可能不同于这些数据项目在记忆体或磁盘上顺序，数据的存取往往要在不同的排列顺序中转换。而链表是一种自我指示数据类型，因为它包含指向另一个相同类型的数据的指针（链接）。链表允许插入和移除表上任意位置上的节点，但是不允许随机存取。链表有很多种不同的类型：单向链表，双向链表以及循环链表。 链表可以在多种编程语言中实现。像Lisp和Scheme这样的语言的内建数据类型中就包含了链表的存取和操作。程序语言或面向对象语言，如C/C++和Java依靠易变工具来生成链表。.
查看 Erlang和链表
脚本语言
脚本语言（Scripting language）是为了缩短传统的「编写、编译、链接、运行」（edit-compile-link-run）过程而创建的计算机编程语言。早期的脚本语言经常被称为批处理语言或工作控制语言。一个脚本通常是解释运行而非编译。脚本語言通常都有簡單、易學、易用的特性，目的就是希望能讓程式設計師快速完成程式的編寫工作。而巨集語言則可視為脚本語言的分支，兩者也有實質上的相同之處。 虽然许多脚本语言都超越了计算机简单任务自动化的领域，成熟到可以编写精巧的程序，但仍然还是被称为脚本。几乎所有计算机系统的各个层次都有一种脚本语言。包括操作系统层，如计算机游戏，网络应用程序，字处理文档，网络软件等。在许多方面，高级编程语言和脚本语言之间互相交叉，二者之间没有明确的界限。.
查看 Erlang和脚本语言
F♯
F#是由微软发展的为.NET语言提供运行环境的程序设计语言，是函數程式語言（FP，Functional Programming），函數程式語言最重要的基礎是Lambda Calculus。它是基于OCaml的，而OCaml是基于ML函数程式语言。有時F#和OCaml的程式是可以交互編譯的。 F#已經接近成熟，支援高阶函数、柯里化、惰性求值、Continuations、模式匹配、闭包、列表处理和元编程。这是一个用于显.NET在不同编程语言间互通的程序设计，可以被.NET中的任意其它代碼編譯和調用。 2002年微软開始由Don Syme帶領研發F#，從C#，LINQ和Haskell中獲取了經驗，2005年推出第一個版本，2007年7月31日释出1.9.2.9版。2007年底，微軟宣布F#進入產品化的階段。 F#已被集成在Visual Studio 2010中，版本是2.0，含有对.Net Framework的完全支持。 F#现在在Visual Studio 2015中，版本是4.0。 F#现在在Visual Studio 2017中，版本是4.1。.
查看 Erlang和F♯
FreeBSD
FreeBSD是一个类Unix的操作系统，也是FreeBSD项目的发展成果。FreeBSD是第一个开放源代码的系统，他是由基于BSD Unix的源代码衍生而来的。BSD Unix是加州大学伯克利分校在1975年至1993年开发的操作系统。FreeBSD被开发为自由软件，这意味着其源代码开放，人人都可以使用FreeBSD。任何人都可以获得并使用它来满足各种需求，也可以修改它，然后再重发布它。此功能专为个人和公司量身定制，可用于创建各种基于FreeBSD的商业和非商业产品。尽管FreeBSD直接从BSD衍生，但是从法律的角度来看，FreeBSD并不是“UNIX”。因为现在“UNIX”商标是属于国际开放标准组织的。FreeBSD的第一个版本于1993年发布。 FreeBSD是一个支持许多硬件和体系架构的企业级系统。和其他BSD家族的操作系统一样， FreeBSD其核心、驱动程序以及所有的用户层（Userland）应用程序（如Unix shell和cat和ps等命令）都存储在源代码库中。FreeBSD也可以运行其他二进制软件，比如Linux的。借助ports和FreeBSD软件包管理器，你可以在其上安装各种应用程序。根据2005年的调查，77％的BSD用户使用FreeBSD，因此FreeBSD拥有BSD系列中最大的用户社区。 在今天，个人和企业都将FreeBSD用于多种用途，包括Yahoo! 苹果，Juniper网络公司，诺基亚，IBM， Yandex的，Apache软件基金会，Hotmail，索尼和许多其他用途。.
Λ演算
λ演算（英語：lambda calculus，λ-calculus）是一套從數學邏輯中發展，以變數綁定和替換的規則，來研究函式如何抽象化定義、函式如何被應用以及遞迴的形式系統。它由數學家阿隆佐·邱奇在20世紀30年代首次發表。Lambda演算作為一種廣泛用途的計算模型，可以清晰地定義什麼是一個可計算函式，而任何可計算函式都能以這種形式表達和求值，它能模擬單一磁帶图灵机的計算過程；儘管如此，Lambda演算強調的是變換規則的運用，而非實現它們的具體機器。 Lambda演算可比擬是最根本的編程語言，它包括了一條變換規則（變數替換）和一條將函式抽象化定義的方式。因此普遍公認是一種更接近軟體而非硬體的方式。對函數式編程語言造成很大影響，比如Lisp、ML语言和Haskell语言。在1936年邱奇利用λ演算給出了對於判定性問題（Entscheidungsproblem）的否定：關於兩個lambda運算式是否等價的命題，無法由一個「通用的演算法」判斷，這是不可判定效能夠證明的頭一個問題，甚至還在停机问题之先。 Lambda演算包括了建構lambda項，和對lambda項執行歸約的操作。在最簡單的lambda演算中，只使用以下的規則來建構lambda項： 產生了諸如：(λx.λy.(λz.(λx.zx)(λy.zy))(x y)的表達式。如果表達式是明確而沒有歧義的，則括號可以省略。對於某些應用，其中可能包括了邏輯和數學的常量以及相關操作。 本文讨论的是邱奇的“无类型lambda演算”，此后，已经研究出来了一些有类型lambda演算。.
查看 Erlang和Λ演算
LISP
LISP是具有悠久歷史的計算機編程語言家族，有獨特和完全括號的前綴符號表示法。起源於西元1958年，是現今第二悠久而仍廣泛使用的高階編程語言。只有FORTRAN編程語言比它更早一年。LISP編程語族已經演變出許多種方言。現代最著名的通用編程語種是Common Lisp和Scheme。 LISP最初創建時受到阿隆佐·邱奇的lambda演算的影響，用來作為計算機程序實用的數學表達。因為是早期的高階編程語言之一，它很快成為人工智能研究中最受歡迎的編程語言。在計算機科學領域，LISP開創了許多先驅概念，包括：.
查看 Erlang和LISP
LL剖析器
LL分析器是一种处理某些上下文无关文法的自顶向下分析器。因为它从左（Left）到右处理输入，再对句型执行'''最左推导'''出语法树（Left derivation，相对于LR分析器）。能以此方法分析的文法称为LL 文法。 本文中将讨论表格驱动的分析器，而非通常由手工打造（非绝对，参看如ANTLR等的 LL(*) 递归下降分析器生成器）的递归下降分析器。 一个 LL 分析器若被称为 LL(k) 分析器，表示它使用 k 个词法单元作向前探查。对于某个文法，若存在一个分析器可以在不用回溯法进行回溯的情况下处理该文法，则称该文法为 LL(k) 文法。这些文法中，较严格的 LL(1) 文法相当受欢迎，因为它的分析器只需多看一个词法单元就可以产生分析结果。那些需要很大的 k 才能产生分析结果的编程语言，在分析时的要求也比较高。.
查看 Erlang和LL剖析器
MapReduce
MapReduce是Google提出的一个软件架构，用于大规模数据集（大于1TB）的并行运算。概念“Map（映射）”和“Reduce（归纳）”，及他们的主要思想，都是从函数式编程语言借来的，还有从矢量编程语言借来的特性。 当前的软件实现是指定一个Map（映射）函数，用来把一组键值对映射成一组新的键值对，指定并发的Reduce（归纳）函数，用来保证所有映射的键值对中的每一个共享相同的键组。.
Mozilla公共许可证
Mozilla公共许可证（Mozilla Public License，简称MPL）是个自由、开源、详细的软件许可证，由Mozilla基金会开发并维护。该协议融合了BSD许可证和GNU通用公共许可协议的特性，追求平衡专有软件和开源软件开发者之间的顾虑。 此协议已有两个版本，最新发布的2.0版以更简潔和更好的兼容其他协议为目标。 MPL用于Mozilla Firefox、Mozilla Thunderbird及其他Mozilla软件的许可，但也被其他产品所用，如Adobe以此为Flex产品线许可，还有LibreOffice 4.0（同时使用LGPL 3+）。1.1版还被一些公司特意改编成衍生许可证，如Sun Microsystems的通用开发与散布许可证。.
Oz
oz可以指：.
查看 Erlang和Oz
Prolog
Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。.
Rust
Rust是一个由Mozilla主导开发的通用、编译型编程语言。它的设计准则为“安全，并发，实用”，支持函数式，并发式，程序式以及面向对象的编程风格。 Rust 語言原本是 Mozilla 員工 Graydon Hoare 的私人計畫，而 Mozilla 於 2009 年開始贊助這個計畫，並且在 2010 年首次揭露了它的存在。也在同一年，它的編譯器原始碼開始由原本的 OCaml 語言轉移到用 Rust 語言，進行 bootstrapping 工作，稱做 rustc，並於 2011 年實際完成.
查看 Erlang和Rust
Scala
Scala（）是一门多范式的编程语言，设计初衷是要整合面向对象编程和函数式编程的各种特性。.
查看 Erlang和Scala
Smalltalk
Smalltalk，被。Smalltalk由艾伦·凯，Dan Ingalls，Ted Kaehler，Adele Goldberg等于70年代初在Xerox PARC开发。 Smalltalk对其它众多的程序设计语言的产生起到了极大的推动作用，主要有：C++，C#，Objective-C，Actor，Java和Ruby等。90年代的许多软件开发思想得利于Smalltalk，例如设计模式、敏捷编程和代码重构等。.
T-Mobile
T-Mobile是一家跨国電信公司，是德国电信的子公司，属于Freemove联盟。T-Mobile在西欧和美国营运GSM网络并通过金融手段参与东欧和东南亚的网络营运。该公司拥有1.09亿用户，是世界上最大的移动电话公司之一。.
WhatsApp Messenger，簡稱WhatsApp ，是一款用於智能手機的跨平台加密即時通訊應用程式。該軟體透過互聯網進行語音通話及影像通話，並使用標準行動網路電話號碼向其他用戶發送簡訊、文件檔、PDF文件、圖片、影片、音樂、聯絡人資訊、用戶位置及錄音檔等。 WhatsApp公司總部設在美國加利福尼亞州的山景城，2014年2月Facebook耗資約193億美元收購為旗下事業體。截至2016年2月底，WhatsApp的用戶人數超過10億人，使其成為時下最流行的即時通訊軟體。.
Wings 3D
Wings 3D是一个开源的三维计算机图形软件，适合创建细分曲面模型。Wings 3D的名字来源于它用于存储坐标系和临近数据所使用的翼边数据结构，构思取于Izware的Nendo和Mirai。支持多种操作系统，包括Linux、Mac和Windows。基于Erlang环境。.
XMPP
#重定向 可扩展消息与存在协议.
查看 Erlang和XMPP
惰性求值
在程式語言理論中，惰性求值（Lazy Evaluation），又譯為惰性计算、懒惰求值，也稱為傳需求調用（call-by-need），是一个计算机编程中的一个概念，它的目的是要最小化计算机要做的工作。它有两个相关而又有区别的含意，可以表示为“延迟求值”和“最小化求值”，本条目专注前者，后者请参见最小化计算条目。除可以得到性能的提升外，惰性计算的最重要的好处是它可以构造一个无限的数据类型。 惰性求值的相反是及早求值，这是一个大多数编程语言所拥有的普通计算方式。.
查看 Erlang和惰性求值
斐波那契数列
--（意大利语：Successione di Fibonacci），又譯為費波拿契數列、費波那西數列、費氏數列、黃金分割數列。 在數學上，費波那契數列是以遞歸的方法來定義：.
愛立信
愛立信集團（Telefonaktiebolaget L. M. Ericsson），在台灣原譯為易利信，是瑞典電信設備製造商，總部坐落於瑞典斯德哥爾摩西北部的希斯塔科學城。愛立信最初是一家修理電報儀器的店舖，由於1876年創立。 歷經數十年的發展，到了20世紀70年代，愛立信已成為國際電信行業的重要企業，於1977年安装了世界上首台數字電話交換機（AXE）。進入1990年代後，愛立信專注於行動電信設備及手機產品的研發和生產，在2G(GSM)，3G(WCDMA等)和4G(LTE及LTE Advanced／LTE-A)行動電信系統和設備方面擁有大量的主導性專利，並於1994年首創短距離無線通訊的藍牙技術，是目前全球行動電信設備的第一大供應商。其總部所在地希斯塔也因此得名"無線谷（Wireless Valley）"。 在90年代中後期，愛立信在全球GSM手機市場的佔有率亦高達第三位，華人地區的行銷上採用香港藝人劉德華和台日混血藝人金城武為其代言也極為成功。但2000年之後，因行銷策略錯誤導致巨額虧損。2001年，集團的手機部門分割，與日本索尼合組「索尼愛立信行動通信」，總部設於英國倫敦。2012年，愛立信集團將持有的索尼愛立信股權全數售予索尼。2012年的市場佔有率為38%，為全球首位，此后为华为取代。目前，愛立信只專注提供無線網路及移動電信設備。 愛立信集團董事長 Leif Johansson 是瑞典著名企業家，曾在1997-2011年期間任沃尔沃集团總裁兼CEO。集團現任CEO是Börje Ekholm。愛立信的電信設備和業務營運目前覆蓋全球多餘180個國家和地區，除瑞典外在台灣，美國，英國，德國，愛爾蘭，芬蘭，義大利，匈牙利，加拿大，巴西，印度，以及中國大陸，香港和等地設有子公司，2012年在全球範圍有近13萬雇員。 愛立信集團在台灣子公司的中文名稱原為「台灣易利信」，2011年起與大中華區統一中文名稱，改為「台灣愛立信」，公司設於新北市板橋區的台北遠東通訊園區T-Park。.
查看 Erlang和愛立信
数学家
数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.
查看 Erlang和数学家
另见
1986年建立的程式語言
- Eiffel
- Erlang
- Oberon
- Object Pascal
- Objective-C
函数式编程语言
- APL語言
- Agda
- Arc
- BBN LISP
- Caml
- Clojure
- Common Lisp
- Coq
- Curl语言
- C♯
- Erlang
- F*
- F♯
- Haskell
- Haxe
- ISWIM
- Idris
- JavaScript
- J语言
- LISP
- ML语言
- Maple
- Nemerle
- Nim
- OCaml
- REBOL
- Racket
- Ruby
- Rust
- R语言
- Scala
- Standard ML
- Swift語言
- Wolfram语言
- XSLT
动态类型编程语言
- APL語言
- AppleScript
- Arc
- BBN LISP
- Clipper
- Clojure
- Common Lisp
- Dart
- Erlang
- E语言
- Groovy
- Incr Tcl
- Io语言
- JavaScript
- J语言
- LISP
- Lua
- MATLAB
- MathCad
- NewtonScript
- Objective-C
- PHP
- Perl
- Pharo
- PostScript
- PowerShell
- Prolog
- Python
- REBOL
- Ruby
- R语言
- Scheme
- Scratch
- Self
- Smalltalk
- Squeak
- SuperCollider
- Tcl
- Wolfram语言
動態編程語言
- APL語言
- AppleScript
- Clipper
- Clojure
- CoffeeScript
- Common Lisp
- Erlang
- E语言
- Groovy
- Io语言
- Lua
- PHP
- Perl
- REBOL
- Ruby
- Self
- Squeak
- 动态语言
宣告式編程語言
- Curl语言
- Datalog
- Erlang
- METAFONT
- MXML
- MetaPost
- Modelica
- QML
- SPARQL
- SQL
- SQL语法
- Swift語言
- XAML
- XSLT
- 同步多媒体集成语言
- 嵌入式SQL
- 网络本体语言
- 高性能計算集群
愛立信
模式匹配编程语言
- AWK
- Agda
- Erlang
- F♯
- Haskell
- Haxe
- Idris
- ML语言
- OCaml
- Prolog
- Python
- Racket
- Rust
- Scala
- Sed
- Swift語言
- 編譯器編譯程式
亦称为 Erlang语言。