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


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