Similar to CPL_(圏論プログラミング言語)

ABAP

Carbon (programming language)

D (programming language)

Euphoria (programming language)

Go (programming language)

High-Level Shader Language

Hot Soup Processor

Elm (programming language)

F* (programming language)

FP (programming language)

Frenetic (programming language)

Idris (programming language)

Lean (proof assistant)

Mozart Programming System

Oz (programming language)

PureScript

Standard ML

XSLT

Template:Category theory

Category theory

Catamorphism

F-coalgebra