Весьма вероятно. 😂

Как писал поэт:

Nemerle умер у тебя на глазах
Ela умер у тебя на глазах
Nim умер у тебя на глазах
А ты остался таким же как был

Столько интересных начинаний почило из-за отсутствия массового интереса

в нашем закутке кто-то в прод на ниме что-то пишет

Я не уверен, что он на ниме пишет

Вот, что о ниме пишет: это да

На русском о ниме? В прод?

Приходи в blah, думаю он будет рад рассказать

ним там как клей, как я пoнял

Если это у них в фирме, то это немецкий банк

Пришла мне тут утром идея, какой доклад по поводу типов и хаскеля в частности я бы действительно хотел послушать. Демонстрацию программирования "на типах" с последовательным переносом всех констрейнтов в типы. На примере сферической задачи, начать на примитивах и библиотечных коллекциях, потом обертки-ньютайпы, но в конце чтобы прямо максимально все в типах было, как в оригами стайле или чем-то подобном. В исполнении Александра Вершилова послушал бы с интересом. Или если ему это скучно, сам бы подготовил, с грамотным рецензентом.

А что за оригами-стайл?

Хорошо. Но если это он был на ЛОРе, то я с ним пересекался уже

Вообще я примерно так и хотел в демо с настолкой

Не помню его на лоре

Но может не узнал в гриме, да и давно на лоре не был

Там был евангелист Нима тоже

В каждом уважающем себя сервисе есть евангелист нима

Отличная тема!

Я бы тоже посмотрел

Тут самое главное - ее суметь раскрыть. Чтобы и не баянная тривиальщина ньютайпов была с одной стороны, и чтобы было более-менее понятно не спецам в хаскеле с другой.