ΛВ
А он умеет из тупля делаться?
это и есть тупль
Size: a a a
2020 August 10
ΛВ
теперь хлист есть в дотти
λ
а в теоркате возможно пустое произведение?
ᛒ
а в теоркате возможно пустое произведение?
ᛒ
наверное, почему нет
V
теперь (A, B, C) = A *: B *: C *: EmptyTuple
KPACUBO
KC
Т.е. теперь Unit больше не подтип Tuple
А разве это не логичнее?
ᛒ
А разве это не логичнее?
Unit ето же буквально EmptyTuple
ᛒ
зачем делать distinction между them
KC
Unit ето же буквально EmptyTuple
Ну да, но по сути он имеет все таки весьма отдельное практическое использование
Oℕ
А разве это не логичнее?
нет
ΛВ
зачем делать distinction между them
борисс вайбс самма
ᛒ
Ну да, но по сути он имеет все таки весьма отдельное практическое использование
нет
ᛒ
кароче говно какое то
ᛒ
дед хуету творит
ᛒ
один тайп параметр в екстеншенах
ᛒ
емпти тупл не юнит
ΛВ
один тайп параметр в екстеншенах
а ето шо