Size: a a a

2020 June 28

к

кана in Haskell
+
источник

к

кана in Haskell
по часам и платят
источник

MK

Maxim Koltsov in Haskell
(дисклеймер: я очень люблю женерики. но конкретно в случае линз опасаюсь тормозов)
источник

MK

Maxim Koltsov in Haskell
Это же оптимизатору в каждом месте использования линзы надо одно и то же делать
источник

MK

Maxim Koltsov in Haskell
Или я не прав?
источник

D

Dreamerinnoise in Haskell
Maxim Koltsov
Но ведь дженерик будет тормозить
Любопытства ради, сколько будет собираться крупный проект? 4 часа?
источник

AV

Alexander Vershilov in Haskell
Maxim Koltsov
Когда ты используешь дженерик линзы, компилятор может избавиться от from?
Конечно
источник

AV

Alexander Vershilov in Haskell
Maxim Koltsov
Это же оптимизатору в каждом месте использования линзы надо одно и то же делать
Надо
источник

MK

Maxim Koltsov in Haskell
Ну вот о чем и речь
Ладно допустим дженериковые инстансы аесона, они один раз оптимизируются. Но линзы?
источник

AA

A64m AL256m qn<co... in Haskell
Maxim Koltsov
Когда ты используешь дженерик линзы, компилятор может избавиться от from?
до определенного размера конструктора может, потом перестает мочь
источник

VY

Vasiliy Yorkin in Haskell
А в prettyprinter есть возможность как-то написать в общем виде, а потом уже аннотировать? Как бы так объяснить... Т.е. я не всегда хочу разукрашивать результат, например, для голден тестов не хочу
источник

VY

Vasiliy Yorkin in Haskell
Но аннотации вшиты намертво (AnsiStyle), или я просто не понимаю как его использовать правильно?
источник

VY

Vasiliy Yorkin in Haskell
Или придется все таки делать pp & ppStyled...?
источник

VY

Vasiliy Yorkin in Haskell
Пока написал просто 2 версии этой ф-ции, фиг с ним. Правда, так можно легко ошибиться и поменять что-то в одной, но забыть поменять это в другой
источник

к

кана in Haskell
Vasiliy Yorkin
А в prettyprinter есть возможность как-то написать в общем виде, а потом уже аннотировать? Как бы так объяснить... Т.е. я не всегда хочу разукрашивать результат, например, для голден тестов не хочу
ну вынести апи PP в FT класс
источник

к

кана in Haskell
и сделать два интерпретатора, один с PP, другой без
источник

к

кана in Haskell
звучит как очень просто реализуемое
источник

VY

Vasiliy Yorkin in Haskell
а, в смысле вынести annotate в класс и в одной реализации сделать, чтобы оно аннотировало, а в другой ничего\`id`?
источник

к

кана in Haskell
+
источник

VY

Vasiliy Yorkin in Haskell
норм, спасибо
источник