Squiggol

Squiggol (формализм Бёрда-Меертенса) — исчисление, выводящее функциональные программы из спецификации. Состоит из множества функций высшего порядка, определённых на списках, включающих карты, свёртки, развёртку, фильтр, инициализации, хвосты, декартовы произведения и композицию функций.

Литература

• R. S. Bird. A Calculus of Functions for Program Derivation. In Res Topics in Fnl Prog, D. Turner ed, A-W 1990.