Решать задачки из Эйлера подряд скучно (особенно из первой сотни), поэтому придумал забаву: написать или нарисовать что-нибудь осмысленное в таблице решенных задач.
Определенно, в прошлом году у меня было слишком много свободного времени. :) Решал все на окамле. Почему-то больше всего запомнилась задачка 177.
Спасибо, мне интересно! При случае напишу про ЯП хобби-проект, в котором я участвую, но там до системы типов дело ещё не дошло; я довольно мало времени в неделю ему посвящаю, увы.
Функциональный язык с хаскелеподобным синтаксисом, статической типизацией, выводом типов, но не чистый: никаких монад и приседаний для эффектов. Свобода действий в духе Окамла или F#: захотел сделать…
Здорово - глядя на do-нотацию, наверно - some kind of pure functional, с хорошим type inference? Транслируется в Python или Swift, а на чём транслятор написан? Подожду описания!
Comments