Size: a a a

2018 April 03

AV

Alexander Vershilov in fprog_spb
при этом если мы хотим описать пулемет в терминах пушки мы все ещё это можем сделать
источник

λO

λeonid Onokhov in fprog_spb
так это, пулемет :: (Shoot -> m ()) - Shoot -> Weapon m, пушкаПулемет = пулемет пушкаПиуПиу, ракетницаПулемет = пулемет ракетницаПиуПиу. ну или мкПулемет parent = пулемет (пиупиу parent) ?
источник

n

neFormal in fprog_spb
2eezee
источник

AV

Alexander Vershilov in fprog_spb
вообще чтобы подтвердить мою точку зрения нужно все это взять и реализовать
источник

AV

Alexander Vershilov in fprog_spb
но я не могу обещать, что я это сделаю :/
источник

K

Kakadu in fprog_spb
А можно кратко, чем не нравится банальный вариант зафигачить один агебраик на три типа орудия?
источник

AV

Alexander Vershilov in fprog_spb
выше я это и предложил
источник

AV

Alexander Vershilov in fprog_spb
ответ - непонятно как будет выглядеть code reuse
источник

AV

Alexander Vershilov in fprog_spb
единственный вариант ответить на этот вопрос не зная хорошо проблемную область это реализовать все
источник

AV

Alexander Vershilov in fprog_spb
(имхо)
источник

AV

Alexander Vershilov in fprog_spb
иначе будет махание руками, как в цитатах у меня выше
источник

K

Kakadu in fprog_spb
Такие срачи надо в гуглдоках записывать,  а то арзмазывается условие по чатику и очень легко можно скатиться до "я не это имел в виду"
источник

AV

Alexander Vershilov in fprog_spb
это срачи а не спецолимиада
источник

λO

λeonid Onokhov in fprog_spb
Платиновые срачи fprog_spb
источник

AV

Alexander Vershilov in fprog_spb
т.е. тут единственный способ который не времязатратный для участников это tight loop в обсуждении
источник

AV

Alexander Vershilov in fprog_spb
другие форматы предполагают полное решение, но далеко не все и не всегда готовы тратить на это время
источник

AV

Alexander Vershilov in fprog_spb
например спец олимпиада - условия на гуглодок, встреча через неделю на обсуждении результатов :)
источник

AV

Alexander Vershilov in fprog_spb
ну или как только так сразу как спецолимпиады на оптимизацию
источник

u

user in fprog_spb
Очередная встреча сообщества пройдет 19 апреля в офисе JetBrains,

На повестке дня:
«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
источник

λO

λeonid Onokhov in fprog_spb
опять сплошные статические типы
источник