t
о, наконец-то обсуждение нормальных языков
Size: a a a
2021 June 08
N
лол
[
скоро и до js дойдём
t
ну в js статических типов нет, обсуждать особо нечего 🙂
[
если типов нет, то ты просто их не разглядел
SP
перечитал два раза. вообще не понял что вы хотели сказать
SP
номинальные типы там делаются через branding
t
если говорить про спецификацию, то статическая типизация там не предусмотрена. оптимизирующие движки выводят статические типы, где могут, а где не могут, все равно выводят и расставляют деоптимизирующие проверки
t
*эмулируются. пока
unique не будет применим для всего остального, де-факто их нет2021 June 09
ЖК
type Truth = Enum () :: ConstraintКак сформулировать тип cmp, чтобы убедить компилятор, что в любом случае
data KBool = 'KTrue | 'KFalse
type family Default (flag :: KBool) (a :: k) (b :: k) :: k
type instance Default 'KTrue a _ = a
type instance Default 'KFalse _ b = b
cmp :: forall (flag :: KBool) a c
. (Default flag Truth (Eq a), c ~ Default flag Int a)
=> c -> c -> c
cmp x y = x == y
Eq c?Было бы удобно, если бы можно было как-то дикт получить и использовать как док-во, но в constraint я не нашел как из
Dict и a получить констрейнт, а у самого мозгов не хватает.MK
Ты используешь Enum () как тривиально удовлетворенный констрейнт? Для этого можно просто
() :: Constraint использоватьЖК
Только ()? Или любой тип подойдет? 🤔
MK
Это не тип, это пустой констрейнт
MK
В данном случае
ЖК
А, понял, спасибо.
MK
На сам вопрос ответ не знаю
YS
А как наиболее просто дерайвить арбитрари?