SB
Просто непонятно зачем впихивать все живое и нерожденное в стрелки, да теоркат мощён, да всесилен, но здравый смысл же должен победить
type True = True
with static member inline RuntimeValue True = true
Достойно стикерпака какого-нибудь
Size: a a a
2021 April 08
AH
Ну Тру ведь!
оГ
А ты суслика увидел?
DS
Это всё попытки найти формализм менее мощный чем монады (чтобы можно было до выполнения структуру вычислений как-то анализировать), но тем не менее позволяющий описывать достаточно богатое подмножество программ.
DS
Потому что те же аппликативы или даже селективные функторы относительно плохо подходят для того, чтобы целиком программы ими описывать.
SB
Без синтаксической поддержки и монадам, и формализму менее жесткому грош цена.
SB
Каша ж будет в коде.
SB
Это стрелки должны стать конструкциями самого языка и тогда может что и получится.
DS
Синтаксическая поддержка есть, но она на любителя (см. ArrowDo). Для скалы есть volga от Нижникова, но я не знаю довел он её до разумного вида или нет (Вроде бы нет, но там синтаксис лучше чем в ArrowDo)
SB
ArrowDo на Викихаскель смотреть?
DS
Короче как раз из-за странного синтаксиса мало кто их в том же хаскеле юзает
оГ
Какая нах волга?! Кто это наделал?!
AH
Олег Нижник же!!1
AH
это тот самый из скала чата
оГ
Я не знаю ни того и этого из скалачата
оГ
Я на скале писал как на «беттер жаве»
DS
А вот кстати профункторы (которые в целом сравнимы со стрелками по выразительности) вполне себе юзаются в тех же линзах