KV
Не понел, а как можно сделать квошиенты без завтипов? Как выражать равенства?
Size: a a a
2021 March 07
KV
как просто хинт компилятору, что вот эти два конструктора в памяти имеют одинаковую репрезентацию
А при чём тут представление в памяти вообще?
KV
В чём смысл писать равенства и их не доказывать, чтобы программист лишний раз чертыхался?
к
В чём смысл писать равенства и их не доказывать, чтобы программист лишний раз чертыхался?
хм, окей, согласен, квошиенты без завтипов смысла не имеют
MK
О, тут опять чат про аниме
[
мне кажется, если скорость и может приблизится, то только с другой стороны
У плюсового кода потенциально неограниченная скорость компиляции
[
так что в отстающих всё же хаскель
JS
У плюсового кода потенциально неограниченная скорость компиляции
не ограниченная снизу? C++ ужасно медленно компилируется, на мой взгляд
[
да, я имел ввиду "не ограниченное время компиляции". Шаблоны плюсов это такой недолисп, который интерпретируется в кт и у него тоже есть всякие рекурсии
2021 March 08
G
да, я имел ввиду "не ограниченное время компиляции". Шаблоны плюсов это такой недолисп, который интерпретируется в кт и у него тоже есть всякие рекурсии
Поэтому придумано метаклассы
AA
тем временем, в 9.2 новая фича (ну не совсем новая, ее уже мерджили и откатывали)
https://gitlab.haskell.org/ghc/ghc/-/commit/3e082f8ff5ea2f42c5e6430094683b26b5818fb8
https://gitlab.haskell.org/ghc/ghc/-/commit/3e082f8ff5ea2f42c5e6430094683b26b5818fb8
NI
Да что ж это такое творится-то!
AA
совсем житья не стало от проклятых академиков!