Может ли лямбда-функция называть себя рекурсивно в Python?

Ответ 1

Единственный способ, который я могу придумать, - это дать функции имя:

fact = lambda x: 1 if x == 0 else x * fact(x-1)

или поочередно, для более ранних версий python:

fact = lambda x: x == 0 and 1 or x * fact(x-1)

Обновить: используя идеи из других ответов, мне удалось вставить факториальную функцию в одну неназванную лямбда:

>>> map(lambda n: (lambda f, *a: f(f, *a))(lambda rec, n: 1 if n == 0 else n*rec(rec, n-1), n), range(10))
[1, 1, 2, 6, 24, 120, 720, 5040, 40320, 362880]

Так что это возможно, но не рекомендуется!

Ответ 2

без уменьшения, отображение, имя lambdas или внутренние элементы python:

(lambda a:lambda v:a(a,v))(lambda s,x:1 if x==0 else x*s(s,x-1))(10)

Ответ 3

В отличие от того, что сказал, вы МОЖЕТЕ это сделать прямо.

(lambda f: (lambda x: f(lambda v: x(x)(v)))(lambda x: f(lambda v: x(x)(v))))(lambda f: (lambda i: 1 if (i == 0) else i * f(i - 1)))(n)

Первая часть представляет собой комбинатор с фиксированной запятой Y, который облегчает рекурсию в исчислении лямбда

Y = (lambda f: (lambda x: f(lambda v: x(x)(v)))(lambda x: f(lambda v: x(x)(v))))

вторая часть - это факториальная функция, определенная рекурсивно

fact = (lambda f: (lambda i: 1 if (i == 0) else i * f(i - 1)))

Y применяется к факту, чтобы сформировать другое лямбда-выражение

F = Y(fact)

который применяется к третьей части, n, которая evaulating к n-м факториалу

>>> n = 5
>>> F(n)
120

или эквивалентно

>>> (lambda f: (lambda x: f(lambda v: x(x)(v)))(lambda x: f(lambda v: x(x)(v))))(lambda f: (lambda i: 1 if (i == 0) else i * f(i - 1)))(5)
120

Если вы предпочитаете фибры к фактам, вы можете сделать это тоже, используя тот же комбинатор

>>> (lambda f: (lambda x: f(lambda v: x(x)(v)))(lambda x: f(lambda v: x(x)(v))))(lambda f: (lambda i: f(i - 1) + f(i - 2) if i > 1 else 1))(5)
8

Ответ 4

Вы не можете напрямую это сделать, потому что у него нет имени. Но с помощью вспомогательной функции, такой как Y-combinator, на которую указывает Лемми, вы можете создать рекурсию, передав функцию как параметр самому себе (как это ни странно звучит):

# helper function
def recursive(f, *p, **kw):
   return f(f, *p, **kw)

def fib(n):
   # The rec parameter will be the lambda function itself
   return recursive((lambda rec, n: rec(rec, n-1) + rec(rec, n-2) if n>1 else 1), n)

# using map since we already started to do black functional programming magic
print map(fib, range(10))

Это печатает первые десять чисел Фибоначчи: [1, 1, 2, 3, 5, 8, 13, 21, 34, 55],

Ответ 5

Да. У меня есть два способа сделать это, и один уже был покрыт. Это мой предпочтительный способ.

(lambda v: (lambda n: n * __import__('types').FunctionType(
        __import__('inspect').stack()[0][0].f_code, 
        dict(__import__=__import__, dict=dict)
    )(n - 1) if n > 1 else 1)(v))(5)

Ответ 6

Я никогда не использовал Python, но этот, вероятно, вы ищете.

Ответ 7

Этот ответ довольно простой. Это немного проще, чем ответ Хьюго Уолтера:

>>> (lambda f: f(f))(lambda f, i=0: (i < 10)and f(f, i + 1)or i)
10
>>>

Ответ Хьюго Уолтера:

(lambda a:lambda v:a(a,v))(lambda s,x:1 if x==0 else x*s(s,x-1))(10)

Ответ 8

def recursive(def_fun):
    def wrapper(*p, **kw):
        fi = lambda *p, **kw: def_fun(fi, *p, **kw)
        return def_fun(fi, *p, **kw)

    return wrapper


factorial = recursive(lambda f, n: 1 if n < 2 else n * f(n - 1))
print(factorial(10))

fibonaci = recursive(lambda f, n: f(n - 1) + f(n - 2) if n > 1 else 1)
print(fibonaci(10))

Надеюсь, это будет полезно для кого-то.

Ответ 9

Ну, не совсем чистая лямбда-рекурсия, но она применима в тех местах, где вы можете использовать только лямбда, например. уменьшить, отобразить карты и список, или другие лямбды. Трюк состоит в том, чтобы воспользоваться пониманием списка и областью имен Python. Следующий пример пересекает словарь по данной цепочке ключей.

>>> data = {'John': {'age': 33}, 'Kate': {'age': 32}}
>>> [fn(data, ['John', 'age']) for fn in [lambda d, keys: None if d is None or type(d) is not dict or len(keys) < 1 or keys[0] not in d else (d[keys[0]] if len(keys) == 1 else fn(d[keys[0]], keys[1:]))]][0]
33

lambda повторно использует свое имя, определенное в выражении понимания списка (fn). Пример довольно сложный, но он показывает концепцию.

Ответ 10

Для этого мы можем использовать комбинаторы с фиксированной точкой, в частности Z комбинатор, потому что он будет работать на строгих языках, также называемых нетерпеливыми языками:

const Z = f => (x => f(v => x(x)(v)))(x => f(v => x(x)(v)))

Определите функцию fact и измените ее:

1. const fact n = n === 0 ? 1 : n * fact(n - 1)
2. const fact = n => n === 0 ? 1 : n * fact(n - 1)
3. const _fact = (fact => n => n === 0 ? 1 : n * fact(n - 1))

Заметить, что:

факт === Z (_fact)

И использовать это:

const Z = f => (x => f(v => x(x)(v)))(x => f(v => x(x)(v)));

const _fact = f => n => n === 0 ? 1 : n * f(n - 1);
const fact = Z(_fact);

console.log(fact(5)); //120

Ответ 11

Лямбда может легко заменить рекурсивные функции в Python:

Например, это основной составной интерес:

def interest(amount, rate, period):
    if period == 0: 
        return amount
    else:
        return interest(amount * rate, rate, period - 1)

можно заменить на:

lambda_interest = lambda a,r,p: a if p == 0 else lambda_interest(a * r, r, p - 1)

или для большей наглядности:

lambda_interest = lambda amount, rate, period: \
amount if period == 0 else \
lambda_interest(amount * rate, rate, period - 1)

ИСПОЛЬЗОВАНИЕ:

print(interest(10000, 1.1, 3))
print(lambda_interest(10000, 1.1, 3))

Выход:

13310.0
13310.0

Ответ 12

Кстати, вместо медленного расчета Фибоначчи:

f = lambda x: 1 if x in (1,2) else f(x-1)+f(x-2)

Я предлагаю быстрый расчет Фибоначчи:

fib = lambda n, pp=1, pn=1, c=1: pp if c > n else fib(n, pn, pn+pp, c+1)

Это работает очень быстро.

Также вот факторный расчет:

fact = lambda n, p=1, c=1: p if c > n else fact(n, p*c, c+1)

Ответ 13

Если бы вы были действительно мазохистскими, вы могли бы сделать это с помощью C-расширений, но для эха Грега (привет Грега!) это превосходит возможности лямбды (неназванного, анонимного) functon.

Нет. (для большинства значений no).