1) ресерч-программист в испанском НИИ, пишу и рефакторю пруфы для многопоточных локфри алгоритмов на Coq, параллельно увлекаюсь теорией доказательств, верификацией компиляторов и формальными методами для гибридных систем
2) где-то в районе 2015 использовал пурскрипт как промежуточную ступень для последующего вкатывания в идрис, с тех пор хочу часть наработок пс перенести в js-бэкенд для идриса, но всё не доходят руки
3) только фп, только семантика, только хардкор!

Подключайтесь к трансляции обзорного доклада о PureScript Halogen.

Подключиться к конференции Zoom
https://us02web.zoom.us/j/84027401087?pwd=dzU3MWVZbGJaNW5uWWswNzA1V2Jqdz09

Идентификатор конференции: 840 2740 1087
Код доступа: 146343
Одно касание на мобильном телефоне
+13017158592,,84027401087# Соединенные Штаты Америки (Washington DC)
+13126266799,,84027401087# Соединенные Штаты Америки (Chicago)

Набор в зависимости от местоположения
       +1 301 715 8592 Соединенные Штаты Америки (Washington DC)
       +1 312 626 6799 Соединенные Штаты Америки (Chicago)
       +1 346 248 7799 Соединенные Штаты Америки (Houston)
       +1 669 900 6833 Соединенные Штаты Америки (San Jose)
       +1 929 205 6099 Соединенные Штаты Америки (New York)
       +1 253 215 8782 Соединенные Штаты Америки (Tacoma)
Идентификатор конференции: 840 2740 1087
Найдите свой местный номер: https://us02web.zoom.us/u/keEOdulTbs

Чат: https://t.me/fprog_spb

могу когда-то рассказать про тайплевел дефункционализацию в пурсе) если будут митапы

Кстати записи будут?

Должны быть

да, через неделю-две выложу на https://www.youtube.com/channel/UCrCO7t8yyapJ12zqip8aqnQ

в след раз приглашайте как докладчика =)

Неясно, зачем. nix сам по себе достаточно неплохо вычисляем.

А типы? А библиотеки?

В этом отношении я бы склонялся в сторону Dhall, кроме тайпклассов и всякой экзотики. Да и библиотеки в Dhall тоже подключаются.

Dhall бэкенд имеешь в виду?
Не выйдет, там нет Y-комбинатора.

Казалось бы, зачем Y-комбинатор в декларативном языке для конфигураций (Nix тоже им является)...

В смысле зачем, рекурсия в никсе не нужна что ли? А Dhall дурацкий, там нет вывода типов, ну и экосистема конечно с пурсовой не сравнится

В плане вывода типов ещё могу согласиться, но писать рекурсию для конфигов... На ум приходит разве что какие-то однородные графы описывать, но это очень странный юзкейс.

Для того, чтобы определить рекорд, в котором одно поле выражается через другие, уже рекурсия нужна

Если нет циклов, то можно рассахарить в набор let с конструированием рекорда в самом конце

подмножество purescript компилировать в dhall - достаточно интересная задача, наверное.