Автор Тема: [FP] Неправильное введение в функциональное программир  (Прочитано 3519 раз)

Geniepro

  • Hero Member
  • *****
  • Сообщений: 1955
  • Знайте- истина в том, что повторено трижды подряд!
    • Просмотр профиля
Воронков В.В. "Неправильное введение в функциональное программирование"

Любопытная статья про ФП от автора Ela (динамического ФЯ с хаскелеподобным синтаксисом)...
to iterate is human, to recurse, divine

Салат «рекурсия»: помидоры, огурцы, салат…

valexey_u

  • Hero Member
  • *****
  • Сообщений: 3013
    • Просмотр профиля
Ну, то есть никакого отношения к хаскелю эта поделка не имеет.
Y = λf.(λx.f (x x)) (λx.f (x x))

Geniepro

  • Hero Member
  • *****
  • Сообщений: 1955
  • Знайте- истина в том, что повторено трижды подряд!
    • Просмотр профиля
Ну, то есть никакого отношения к хаскелю эта поделка не имеет.

Вот сравнение Хаскела и Ela: http://elalang.net/docs/Article.aspx?p=elaandhaskell.htm
to iterate is human, to recurse, divine

Салат «рекурсия»: помидоры, огурцы, салат…

valexey_u

  • Hero Member
  • *****
  • Сообщений: 3013
    • Просмотр профиля
Ну, то есть никакого отношения к хаскелю эта поделка не имеет.

Вот сравнение Хаскела и Ela: http://elalang.net/docs/Article.aspx?p=elaandhaskell.htm
На пунктах Purity и Type system можно было и закончить. Остальное (относительно этого) абсолютно вторично.
Y = λf.(λx.f (x x)) (λx.f (x x))