Similar to CPL_(圏論プログラミング言語)
ABAP
ABAP
Carbon (プログラミング言語)
Carbon (programming language)
CASL
Communication Access Programming Language
D言語
D (programming language)Euphoria (プログラミング言語)
Euphoria (programming language)Ficl
Go (プログラミング言語)
Go (programming language)
High Level Shading Language
High-Level Shader Language
Hot Soup Processor
Hot Soup Processor
HyperTalk
HyperTalk
10.5インチiPad Pro
1048576
1048576Elm (プログラミング言語)
Elm (programming language)F* (プログラミング言語)
F* (programming language)FP (プログラミング言語)
FP (programming language)Frenetic
Frenetic (programming language)Idris (プログラミング言語)
Idris (programming language)
Lean (証明アシスタント)
Lean (proof assistant)
Mozartプログラミングシステム
Mozart Programming SystemOz (プログラミング言語)
Oz (programming language)
PureScript
PureScript
SATySFi
Standard ML
Standard ML
XSL Transformations
XSLT
Template:圏論
Template:Category theory圏論
Category theoryCatamorphism
Catamorphism