Similar to GNU_Guix
AOKP
AOKP
Darling (ソフトウェア)
Darling (software)
関数型プログラミング
Functional programming
Catamorphism
Catamorphism
CEK機械
CEK MachineFrenetic
Frenetic (programming language)
F代数
F-algebra
Option型
Option type
Result型
Result type
SECDマシン
SECD machine
型クラス
Type class
型推論
Type inference
カリー化
Currying
高階関数
Higher-order function
参照透過性
Referential transparency
始代数
Initial algebra
代数的データ型
Algebraic data type
不動点コンビネータ
Fixed-point combinator
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
無名関数
Anonymous function
モナド (プログラミング)
Monad (functional programming)ラムダ計算
Lambda calculusAlien (ソフトウェア)
Alien (file converter)Autopackage
Autopackage
CheckInstall
CheckInstall
Chocolatey
ChocolateyCocoaPods
CocoaPods
Composer
Composer (software)