t
которые не позволяют творить что попало, но при этом еще полезны.
Size: a a a
2021 April 03
t
Ну да, так и скажем программисту, извини брат, но инструкции должны быть без ветвлений, а то комбинаторный взрыв получается!
прочитал комментарий со стереотипным восточным акцентом
KV
я уже прочитал про селективы - ну, с практической точки зрения
Мне кажется монада с мапным биндом — это изоморфное представление для любого селектива, но это неточно. Смысл тот же примерно
t
ну я пока не знаю, поэтому буду смотреть в этом направлении. спасибо
KV
Тут ещё такая gotcha, что для получения текста оптимизированной программы надо сразу выдать все входы, которые программе будут скормлены, возможно этот очевидный факт где-то потерялся за теорией категорий...
Ну не все мб, а только те, от которых зависит применение оптимизации
Ну не все мб, а только те, от которых зависит применение оптимизации
к
Мне кажется монада с мапным биндом — это изоморфное представление для любого селектива, но это неточно. Смысл тот же примерно
мапный бинд это что? Генерация значений типа F (F (F ())) при двух "мапных" биндах?
KV
мапный бинд это что? Генерация значений типа F (F (F ())) при двух "мапных" биндах?
bind :: Map a (m b) -> m a -> m b
KV
выглядит как оптимизация селектива
потому что поиск ветки не за n, и в принципе ограничен юзером, а не типом
потому что поиск ветки не за n, и в принципе ограничен юзером, а не типом
Да
KV
Я думаю, мап слишком конкретно, потому что там ключей конечное число. Не обязательно
KV
Да, действительно. В общем нужен не мап, а какая-то функция с перечислимым кодоменом что ли