AH
TYPE BOOL блять
да есть, но если их посчитать, там их пару видов всего (не считая лямбдной)
но хорошим этот код не могу назвать, я его пока не понимаю))
Size: a a a
2021 April 08
AH
static member inline RuntimeValue True = true
AH
чтобы точно было True равно true в рантайме
AH
а то мало ли
оГ
Егор же показывал как это обойти?
AH
ну тут тайп левел!
оГ
Ну типа тру не будет равно тру
AH
то есть нам этот ваш рантайм уже неинтересен
SB
Вот так по кирпичику Москва и строилась!!!!
DS
Короче, если интересно что это такое и как с этим жить (и зачем), то можно вот сюда залезть
AH
не, я понимаю зачем это делают, но зачем они это делают
оГ
В сортах говна не разбираемся!
DS
Из практических применений стрелок - можно делать достаточно любопытные пайплайны, которые можно до вычислений тем или иным образом оптимизировать или компилить в какое-либо другое представление.
оГ
А я мимикрирую! Можно ли считать это изменением?
DS
Проблема у стрелок только одна - работать с ними дичайще неудобно, т.к. разумного аналога do синтаксиса нет. Есть только не очень разумный ArrowDo
SB
Ну это ж те самые морфизмы категории, епта. А уже в зависимости от конкретной категории меняется суть стрелок и композиции.
DS
Да, именно
AH
Ну это, не беда. Такая сегодня экологическая обстановка. Все мимикрируют. Я мимикрирую. И даже Вася помимикрирует, бывает. Но по ситуации. Что ж нам из-за этого, последний долг Родине не отдавать? Твой позорный недуг мы в подвиг определим, пошлем в питон. Там ты еще и сраться начнешь!
DS
Стрелки - это про моноидальные категории прежде всего