DR
Size: a a a
2018 April 03
AV
о Coq! \o/
AV
хоть что-то полезное расскажут
I
Очередная встреча сообщества пройдет 19 апреля в офисе JetBrains,
На повестке дня:
Александр Гранин, в прошлом сотрудник "Лаборатории Касперского" и “2ГИС”, а ныне Haskell-разработчик в компании Restaumatic, основатель сообщества LambdaNsk в Новосибирске, расскажет о том, как спроектировать статически типизированное дерево переходов с возможностью ходить по нему вперед и назад и почему не стоит писать такой умный код.
Александр Вершилов, разработчик в Tweag I/O, рассмотрит в докладе подход, позволяющий встраивать языки без дополнительного бойлерплейта и использующий сильные стороны гостевого и основного языка, на примере Haskell, Java и R.
Дмитрий Соломенников, контрибьютор Flow c 2016 года, расскажет о внутренней структуре компилятора, а также исполнительной машине и библиотеке времени выполнения языка.
—---
Встречаемся 19.04 в 19:00 в офисе JetBrains: Университетская наб., 7-9-11, корп. 5 (вход с Кадетской линии), БЦ «Universe».
Вход бесплатный, но необходимо зарегистрироваться (проход в БЦ по спискам):
https://spb-fp-meetup.timepad.ru/event/696867
На повестке дня:
«eDSL для дерева переходов на free-монадах и экзистенциальных типах» Александр Гранин, в прошлом сотрудник "Лаборатории Касперского" и “2ГИС”, а ныне Haskell-разработчик в компании Restaumatic, основатель сообщества LambdaNsk в Новосибирске, расскажет о том, как спроектировать статически типизированное дерево переходов с возможностью ходить по нему вперед и назад и почему не стоит писать такой умный код.
«Теория и практика встраивания внешних языков программирования в Haskell» Александр Вершилов, разработчик в Tweag I/O, рассмотрит в докладе подход, позволяющий встраивать языки без дополнительного бойлерплейта и использующий сильные стороны гостевого и основного языка, на примере Haskell, Java и R.
«Язык программирования Flow и его реализация»Дмитрий Соломенников, контрибьютор Flow c 2016 года, расскажет о внутренней структуре компилятора, а также исполнительной машине и библиотеке времени выполнения языка.
—---
Встречаемся 19.04 в 19:00 в офисе JetBrains: Университетская наб., 7-9-11, корп. 5 (вход с Кадетской линии), БЦ «Universe».
Вход бесплатный, но необходимо зарегистрироваться (проход в БЦ по спискам):
https://spb-fp-meetup.timepad.ru/event/696867
Пздц 😳
IT
У Николая всегда можно спросить же
IT
Зачем ждать, когда он сам что-нибудь расскажет.
IT
Алсо, не обязательно ждать, что с неба свалится доклад. Можно сделать реквест.
IT
Тут достаточно людей, высока вероятность, что кто-нибудь в теме найдётся.
u
Алсо, не обязательно ждать, что с неба свалится доклад. Можно сделать реквест.
кстати да, реквестировать доклад - это отличная идея
AT
А видео же будут потом?
AB
а новичку там ничего непонятно будет, да? смысла идти нет?
Вл
а новичку там ничего непонятно будет, да? смысла идти нет?
ну третий доклад может быть не слишком жёстким
AT
ну третий доклад может быть не слишком жёстким
вроде же не 1-е апреля :)