Лисп поверх Питона

[vak]

Питон нынче присутствует везде, даже на самых крохотных линуксных девайсах. Но если вы скучаете по функциональщине, вот вам простой Лисп поверх Питона. Называется Hy:

https://docs.hylang.org/en/stable/whyhy.html

Устанавливается командой:

pip3 install --user hy

Вызывается как "hy". Такой себе вполне Лисп, с полным доступом к функциям и библиотекам Питона, и обратно. Поддерживает макросы, питоновские классы и модули. Можно делать автономные скрипты. Пример вычисления чисел Фибоначчи:

(defn fib [n]
  (if (< n 2)
    n
    (+ (fib (- n 1)) (fib (- n 2)))))
(print (fib 30))

Напечатает:

832040

Comments

[spamsink]

Нет, это не пример вычисления факториала. :)

[vak]

Так у них в тьюториале.
Позорище, конечно.
Я долго пялился на код, потом решил, что лениво переписывать на конечную рекурсию.

[dijifi]

Подсказка: кончается на чи

[vak]

?

[vanja_y]

Код вычисляет числа Фибоначи, а не факториал.

[ircicq]

[vak]

И то верно. :)

[vak]

И правда, что это со мной!
Исправил, спасибо.

[vanja_y]

Если б не spamsink я бы и не заметил)

[vak]

Ой, действительно! Исправил.

Проблема с этим вариантом вычисления Фибоначчи, что даже сотый элемент не удаётся получить за разумное время.
Переписал на конечную рекурсию:

(defn fib [index]
    (if (< index 0)
        (raise (ValueError "Negative input to Fibonacci!")))
    (if (< index 2)
        (return 1))
    (defn fibrec [index iteration prev2 prev1]
        (setv sum (+ prev2 prev1))
        (setv iter1 (+ iteration 1))
        (if (= iter1 index)
            (return sum))
        (fibrec index iter1 prev1 sum))
    (fibrec index 1 0 1))

(print "(fib 100) =" (fib 100))

Теперь до 900-того вычисляет, а на 1000-ном падает с ошибкой "RecursionError: maximum recursion depth exceeded". Всё потому, что Питоновская виртуальная машина не поддерживает конечную рекурсию.

Переписал итеративным образом:

(defn fib [index]
    (if (< index 0)
        (raise (ValueError "Negative input to Fibonacci!")))
    (if (< index 2)
        (return index))
    (setv prev2 0)
    (setv prev1 1)
    (for [iteration (range 1 index)]
        (setv sum (+ prev2 prev1))
        (setv prev2 prev1)
        (setv prev1 sum))
    sum)

(print "(fib 1000) =" (fib 1000))

Теперь даже до миллионного элемента работает. Но всякий интерес пропадает: итеративный код проще будет на обыкновенном Питоне написать.

[dluciv]

Он, увы, такой себе ЛИСП. Без let из коробки. Скорее лисповый синтаксис для Питона. Но при этом самый лучший и живой из тех, которые есть.