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