спикеры все в цурихе

а был эе fpconf вроде недавно

опять, что ли? только специальное гетто для хаскеллистов?

что бы не смущали трепетных остальных?

FPCONF.FP

О, надо заявиться.

О чем бы таком рассказать?

Есть пожелания?

фримонады

Это никому неинтересно, слишком они всем надоели.

Уже заморочили неофитам головы с фримонадками вашими! Нельзя в подкастик сходить без риска услышать от аудитории "А вы уже перешли на фримонады? Ещё нет? Т.е. у вас всё в IO? Фу!" :)

Я слышал, да, и порадовался, что идея, которую я еще в 2016-м оценил, таки получила всеобщее признание.

Даже раньше, в 2015

надо рассказывать про практичные вещи, файнл таглесс, например

Делай доклад, с удовольствием послушаю.

не буду

Днём он солидный java-программист в сбертехе, а по ночам супергерой клапауций

Напиши хоть доклад, м.б. его кто-нибудь прочитает

не буду

Тогда люди продолжат неофитам мозги пудрить фри монадками, а ты ведь этого не хочешь допустить.

Он больше не хочет допустить своей деанонимизации

Я хочу заметить, что это, конечно, его право

Тогда люди продолжат неофитам мозги пудрить фри монадками, а ты ведь этого не хочешь допустить.

вы меня с @astynax не путаете?

Нет, но он тоже может подключаться

при чем тут деанонимизация? от меня такой доклад потребует чудовищных усилий и путешествий на тысячи километров, я лучше на диване полежу

@astynax пусть про фуллстек на сабже расскажет

при чем тут деанонимизация? от меня такой доклад потребует чудовищных усилий и путешествий на тысячи километров, я лучше на диване полежу

Ты случайно не в японии живёшь?

Я могу, так то - про фуллстек

Ты случайно не в японии живёшь?

нет Ж(((

Ну мало ли

Про что бы рассказать... Может, про то, что система эффектов а-ля ПюреСкрипт - зло?

Вот расскажи

Я бы послушал

Про что бы рассказать... Может, про то, что система эффектов а-ля ПюреСкрипт - зло?

Просим просим

Окей, я подумаю, презентабельно ли это

Почему зло и в чем может быть лучше

Ну ты подай в форме "Почему от системы эффектов в пурескрипт отказываются"

Тогда будет без буллинга

И ведь да, отказываются.

С кровью выдирают

при чем тут деанонимизация? от меня такой доклад потребует чудовищных усилий и путешествий на тысячи километров, я лучше на диване полежу

Можно ж по ютубу выступить - без отрыва от дивана. Усилия и время понадобятся..

TWIMC https://github.com/rikvdkleij/intellij-haskell/releases/tag/v1.0.0-beta14

Надеюсь оно на эте написано

Сомнительно

ничего на эте еще не написано

Надеюсь оно на эте написано

scala

оно ещё и к intero прибито гвоздями...

Чуваки не из JB?

Чуваки не из JB?

кто, Рик? нет.

Оно и видно, в JB обычно начинают с переписывания половины компилятора

тот из трех хаскельных плагинов для идеи, который на котлине написан - вот тот сотрудних джетбрейнс вроде делал

Оно и видно, в JB обычно начинают с переписывания половины компилятора

ну это не от хорошей жизни

нет Ж(((

пространство поиска сузилось

тот из трех хаскельных плагинов для идеи, который на котлине написан - вот тот сотрудних джетбрейнс вроде делал

да, только он не умеет почти ничего

а эту собирается использовать тот который хаскельфорс или как-то так называется, сейчас он весь на скале должен быть

пространство поиска сузилось

Ну я намекнул кое на что

Я вам альтернативного хаскеля принёс (с виду очень похож)

А я вот нашел себе мелкий язык на поиграться: https://myrlang.org/

А если говорить начистоту, наш любимый GHC насколько требует полной переделки?

Чтобы написать нормальный IDE?

не знаю, среди его контрибьютеров вроде считается, что не требует

Да, и это тоже

он постоянно по частям переписывается

тут есть какое то противоречие

Когда уже рантайм перепишут на руст

если постоянно по частям переписывается значит это кому то нужно

то есть как раз требует переделки

ну нужно конкретное переписывание конкретной части

А я вот нашел себе мелкий язык на поиграться: https://myrlang.org/

;; сразу нет

заново гхц никто не пишет

и не собирается

Ну я намекнул кое на что

да не, разве похож?

ну нужно конкретное переписывание конкретной части

А что не требует переписывания? Тайпчекер?э

да не, разве похож?

Так шифруется же

Я вам альтернативного хаскеля принёс (с виду очень похож)

что-то не похож на хаскель

А что не требует переписывания? Тайпчекер?э

тайпчекер, наверное, больше всего переписывают по частям

что-то не похож на хаскель

Это явно хаскелем навеяно: const main = {...

А кто в курсе, что там с онлайн-иде от FPComplete произошло?

;; явно верблюды принесли

Вот бы кто -то запилил язык, в котором определение типов и работа с ними отделена от ядра языка. Чтобы типы определялись в сопутствующих библиотеках квантфицированно-аксиоматически и комбинировались/проверялись при компиляции. Естественно, чтобы была стандартная библиотека типов, с которой можно было начинать. Было такое? Такое вообще возможно?