𝚙
бесят)
Size: a a a
2020 June 05
АМ
Где я говорил, что у Японии самый сильный флот? Самый сильный - у США, это общеизвестный факт. Научись сначала читать.
DO
А вот да, подскажите простым языком, для чего нужны типы высших порядков?..
DO
я не смог разобраться в этих звёздочках хаскельных :)
V
HKT?
DO
ага
В
А вот да, подскажите простым языком, для чего нужны типы высших порядков?..
чтобы жить
G
Чтобы жить
p
Где я говорил, что у Японии самый сильный флот? Самый сильный - у США, это общеизвестный факт. Научись сначала читать.
>один из сильнейших
ну если это один из сильнейших, то в го одна из сильнейших типизаций в мире
ну если это один из сильнейших, то в го одна из сильнейших типизаций в мире
DO
не :) Можно какой-то пример что на них можно сделать?
G
Монады
MB
А вот да, подскажите простым языком, для чего нужны типы высших порядков?..
Если кратно, то для более сильных обобщений.
Например, только с ними ты можешь нормально описать понятие "монада".
Например, только с ними ты можешь нормально описать понятие "монада".
DO
точнее, что нельзя без них :)
G
Монады
DO
ааа
DO
Монады — это классно :)
p
Монады
не нужны
В
не :) Можно какой-то пример что на них можно сделать?
Пример: вчера хотел абстрагироваться по хранилищу примерно в таком роде:
struct Aaaa<S<_>> {
a: S<A>,
b: S<B>,
}MB
точнее, что нельзя без них :)
Всякие вещи, связанные с коллекциями с структупами данных
p
точнее как класс не нужен