ZK
в Хаскелле подобное сразу с ошибкой падает при компиляции
Size: a a a
2017 November 01
ZK
С ошибкой несоответствия каиндов
AP
Только в Эльме кайнд у типопеременных - всегда
*AP
Но у List то всяко
* -> *, так что второй параметр точно лишнийAP
Всё ещё хуже
AP
переваривается и такое
List Int Int Int
x = Debug.crash "foo"
AP
И даже такое:
The type annotation for x says it is a:
List
But the definition (shown above) is a:
List a
ZK
Что-то похожее нашёл: https://github.com/elm-lang/elm-compiler/issues/1645
AP
x : Maybe (List Int ()) ()
x = []
AP
Все параметризованные типы сломаны, похоже
AP
x : Dict Maybe List
x = Dict.empty
это вообще без ошибок компилится
ZK
Напишу коммент
AP
> Currently, we're somewhere in between: one can have the type, but not alias it, nor construct a value of that type.
AP
x : Dict Maybe List
x = Dict.empty
Вот я и сконструировал значение
AP
Напишу коммент
Добавил ссылку на ellie-пример
ZK
угу, видел, thx
AP
Стрёмный баг
ZK
Надеюсь, на это обратят внимание, ибо List List Int многие пишут, когда хотят список списков
AP
Я по привычке пишу
[[Int]] и потом матерюсь