Cat (язык программирования): различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Спасено источников — 2, отмечено мёртвыми — 0. Сообщить об ошибке. См. FAQ.) #IABot (v2.0 |
Simonych (обсуждение | вклад) Нет описания правки |
||
Строка 12:
|website = http://www.cat-language.com/
}}
'''Cat''' — функциональный [[Стековый язык|стековый]] язык программирования вдохновлен [[Язык программирования|языком программирования]] [[Joy (язык программирования)|Joy]], от которого он отличается тем, что обеспечивает статическую типизацию с выводом типов (как, например, в [[ML]] и [[Haskell]]). Это один из подходов к решению проблемы надёжности, существующей в стековых языках<ref>[http://factorcode.org/littledan/dls.pdf Factor: a dynamic stack-based programming language]{{ref-en}} — Slava Pestov, Daniel Ehrenberg, Joe Groff. [http://www.dynamic-languages-symposium.org/dls-10/ Dynamic Languages Symposium 2010], см. раздел Related Works</ref> Так же включает макроязык MetaCat<ref>[https://code.google.com/p/cat-language/wiki/MetaCat MetaCat]</ref>, позволяющий расширение языка Cat путём переопределения термов.
Cat разрабатывался как высокоуровневый промежуточный язык, который также может использоваться как самостоятельный язык для разработки простых приложений. Таким образом, он занимает нишу аналогичную [[PostScript]]. Другое назначение этого языка — преподавание основных понятий программирования.
| |||