Cryptol is a domain specific language for the design, implementation and verification of cryptographic algorithms
http://www.galois.com/technology/communications_security/cryptol
Спецификация содержит подробное описание синтаксиса, с большим количеством примеров, объем чуть больше 100 страниц.
Некоторые изыски синтаксиса выглядят непривычно. Однако надо отдать должное, примеры впечатляют, например реализация DES занимает 10 строк :)
В целом создатели языка обещают прямо-таки счастье для программистов, например в поставке идет волшебный тул для верификации реализации алгоритмов по их описанию (Cryptol may also be viewed as a framework for verification) (пока совершенно непонятно как оно работает). Вместе с тем, обещается поддержка массы платформ, включая встраиваемые системы, смарт-карты и FPGA.
Триал доступен реализован под win/linux/mac и доступен для загрузки, цена для коммерческого использования неизвестна.
Анонс
