Совсем немного про язык F*


Делюсь случайной находкой на новый функциональный язык, наследником идей F#. F* создан при рамках проекта MS Research в 2013 году. Имеет транслятор в JavaScript. Будущее туманно, но интересно.

Ссылки:
MS guide //rise4fun.com/FStar/tutorial/guide
MS research //rise4fun.com/FStar
Github //github.com/FStarLang/FStar