ЗП
до чего? до алгебр? так они известны давно)
Size: a a a
2021 June 18
ЗП
это просто три схемы в одном
[
Чтоб людей ими пугать
N
Звучит как имя дракончика
[
Заходит новичок в чат по хаскелю и тут ему с порога Зигохистоморфный Препроморфизм отвечает. Те сразу смекнут, что тут вам не там.
NI
Чтоб обходиться без общей рекурсии, но иметь относительно хорошую выразительность.
Можно сказать, что одна из схем рекурсии, это foldable.
Это сложно?
Можно сказать, что одна из схем рекурсии, это foldable.
Это сложно?
[
неа
NI
Ну я несколько грубо выражаюсь, но суть такая.
[
у математиков проблема с названиями
[
надо что-нибудь более популярное массам
NI
Ага, самая простая схема и уже называется "катаморфизм" ;-)
ЗП
Recursive и Foldable можно сказать про одно и тоже и даже преобразования типовые для сигнатуру алгебр будут описывать сигнатуру для foldr
[
и люди к ним потянутся
ЗП
я сделал 2 видео
ЗП
об этом