AA
А можно будет теперь параметризовать вообще любые типы анлифтед типами?
можно будет, как и объявлять свои анлифтед типы обычным способом, как алгтд объявляют, но это еще не вмерджено пока
Size: a a a
2020 December 15
DB
Я просто спрашивал какое-то время назад, можно ли без боли просто параметризовать матрицы Double#, чтобы оно побыстрее работало. Мне сказали, что это дико больно
AA
Левити полиморфизм же и так уже был
но его нельзя было использовать для конструкторов из-за разного представления в памяти для разных TYPE r
а TYPE (BoxedRep l) можно, потому что это все ссылки
а TYPE (BoxedRep l) можно, потому что это все ссылки
KV
А, понятно
AA
Я просто спрашивал какое-то время назад, можно ли без боли просто параметризовать матрицы Double#, чтобы оно побыстрее работало. Мне сказали, что это дико больно
тут ничего не поменяется, потому что Double# не ссылка
DB
То есть нельзя
KV
Ага, придётся всё равно forall r. TYPE r ... писать
DB
брух
KV
брух
Менее больно будет если только боксед типы нужны
DB
Менее больно будет если только боксед типы нужны
я хотел, чтобы любые можно было(
KV
я хотел, чтобы любые можно было(
Ну так можно
AA
но не на параметрических типах а на бекпачных модулях только
DB
Ну вот я об этом и грю
DB
капец, а почему нельзя просто взять и..?
AA
ну потому что полиморфизм на универсальном представлении
AA
только для ссылок
DB
Ну вот почему он такой? Компилятор не сможет механически приспособить этот тип к анбоксед?
AA
не сможет конечно
DB
Ну, который сейчас — понимаю, что не сможет.
DB
А в чём проблема, шобы смог?