GTK+和OCaml

快捷方式: 差异，相似，杰卡德相似系数，参考。

GTK+和OCaml之间的区别

GTK+ vs. OCaml

GTK+最初是GIMP的专用开发库（GIMP Toolkit），后来发展为Unix-like系統下开发图形界面的应用程序的主流开发工具之一。GTK+是自由软件，并且是GNU计划的一部分。. OCaml，最早稱為Objective Caml，是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。.

GNU宽通用公共许可证

GNU宽通用公共许可证（GNU Lesser General Public License）简称LGPL，是由自由软件基金会公布的自由软件授权条款。它允许企业与软件开发者使用，或将LGPL授权的软件整合至他们自己的软件内（即使该软件是私有软件也被允许），同时不会受到Copyleft特性的许可证强制对软件开源的限制。该许可证常被用于一些（但不是全部）的GNU程序库。 这个许可证以前被称为GNU程式库通用公共许可证（GNU Library General Public License）。此许可证最新版本为“第3版”，2007年6月29日发布，较早的版本有2.0和2.1版。此種授權之出現，是為了在GPL與許可式授權（如MIT许可证及柏克萊大學的BSD许可证）間取得折衷。 採用LGPL之計畫本身雖然仍有“Copyleft”之限制條件，但這些限制不感染僅僅只--到本計畫的軟體。不過此等軟體仍會受到其他限制。 LGPL主要使用之標的為軟體函式庫（Software Libraries），但是其亦可使用於獨立存在的應用程式。比較有名的例子為Mozilla跟OpenOffice.Org。.

GNU宽通用公共许可证和GTK+ · GNU宽通用公共许可证和OCaml · 查看更多 »

Haskell

Haskell（）是一种标准化的，通用的纯函數程式語言，有非限定性语义和强静态类型。它的命名源自美国逻辑学家哈斯凱爾·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是第一類物件”。作为一门函數程式語言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母「λ」（Lambda）作为自己的标志。Haskell具有“证明即程序、命题为类型”的特征, with 2 sections by William Craig, see paragraph 9E。.

GTK+和Haskell · Haskell和OCaml · 查看更多 »