[
Нет, на синглтонах недозавтипы. Поэтому нельзя сказать, что в хачкеле завтипы есть.
Size: a a a
2021 May 28
[
Это, так сказать, огрызок.
H
можно через операционную семантику, как обычно
H
+
удобно читается
удобно читается
AN
вообще императивные языки конечно костыль. Вот у меня есть в классе поле которое Optinal. Но я знаю что после перехода в определенное состояние оно никогда не будет больше опшинал. И как это выразить правильно, - не понятно.
H
typestate pattern, конечно
KR
Распаковать?
H
refinement типы
H
много способов есть
AN
там ситуация такая что класс реагирует на события.
s
GADT
AN
т.е. с одной стороны должно быть просто переходы между стейтами, но при этом тот обработчик где опшин не None уже вешается после того как я присвоил что то опшину
AN
Т.е. Я могу дробить стейт на enum и тогда все копировать и обработчки вешать оба раза.
AN
т.е. как мне выразит что этот обработчик я повесил уже после того как перешел в стейт где опшин не None. как-то так надо. Ваши ответы не понял :)
H
просто специализируй на обобщённых типах и всё
H
ну или через HKD, как вариант
AN
это как. ? можно пример на любом языке где оно есть, чтобы представить как это может выглядеть.
H
ну ты даешь
H
я в интернет пришёл не чтобы думать
H
просто покидать умных слов