М
Size: a a a
2020 July 29
МП
Писал там же - сумм-типы.
Касательно неверности - покажите мне real world код на языке с паттерн-матчингом где подавляющее большинство матчей - не по сумм-типам.
Касательно неверности - покажите мне real world код на языке с паттерн-матчингом где подавляющее большинство матчей - не по сумм-типам.
Ну так типы суммы - это размеченные объединения алгебраических типов. Которых в Го нет. Это во-1
Во-2, патернматчинг не только для типов сум, но и для типов произведений и различных активных шаблонов. Об этом вообще с смешно говорить в контексте Го - без иммутабельности и с упором на скорость компиляции
Во-2, патернматчинг не только для типов сум, но и для типов произведений и различных активных шаблонов. Об этом вообще с смешно говорить в контексте Го - без иммутабельности и с упором на скорость компиляции
KR
Мимо Проходящий
Ну так типы суммы - это размеченные объединения алгебраических типов. Которых в Го нет. Это во-1
Во-2, патернматчинг не только для типов сум, но и для типов произведений и различных активных шаблонов. Об этом вообще с смешно говорить в контексте Го - без иммутабельности и с упором на скорость компиляции
Во-2, патернматчинг не только для типов сум, но и для типов произведений и различных активных шаблонов. Об этом вообще с смешно говорить в контексте Го - без иммутабельности и с упором на скорость компиляции
Спасибо, кэп
МП
Когда кто то начинает рассказывать, что в го нужны типы суммы, мне очевидно, что он не понимает что такое типы суммы и зачем они. В обсуждениях пропозалов на гитхабе в т ч
NK
(я не совсем понимаю о чем речь, но очень интересно. прошу ссылку почитать что это)
⛪
(я не совсем понимаю о чем речь, но очень интересно. прошу ссылку почитать что это)
Что то для нейронок я так понимаю
ЕО
Тут набег растофилов опять?
KR
Мимо Проходящий
А, ну тогда расскажи зачем тебе типы суммы без алгебраических типов и кортежей
Зачем? Где я утверждал что они мне очень нужны и я не смогу без них жить?
Я лишь говорил о том, что от паттерн-матчинга толком выхлопа не будет в текущем Го. О чём Вы тоже выше написали.
Не туда воюете, сэр.
Я лишь говорил о том, что от паттерн-матчинга толком выхлопа не будет в текущем Го. О чём Вы тоже выше написали.
Не туда воюете, сэр.
KR
Тут набег растофилов опять?
О, расизм пошёл. Хотя я нигде ни разу не упомянул слово раст. А разговор изначально начался про type driven.
DP
Мимо Проходящий
А, ну тогда расскажи зачем тебе типы суммы без алгебраических типов и кортежей
для конструкций типа OneOf и AnyOf
ЕО
О, расизм пошёл. Хотя я нигде ни разу не упомянул слово раст. А разговор изначально начался про type driven.
Когда в раст завезут зависимые типы?
МП
(я не совсем понимаю о чем речь, но очень интересно. прошу ссылку почитать что это)
А просто попробуйте написать что-то практически полезное на хаскелях или окэмле
KR
Когда в раст завезут зависимые типы?
С разморозкой. Уже завезли и уже выпилили. Оказалось не рентабельно.
DP
Мимо Проходящий
А просто попробуйте написать что-то практически полезное на хаскелях или окэмле
я знаю один довольно большой проект на хаскеле. он уже мертв, к сожалению, но был интересный.
это была глобальная модель экономики.
расчет был на ленивые вычисления и автоматическое распараллеливание.
ленивые вычисления ок, а распараллеливание не заработало, и на этом все закончилось - автор экономист, а не программер, и заниматься хотел не программированием, а моделью
это была глобальная модель экономики.
расчет был на ленивые вычисления и автоматическое распараллеливание.
ленивые вычисления ок, а распараллеливание не заработало, и на этом все закончилось - автор экономист, а не программер, и заниматься хотел не программированием, а моделью
МП
для конструкций типа OneOf и AnyOf
Не понял. Где про это читнуть?
Я к тому, что типы суммы по определению бессмысленны вне строгой системы алгебраических типов
Я к тому, что типы суммы по определению бессмысленны вне строгой системы алгебраических типов
DP
Мимо Проходящий
Не понял. Где про это читнуть?
Я к тому, что типы суммы по определению бессмысленны вне строгой системы алгебраических типов
Я к тому, что типы суммы по определению бессмысленны вне строгой системы алгебраических типов
я читнул в том коде, который protobuf генерит 🙂
ЕО
Мимо Проходящий
Не понял. Где про это читнуть?
Я к тому, что типы суммы по определению бессмысленны вне строгой системы алгебраических типов
Я к тому, что типы суммы по определению бессмысленны вне строгой системы алгебраических типов
Ну это неправда. В расте enum это типичные типы суммы, а вот алгебраических типов там нет