Pict (язык программирования) - Pict (programming language)

Pict
ПарадигмаОдновременный
РазработчикБенджамин С. Пирс и Дэвид Н. Тернер
Печатная дисциплинаСтатический
ЛицензияСтандартная общественная лицензия GNU
Расширения имени файла.число Пи
Интернет сайтwww.cis.upenn.edu/ ~ bcpierce/ документы/ pict/ Html/ Pict.html
Под влиянием
ML
Под влиянием
Орк, Кочевой пик[1]

Pict это статически типизированный язык программирования, один из немногих, основанных на π-исчисление. Работа над языком началась в Эдинбургский университет в 1992 году, а с 1998 года разработка более или менее бездействовала. Язык все еще находится на экспериментальной стадии.

Рекомендации

  1. ^ Сьюэлл, Питер; Войцеховский, Павел; Уняпот, Асис (2010). «Nomadic Pict: языки программирования, наложения инфраструктуры связи и семантика для мобильных вычислений». Транзакции ACM по языкам и системам программирования. 32 (4).

Источники

внешняя ссылка