S
Ну осталось тока type family эмулировать и заживём и typestate
Size: a a a
2020 May 20
G
typestate это что?
S
Типа энум класс
S
Кайндоф
G
Типа энум класс
enum class это просто енум в расте
G
с юнит тайпом у всех вариантов
G
typestate я забыл что такое
S
Ну типа да можно запихатт всё в энум
S
Но тока опять макрос делать
S
(
AZ
Ну осталось тока type family эмулировать и заживём и typestate
прежде чм про всякие тайпфемили говорить надо хотя бы гаты и конст генерикик в язык
S
S
прежде чм про всякие тайпфемили говорить надо хотя бы гаты и конст генерикик в язык
🤞
SP
внезапно утиная типизация это и есть имплисит конвертация
ну в итоге этот механизм с натягом можно считать имплисит конвертацией в энумерабле то
G
о, type family это же буквально type family
AZ
о, type family это же буквально type family
да, я так понял это упрощённые фундепы
G
а фундепы это что?
AZ
а фундепы это что?
class MyClass a b | a -> bAZ
короч помогает выводить типчики