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
Softcover
ISBN 10: 6131874271 ISBN 13: 9786131874277
Publisher: OmniScriptum, 2010

Synopsis

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.

"synopsis" may belong to another edition of this title.

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.

"About this title" may belong to another edition of this title.

Publisher
OmniScriptum
Publication date
2010
Language
English
ISBN 10 
6131874271
ISBN 13 
9786131874277
Binding
Tapa blanda
Number of pages
104
Editor
Miller Frederic P., Vandome Agnes F., McBrewster John