Size: a a a

Elm Lang сообщество разработчиков

2018 February 21

к

кана in Elm Lang сообщество разработчиков
Anton Kotenko
твоё утверждение абсолютно обратно утверждению Павла
Его утверждение - в элм нет тайпклассов, костылить их не нужно
Мое утверждение - в элм нет тайпклассов, поэтому их нужно ввести, а не костылить как сейчас (и как я привёл пример)
источник

к

кана in Elm Lang сообщество разработчиков
Не вижу обратности
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Ты подменил слово "притягивать" на "костылить" так, чтобы силлогизм сходился
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
И опустил пассаж про "понимание"
источник

к

кана in Elm Lang сообщество разработчиков
Тем не менее, костылить их так предлагают и тут
https://github.com/elm-lang/elm-compiler/issues/774#issuecomment-66926825
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
вообще интересно, а на логику теоркат тоже ложится?
источник

к

кана in Elm Lang сообщество разработчиков
И собственно так их и делают
источник

к

кана in Elm Lang сообщество разработчиков
Передача словарика с функциями есть не что иное как явная передача инстанса тайпкласса
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
кана
Передача словарика с функциями есть не что иное как явная передача инстанса тайпкласса
Эм, а разве не весь код суть операции над инстансами тайпклассов?
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Один костыль ради простоты это не критично
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Проведём аналогию с Эпплом снова
источник

ZK

Zheka Kozlov in Elm Lang сообщество разработчиков
Pawel Filimonenkow
ну что у вас за фантазии коллега? моноид - категория, а не параметризироанный тип
Неверно. Моноид - это множество, а не категория.
источник

PF

Pawel Filimonenkow in Elm Lang сообщество разработчиков
Тут надо сказать, что таки да, я считаю что классы типов ненужны в Elm-е, поскольку усложняют сисему типов несоразмерно задачам фронтенда. @astynax со мной не согласен. Evan Czaplicki согласен, что более существенно. Есть соответсвующий ишшуй, где можно высказать свои мысли по этому поводу. Не стоит портить атмосферу салуна неконцептуальной музыкой. кмк
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Pawel Filimonenkow
Тут надо сказать, что таки да, я считаю что классы типов ненужны в Elm-е, поскольку усложняют сисему типов несоразмерно задачам фронтенда. @astynax со мной не согласен. Evan Czaplicki согласен, что более существенно. Есть соответсвующий ишшуй, где можно высказать свои мысли по этому поводу. Не стоит портить атмосферу салуна неконцептуальной музыкой. кмк
+
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Я готов продолжить дискуссию вне салуна, если это важно
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Или в другом салуне
источник

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Но ссылочная польза в ней была, этого не отнять
источник

PF

Pawel Filimonenkow in Elm Lang сообщество разработчиков
Zheka Kozlov
Неверно. Моноид - это множество, а не категория.
это вопрос религии. Я не вижу проблем чтобы считать моноид категорией  из одного объекта.
источник

ZK

Zheka Kozlov in Elm Lang сообщество разработчиков
Есть строгое определение моноида
источник

ZK

Zheka Kozlov in Elm Lang сообщество разработчиков
Хотя ладно, есть другое определение моноида в теории категорий
источник