никакой компилятор хаскеля не сможет

в хаскеле всякие полиморфные рекурсии, хкт и экзистенциальные типы

опять академики всё испортили, понятно

> The main restriction is that you can't pass a primitive value to a polymorphic function or store one in a polymorphic data type. This rules out things like [Int#] (i.e. lists of primitive integers). The reason for this restriction is that polymorphic arguments and constructor fields are assumed to be pointers: if an unboxed integer is stored in one of these, the garbage collector would attempt to follow it, leading to unpredictable space leaks. Or a seq operation on the polymorphic component may attempt to dereference the pointer, with disastrous results. Even worse, the unboxed value might be larger than a pointer (Double# for instance).

в плюсы на шаблонах наверняка все смогли бы!

ну так они не могут

Теперь стало яснее, да. А то всё этот акадимический троллинг!

Ну это не совсем объясняет происходящее, это так

вообще-то вот тут уже был этот же самый ответ

Списки-то заведомо не левити полиморфные

Дело в том, почему они не могут быть полиморфные

Ну а чего мне тогда то понятнее, чем енто?(

ну так после продолжения этой фичи можно будет сделать левити-полиморфными, не репрезентационно-полиморфными просто, что для этого примера с анбоксед нужно

на английском всегда понятнее

как русский православный человек, не могу согласиться

я все еще не понимаю кстати, компилятор же может специализировать функцию и тип под конкретный примитивный, хранить где-нибудь в значении информацию о размере значения еще

то есть сам обрабатывать полиморфные и специализированные примитивные случаи по-разному

так в гхц полиморфизм не на специализациях основан

много изменений пришлось бы делать

я понимаю, но ничего не мешает же их приделать