СД
за тот коммент и минус как плюс будет
Size: a a a
2020 June 29
H
но это же не твой коммент первый и единственный в хабре
мой комментарий пуп земли
H
он первый и единственный
H
https://splintah.gitlab.io/posts/2020-05-27-Polymorphic-lambda.html
Type abstractions. Type abstractions are just like normal abstractions, but instead of introducing a variable that ranges over values, it introduces a type variable that ranges over types.
Вот было бы классно, если бы такое было в мейнстримовых языках
Type abstractions. Type abstractions are just like normal abstractions, but instead of introducing a variable that ranges over values, it introduces a type variable that ranges over types.
Вот было бы классно, если бы такое было в мейнстримовых языках
H
А, или это просто обобщённые типы. Чем type abstractions отличаются от polymorphic types?
H
А, полиморфные типы это же типы просто, а абстракции типов - синтаксис абстракций полиморфных
H
Понял
H
Я думал это операторы на типах )))
H
Раскатал губу
VV
И да, в рунете всё айти чаты токсичны, за это мы их и любим.
Секрет простой - надо быть токсичнее окружающих на порядок, тогда будет норм
Секрет простой - надо быть токсичнее окружающих на порядок, тогда будет норм
😁
VV
Русофобия да ещё призыв аля с волками жить по волчьи выть в одном сообщении.
VV
Доге красавчик
VV
Хаскель чаты норм же
+
DS
Русофобия да ещё призыв аля с волками жить по волчьи выть в одном сообщении.
Это не русофобия, я не считаю токсичность чем-то отрицательным.
DF
Токсичность признак статуса
DS
Токсичность бывает разная, она может быть как деструктивной, так и конструктивной для сообщества.
СД
токсичность - путь в рай
СД
сыны, проповедуйте учение