R:
что плохого в явных кванторах?
1. "Нинужны"
2. Путают
3. Пугают нуфагов
2. Путают
3. Пугают нуфагов
1. "Нинужны"
2. Путают
3. Пугают нуфагов
Size: a a a
2018 November 28
ЗП
чо? походу ты немного не понимаешь
ЗП
что они путают?
ЗП
я офигеваю с вас
ЗП
в хаскель просто они неявные
VY
страшный символ квантора "все"
λ
страшный символ квантора "все"
forallЗП
чем мощнее система типов, тем больше надо писать явные типы
R:
в хаскель просто они неявные
Поэтому первый пункт
VY
forallтоже очень страшно :)
(это пост-мета-модерн-ирония)
(это пост-мета-модерн-ирония)
λ
чем мощнее система типов, тем больше надо писать явные типы
нет
ЗП
нет
че? еще один знаток)
AG
чем неразрешимее :)
ЗП
посмотри на кубическую систему типов, посмотри на любую зависимую систему
λ
че? еще один знаток)
в какой-нибудь жаве система типов не сложней, но там всё что связано с типами явно вербознее и хаскеля и пурсы
AG
в жаву кстати потиху завозят инференс
ЗП
в какой-нибудь жаве система типов не сложней, но там всё что связано с типами явно вербознее и хаскеля и пурсы
ты это серъезно?
R:
У меня были траблы с тем, что помесь тайп алиасов с написанием forall не всегда отрабатывала как нужно
AG
уже можно писать в стиле
val foo = new CheToTam