LINUX.ORG.RU

Partial function application в OCaml

 , ,


0

2

Все мы знаем, что в функциональном программировании все фукнции — одного аргумента. «Функции нескольких аргументов» это функции одного аргумента, которые возвращают функции меньшего на 1 числа аргументов.

Также мы все знаем, что в OCaml, «функции нескольких аргументов» компилируются в реальные функции нескольких аргументов, а частичное применение обеспечивается с помощью специальной конструкции: замыкания, которое является структурой, содержащей адрес вызываемой функции и часть аргументов, которые уже были фиксированы.

Так вот. По наивности душевной я думал, что на одну функцию может создаваться одна структура-замыкание, в которой могут быть заполнены 1 или более аргументов.

Недавно прочитал, что до версии 4 все замыкания были только от одного аргумента! Если функция была более чем от двух аргументов, то при частичном применении создавалась цепочка замыканий, а при окончательном вызове эта цепочка раскручивалась для получения всех аргументов.

Э — эффективность.

Спецом создал акк, чтобы похэйтить окамл? Что-то новенькое.

Virtuos86 ★★★★★ ()

Все мы знаем, что в функциональном программировании все фукнции — одного аргумента

И сразу фейл

buddhist ★★★★★ ()

Ставишь тег anonimous-mode, а ни на яваскрипте или ио ничего не написал, ни на акторы не фапнул.

ovk48 ★★★ ()
Ответ на: комментарий от ovk48

этот тег для типа 'тупняк, только скучный и из уст псих. больного'

Debasher ★★★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.