Cat (Programming Language): Stack- oriented programming language, Joy (programming language), Function composition, Lambda calculus, Anonymous function, Haskell - Softcover

 
9786131874277: Cat (Programming Language): Stack- oriented programming language, Joy (programming language), Function composition, Lambda calculus, Anonymous function, Haskell

Inhaltsangabe

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Cat programming language is a functional stack-oriented programming language inspired by the Joy programming language. Joy and Cat differ from most functional languages (e.g. Scheme, Haskell) and language formalisms (e.g. lambda calculus, combinatory logic) in that they are based on the composition of functions rather than function application. Cat and Joy both bear more resemblance to combinatorial logic calculi (such as the SKI calculus or the B,C,K,W system) than to the lambda calculus due to the lack of names. The Cat language was designed with static typing in mind, and as such there is somewhat less flexibility but more safety than is available in the Joy programming language. Cat is intended as a multi-purpose language with an emphasis on usage as an intermediate language and as an educational language.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Cat programming language is a functional stack-oriented programming language inspired by the Joy programming language. Joy and Cat differ from most functional languages (e.g. Scheme, Haskell) and language formalisms (e.g. lambda calculus, combinatory logic) in that they are based on the composition of functions rather than function application. Cat and Joy both bear more resemblance to combinatorial logic calculi (such as the SKI calculus or the B,C,K,W system) than to the lambda calculus due to the lack of names. The Cat language was designed with static typing in mind, and as such there is somewhat less flexibility but more safety than is available in the Joy programming language. Cat is intended as a multi-purpose language with an emphasis on usage as an intermediate language and as an educational language.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.