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