Реальное использование конкатенативных языков программирования

Question

Какие реальные проекты выполняются на конкатенационных языках , таких как Далее , Фактор , Радость и т. Д. *

Answer 1

factorcode.org , concatenative.org и tinyvid.tv работают на Furnace , веб-сервере и инфраструктуре Factor.

Answer 2

PostScript является конкатенативным, и, очевидно, существует огромное количество приложений PostScript. Это просто не язык программирования общего назначения.

Answer 3

Существует несколько устаревший, но очень классный Quartus Forth для Palm, который позволил полностью скомпилировать разработку приложений на устройстве Palm (Forth как минималистский язык работает довольно хорошо в этих обстоятельствах). На их домашней странице перечислены несколько приложений Palm.

Эта страница FIG содержит список в основном встроенных проектов , включая ссылку на очень крутое использование Forth NASA * ​​1008 *.

Я встретил парня на конференции Apple в Квинсленде примерно в 1991 году, который продавал приложение для планирования дорог, написанное на MacForth .

Кристофер Диггинс говорил о том, что его язык Cat используется внутри Microsoft для оптимизации компиляторов, но я не знаю, пошел ли он куда-нибудь.

Я подозреваю, PowerMOPS (преемник Neon) может ускользнуть от определения конкатенации, потому что его большая задача - добавить объектную ориентацию, что подразумевает экземпляры.

Answer 4

Как писал Грег, postscript - это гигантский пример.

Конкатенативные языки появляются повсюду, вполне естественно, из-за тривиальной природы языковой среды исполнения.Это фаворит для многих прошивок: я впервые столкнулся с Forth "во плоти" в загрузчике для Sun Sparcstation.Он поддерживает микропрограмму для OLPC.

Родитель Ocaml, Caml был основан на реализации семантики функционального программирования в качестве категориальной абстрактной машины (CAM в Caml).

Bibtex использует конкатенационный языкдля компиляции файлов стилей.

Answer 5

Взгляните на FORTH Inc . Они перечисляют несколько проектов, которые они и их клиенты сделали, используя свой FORTH.

Answer 6

Часть прошивки на Mac (по крайней мере, в старых моделях PowerPC) была написана на Forth.

См .: http://osxbook.com/book/bonus/ancient/whatismacosx/arch_boot.html

Answer 7

Биткойн-протокол и большинство других криптовалют используют pubkey скрипты и подпись скрипты для проверки транзакций:

Сценарии Pubkey и сценарии подписи объединяют в себе secp256k1 публичные ключи и подписи с условной логикой, создавая программируемый механизм авторизации.

Эти сценарии написаны на родственном языке :

Язык сценариев представляет собой Forth-подобный язык на основе стека, специально разработанный для того, чтобы он не имел состояния и не был завершен по Тьюрингу. Отсутствие состояния гарантирует, что после добавления транзакции в цепочку блоков не существует условия, которое делает ее постоянно недоступной. Неполнота тьюринга (в частности, отсутствие циклов или переходов) делает язык сценариев менее гибким и более предсказуемым, что значительно упрощает модель безопасности.

Answer 8

Eserv и nncron записаны в SP-Forth .