1
Как реализовать ветвление и привязку в функциональном языке программирования?
Я пытаюсь написать поиск ветвей и границ на множестве всех функций f: D -> R, где размер домена мал (| D | ~ 20), а диапазон намного больше (| R | ~ 2 ^ 20 ). Изначально я придумал следующее решение. (builder (domain range condlist partial-map) (let ((passed? (check condlist …