Bird-Meertens Formalism

(theory, programming)(BMF) (Or "Squiggol") A calculus forderivation of functional programs from a specification. Itconsists of a set of higher-order functions that operate onlists including map, fold, scan, filter, inits, tails,cross product and function composition.

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

["The Squiggolist", ed Johan Jeuring, published irregularly byCWI Amsterdam].

单词	bird-meertens formalism
释义	Bird-Meertens Formalism Bird-Meertens Formalism (theory, programming)(BMF) (Or "Squiggol") A calculus forderivation of functional programs from a specification. Itconsists of a set of higher-order functions that operate onlists including map, fold, scan, filter, inits, tails,cross product and function composition. ["A Calculus of Functions for Program Derivation", R.S. Bird,in Res Topics in Fnl Prog, D. Turner ed, A-W 1990]. ["The Squiggolist", ed Johan Jeuring, published irregularly byCWI Amsterdam].
随便看	saw the color of money saw their point saw them across saw them around saw them as saw them back saw them back to saw them coming saw them down saw them down to saw them for who they are saw them for who they really are saw them home saw them in saw them in a new light saw them in hell first saw them in the flesh saw them into saw them off saw them off of saw them right saw them to saw them up to saw the writing on the wall saw things