Similar to Result型
Nix (パッケージ管理システム)
Nix (package manager)
Option型
Option type
関数型プログラミング
Functional programming
Catamorphism
Catamorphism
CEK機械
CEK MachineFrenetic
Frenetic (programming language)
F代数
F-algebra
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
2024年大韓民国非常戒厳令
2024 South Korean martial law crisis
911番
911 (emergency telephone number)