S
“разадача” крипты
Size: a a a
2019 December 22
JC
там если (?) в конце сообщения бота нажать, то можно открыть и посмотреть
ну, он ссылку отправил
S
ага, на ютуб
JC
Насколько вообще безопасно по левым ссылкам переходить
JC
Вдруг там какая-то 0-day в браузерах появилась
S
¯\_(ツ)_/¯
S
я просто когда рекламируют что-то вроде “закинь сюда крипты и мы вернем тебе раз в 10 больше” смотрю что там кто закинул 😄
AT
Лох не мамонт
DR
type Name
= Name String
type Formula
= Formula String
type Variant
= Variant String
type Example
= Example String
А если я использую несколько таких типов, то как можно написать flat для всех? Типа flat : T a -> a
Дженериков нету я так понял. А еще я понял, что это union типы и использовать их таким образом не очень целесообразно, хотя вроде прикольно для читабельности
G
type Name
= Name String
type Formula
= Formula String
type Variant
= Variant String
type Example
= Example String
А если я использую несколько таких типов, то как можно написать flat для всех? Типа flat : T a -> a
Дженериков нету я так понял. А еще я понял, что это union типы и использовать их таким образом не очень целесообразно, хотя вроде прикольно для читабельности
flat : a -> a
RT
Хочется одну функцию для извлечения string? Никак
AP
> Дженериков нету я так понял.
Есть. Но они не помогут
Есть. Но они не помогут
AP
> А еще я понял, что это union типы и использовать их таким образом не очень
union чего с чем?
union чего с чем?
AP
Roman Truschev
Хочется одну функцию для извлечения string? Никак
Обобщённую — нельзя. Но можно для суммы этих типов сделать
type Thing
= Example Example
| Formula Formula
| Variant VarianttoString : Thing -> StringRT
Example Example ? Не Example String ?
AP
Это не схлопывание трёх типов в один. Это обобщение общего для них свойства. Типы остаются разными
RT
Хм. Забавно. На пробовал так никогда.
AP
Не пробовали сумму типов сделать?
RT
Нее. Писать как Example Exaple