ЕО
я читнул в том коде, который protobuf генерит 🙂
Мне кажется ты путаешь прямую сумму и объединение
Size: a a a
2020 July 29
DP
Мне кажется ты путаешь прямую сумму и объединение
возможно
МП
Ну это неправда. В расте enum это типичные типы суммы, а вот алгебраических типов там нет
Тип-сумма из типов-произведений. Это то определение, которым я пользуюсь. Кортежи есть, неизменяемые объекты есть, что ещё надо?
с
Тут набег растофилов опять?
Да.
ЕО
Типы-суммы это тегированные объединения. Если у тебя есть TypeSum = IntConst int | StringConst string, то создаётся тип с двумя конструкторами и одним деструктором:
IntConst :: int -> TypeSum
StringConst :: int -> TypeSum
Деструктор через switch можно сделать:
switch (t) {
case IntConst x:
здесь x
case StringConst s:
здесь используем s
}
А объединения это как в тайпскрипте type TypeUnion = string | int. Такое можно бы сделать на гошных интерфейсах, если бы можно было методы определить для инта и стринга
IntConst :: int -> TypeSum
StringConst :: int -> TypeSum
Деструктор через switch можно сделать:
switch (t) {
case IntConst x:
здесь x
case StringConst s:
здесь используем s
}
А объединения это как в тайпскрипте type TypeUnion = string | int. Такое можно бы сделать на гошных интерфейсах, если бы можно было методы определить для инта и стринга
ЕО
Хотя пока я писал, понял, что можно тегированные объединения через new type в го сделать
с
это как же?
с
Типы-суммы это тегированные объединения. Если у тебя есть TypeSum = IntConst int | StringConst string, то создаётся тип с двумя конструкторами и одним деструктором:
IntConst :: int -> TypeSum
StringConst :: int -> TypeSum
Деструктор через switch можно сделать:
switch (t) {
case IntConst x:
здесь x
case StringConst s:
здесь используем s
}
А объединения это как в тайпскрипте type TypeUnion = string | int. Такое можно бы сделать на гошных интерфейсах, если бы можно было методы определить для инта и стринга
IntConst :: int -> TypeSum
StringConst :: int -> TypeSum
Деструктор через switch можно сделать:
switch (t) {
case IntConst x:
здесь x
case StringConst s:
здесь используем s
}
А объединения это как в тайпскрипте type TypeUnion = string | int. Такое можно бы сделать на гошных интерфейсах, если бы можно было методы определить для инта и стринга
какое жуткое сочетание C-like и Haskell-like определений
ЕО
Типы на хаскеле проще описывать, а код писать проще на си
ЕО
это как же?
Ща
МП
я знаю один довольно большой проект на хаскеле. он уже мертв, к сожалению, но был интересный.
это была глобальная модель экономики.
расчет был на ленивые вычисления и автоматическое распараллеливание.
ленивые вычисления ок, а распараллеливание не заработало, и на этом все закончилось - автор экономист, а не программер, и заниматься хотел не программированием, а моделью
это была глобальная модель экономики.
расчет был на ленивые вычисления и автоматическое распараллеливание.
ленивые вычисления ок, а распараллеливание не заработало, и на этом все закончилось - автор экономист, а не программер, и заниматься хотел не программированием, а моделью
Может уже починили? Сергей Зефиров на конфе рассказывал, что он во всю юзает грин потоки на хаскеле для Алисы. Это был оффтопик)
с
ну так еще можно метод приватный добавить
с
и тогда никто не сможет реализовать интерфейс
с
кроме вас
МП
Типы-суммы это тегированные объединения. Если у тебя есть TypeSum = IntConst int | StringConst string, то создаётся тип с двумя конструкторами и одним деструктором:
IntConst :: int -> TypeSum
StringConst :: int -> TypeSum
Деструктор через switch можно сделать:
switch (t) {
case IntConst x:
здесь x
case StringConst s:
здесь используем s
}
А объединения это как в тайпскрипте type TypeUnion = string | int. Такое можно бы сделать на гошных интерфейсах, если бы можно было методы определить для инта и стринга
IntConst :: int -> TypeSum
StringConst :: int -> TypeSum
Деструктор через switch можно сделать:
switch (t) {
case IntConst x:
здесь x
case StringConst s:
здесь используем s
}
А объединения это как в тайпскрипте type TypeUnion = string | int. Такое можно бы сделать на гошных интерфейсах, если бы можно было методы определить для инта и стринга
А как это повлияет на скорость конпилции простите?
с
Мимо Проходящий
А как это повлияет на скорость конпилции простите?
никак
с
а вот держаться все будет в куче
с
потому как неизвестен тип на этапе компиляции, а следовательно и его размер