Cryptol

Любопытная новость - разработчики из некоей компании Галуа совместно со специалистами из АНБ сделали и опубликовали dsl для реализации криптографических алгоритмов.

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 и доступен для загрузки, цена для коммерческого использования неизвестна.

Анонс