Squiggol

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

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

Литература[править]

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