Similar to Result型
Option型
Option type
関数型プログラミング
Functional programming
Catamorphism
Catamorphism
CEK機械
CEK MachineFrenetic
Frenetic (programming language)
F代数
F-algebraGNU Guix
GNU GuixNix (パッケージ管理システム)
Nix (package manager)
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 calculus-ington
-ington
第1独立特務旅団 (ウクライナ領土防衛隊)
1st Special Purpose Brigade (Ukraine)
利用者:200z/sandbox2
Amur River Tunnel
利用者:200z/sandbox3
Dukha people
利用者:200z/sandbox4
A-gei利用者:200z/sandbox5
21:9アスペクト比
21:9 aspect ratio