G
ну если не получиться то черт с ним, чистые ADTs все равно применимы много где
http://math.andrej.com/2016/08/06/hask-is-not-a-category/
https://wiki.haskell.org/Hask
Size: a a a
2020 June 26
G
Dima
t
то, что хаск не категория, не делает сам теоркат несовместимым
t
можно ж закрыть глаза на боттомы
t
все равно их избежать не выйдет в любом языке из-за неразрешимости проблемы останова
D
то, что хаск не категория, не делает сам теоркат несовместимым
ну ок, я воспринимаю это так что мы натянули ежа на жопу, я это 100 раз повторял, ине обязательно со мной соглашаться
r
Разрешить только доказанно-тотальные функции. И спецконструкция для бесконечных циклов.
G
ожидаемо кстати что gcc мои цепочки функций по maybe/either будет оптимизировать мягко говоря хуёво
t
red75prime
Разрешить только доказанно-тотальные функции. И спецконструкция для бесконечных циклов.
ага, а если не удается доказать тотальность, то добавить escape hatch, чтобы функцию можно было тотальной пометить
t
ой, погодите, кажется я видел язык или три, которые так и выглядят
r
Вот. А этот будет без добавления
t
ожидаемо кстати что gcc мои цепочки функций по maybe/either будет оптимизировать мягко говоря хуёво
я реализовал монады на с++20 на лямбдах для проверки оптимизации. шланг не смог красиво свернуть
t
хотя, казалось бы...
r
Side-effects and aliasing matters?
p
ты пытаешься соптимизировать ФП-структуры компилятором рассчитанным на оптимизацию императивного кода, и удивляешься?
G
ты пытаешься соптимизировать ФП-структуры компилятором рассчитанным на оптимизацию императивного кода, и удивляешься?
кто сказал что я удивляюсь
p
кто сказал что я удивляюсь
не ты, мальчик с длинным носом
G
t
red75prime
Side-effects and aliasing matters?
у самих монад, ожидаемо, сайдэффектов нет. алиасинг тоже не должен быть проблемой, т.к. ламбды инстанцируются и сразу же передаются, а аргументы берутся только из pure()
t
ты пытаешься соптимизировать ФП-структуры компилятором рассчитанным на оптимизацию императивного кода, и удивляешься?
я хочу проверить глубину оптимизации современных с++ компиляторов после десятилетнего перерыва