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

1 минута чтения

Делюсь случайной находкой на новый функциональный язык, ставший наследником идей F#. F* создан в рамках проекта MS Research в 2013 году. Он имеет транслятор в JavaScript. Будущее его пока туманно, но само появление его на свет интересно.Ссылки:MS guide //rise4fun.com/FStar/tutorial/guideMS research //rise4fun.com/FStarGithub //github.com/FStarLang/FStar…

Читать далее