Результаты поиска по запросу "functional-programming"
Типизированный FP: Аргументы Tuple и Curriable Arguments
В статически типизированных функциональных языках программирования, таких как Standard ML, F #, OCaml и Haskell, функция обычно пишется с параметрами, отделе...
Как мне доказать, что две реализации Фибоначчи равны в Coq?
У меня есть две реализации Фибоначчи, показанные ниже, которые я хочу доказать функционально эквивалентными.Я уже доказал свойства натуральных чисел, но это ...
Swift: Каков наилучший способ объединения элементов массива
Я столкнулся с проблемой, которая требовала перебора массива в парах. Какой лучший способ сделать это? Или, в качестве альтернативы, каков наилучший способ п...
Как заархивировать списки в списке
Я хочу сжать следующий список списков: