Similar to 無名関数
型クラス
Type class
参照透過性
Referential transparency
始代数
Initial algebra
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
モナド (プログラミング)
Monad (functional programming)
SKIコンビネータ計算
SKI combinator calculus
型付きラムダ計算
Typed lambda calculus
コンビネータ論理
Combinatory logic
住性 (型理論)
Type inhabitation
チャーチ・ロッサーの定理
Church–Rosser theorem
ド・ブラウン・インデックス
De Bruijn index
ド・ブラウン記法
De Bruijn notation▼-2 trends
ド・ブラウン・レベル
ラムダ・キューブ
Lambda cube
ラムダ計算騎士団
Knights of the Lambda Calculusプログラミング
Computer programming▼-1 trends
プログラミング用語一覧
プログラミング用語 (分野別)
プログラム (コンピュータ)
Computer program
IEEE 754における負のゼロ
−0
Signed zero
42東京
AizuOnlineJudge
Android Native Development Kit
Codecademy
Codecademy
Component Object Model
Component Object ModelConcepts, Techniques, and Models of Computer Programming
CPAN
CPAN