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

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

2eezee

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

но я не могу обещать, что я это сделаю :/

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

выше я это и предложил

ответ - непонятно как будет выглядеть code reuse

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

(имхо)

иначе будет махание руками, как в цитатах у меня выше

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

это срачи а не спецолимиада

Платиновые срачи fprog_spb

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

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

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

ну или как только так сразу как спецолимпиады на оптимизацию

Очередная встреча сообщества пройдет 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

опять сплошные статические типы