Русская Википедия:Cat (язык программирования)

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Значения Шаблон:Карточка языка программирования Cat — функциональный стековый язык программирования вдохновлен языком программирования Joy, от которого он отличается тем, что обеспечивает статическую типизацию с выводом типов (как, например, в ML и Haskell). Это один из подходов к решению проблемы надёжности, существующей в стековых языках[1] Так же включает макроязык MetaCat[2], позволяющий расширение языка Cat путём переопределения термов.

Cat разрабатывался как высокоуровневый промежуточный язык, который также может использоваться как самостоятельный язык для разработки простых приложений. Таким образом, он занимает нишу аналогичную PostScript. Другое назначение этого языка — преподавание основных понятий программирования.


Примеры

Числа Фибоначчи
define fib {
    dup 1 <=
        []
        [dup 1 - fib swap 2 - fib +]
    if
}

    1
    [dup fib write ", " write inc]
    [dup 16 lteq]
while
"..." writeln
Факториал
define fact {
    dup 1 <= 
        [pop 1]
        [dup 1 - fact *]
    if
}

    0
    [dup write "! = " write dup fact writeln inc]
    [dup 16 lteq]
while

Реализации

Базовая реализация Cat представляет собой написанный на C# интерпретатор[3] и компилятор в CIL-код. Доступны также интерпретаторы Cat, написанные на Scheme[4], JavaScript[5], Python[6], Haskell[7], [[|en]] (Ωmega)[8], Standard ML[9].

В настоящее время Christopher Diggins работает над проектом cvml (Chickadee Virtual Machine Language)[10], написанной на C++ виртуальной машиной.

Примечания

Шаблон:Примечания

Литература

Ссылки

Шаблон:Compu-lang-stub

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Factor: a dynamic stack-based programming language Шаблон:WaybackШаблон:Ref-en — Slava Pestov, Daniel Ehrenberg, Joe Groff. Dynamic Languages Symposium 2010 Шаблон:Wayback, см. раздел Related Works
  2. ↑ Шаблон:Cite web
  3. ↑ Cat — A Statically Typed Programming Language Interpreter in C# Шаблон:Wayback, Christopher Diggins, 4 Nov 2006, The Code Project
  4. ↑ scheme-cat Шаблон:Wayback — a separate project for embedding Cat in Scheme by Ben Chambers
  5. ↑ Online Cat interpreter Шаблон:Webarchive
  6. ↑ Cat in Python Шаблон:Wayback — implementation by Andrew Nelis
  7. ↑ Cat in Haskell Шаблон:Wayback
    На основе: Techniques for Embedding Postfix Languages in Haskell by Chris Okasaki. Haskell Workshop, October 2002, pages 105—113. Шаблон:Wayback+source code Шаблон:Wayback
  8. ↑ Cat interpreter in Omega using thrists (threaded lists) by Gabor Greif Шаблон:Webarchive
  9. ↑ Шаблон:Cite web
  10. ↑ cvml Шаблон:Wayback на Google Code
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Cat_(язык_программирования)&oldid=8610707