High Quality Content by WIKIPEDIA articles! 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.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.