к
Size: a a a
2021 March 07
AA
Каких?
1) выбрать тайпклассы, которые для оптимизации требуют генерить кучу кода
2) выбрать использовать тайпклассы для базовых вещей типа сравнений и арифметики, т.е. сделать эту оптимизацию обязательной
2) выбрать использовать тайпклассы для базовых вещей типа сравнений и арифметики, т.е. сделать эту оптимизацию обязательной
к
я думал главная проблема это квадратичные рекорды
а еще как оказалось тайпфемели, которые как нам рассказал @int_index, генерят и хранят все-все промежуточные редукции
AA
это определенно проблемы, но не главные!
к
1) выбрать тайпклассы, которые для оптимизации требуют генерить кучу кода
2) выбрать использовать тайпклассы для базовых вещей типа сравнений и арифметики, т.е. сделать эту оптимизацию обязательной
2) выбрать использовать тайпклассы для базовых вещей типа сравнений и арифметики, т.е. сделать эту оптимизацию обязательной
а какая есть альтернатива, кроме окамлового варианта делать функцию (<) :: forall a. a -> a -> Bool которая падает в рантайме?
AA
были еще пара причин - более тормозной пм чекер в 8.0 и более тормозной кодогенератор в 7.8 которые дали пару заметных подскоков в торможении, из-за чего, думаю, вой и пошел про КОНПЕЛЯЦИЮ, но реальный вклад всего этого еще меньше, чем у предыдущего
AA
а какая есть альтернатива, кроме окамлового варианта делать функцию (<) :: forall a. a -> a -> Bool которая падает в рантайме?
да никакого, по большому счету, ну разве что джит
AA
в окамле (и смле) сделали тоже фичу которая требует генерить мого кода если оптимизировать, т.е. там есть составляющая 1, но они не выбрали 2 - там для арифметики (в смл) и сравнений (и в смл и в окамле, но разные) есть специальные костыли, так что функторы они и не оптимизировали до недавнего времени в окамле, и везде кроме млтона в смле
AA
а какая есть альтернатива, кроме окамлового варианта делать функцию (<) :: forall a. a -> a -> Bool которая падает в рантайме?
в смл есть какбе специальный тайпкласс для сравнения, все типы делятся на сравнимые и нет при объявлении, самому такой "тайпкласс" для другого не сделать
AA
в ельме даже и самому такую разновидность типов нельзя объявлять вроде
JS
теперь можно будет сраться на тему
foo ^. #bar vs foo . bar! красотаfoo . bar против foo.barAA
интересно будут ли ребайндабл/плагин-страдания стоить того, чтоб этот синтаксис под линзы перехватить
ЖК
Продублирую сюда, в новичковом чате остался без внимания:
Использую расширение
Сегодня ВНЕЗАПНО мой проект стал выдавать ошибки почти во всех файлах:
Откуда этот 8.8.4 взялся и как это чинить?
Использую расширение
Haskell для VSCode.Сегодня ВНЕЗАПНО мой проект стал выдавать ошибки почти во всех файлах:
ghcide compiled against GHC 8.10.2 but currently using 8.8.4Уже как месяц у меня стоит 8.10.2 и до сегодня все было нормально. project_name.cabal, stack.yaml и прочие штуки не трогал.
This is unsupported, ghcide must be compiled with the same GHC version as the project. cradle
Откуда этот 8.8.4 взялся и как это чинить?
ЖК
У меня ghc 8.10.2 в path прописан, в папке проекта выдает
The Glorious Glasgow Haskell Compilation System, version 8.10.2ЖК
Просто стоит плагин
haskell, отдельно ничего не ставил и не трогал.