Ь

каждый язык хорош по своему, мы все правы :)

ирлонг - продакшен-язык , придуманный инженерами для решения своих задач, но оказавшийся хорошим и для других

идрис хорош для доказательств, хаскель - для прототипирования и своей ниши.

А вроде как Idris это “беттер Haskell”, плюс автор продвигает его как “практичный” ФП язык.

Это рили или только его фанатазии?

подкованные товаризщи  ответят, руки до него не дошли

Я бы с этим согласился

Жду продакшен-реди

Чего конкретно? Верси 1.0 то уже вышла, книга вроде тоже

Та у меня 1.1.1 cтоит, но я все равно немного стремаюсь чот делать на нем

Или уже можно не бояться?

постоянно разваливающийся тайпчекер  ну и дефицит либ

Он еще и зацикливался вроде в каких-то простых ситуациях?

Тайпчекер в смысле.

Народ  подскажите смысл лямбда функций

Читаю мир лиспа Хювёнен, затронули лямбда функции и не могу понять если без них обычная функция даёт тот же результат что и с ней

Какие тогда её преимущества?

Смысл лямбда функций в том, чтобы написть очень простую функцию очень быстро, без создания лишнего синтаксического шума.
Лямбда создаётся ПО МЕСТУ ИСПОЛЬЗОВАНИЯ, что очень удобно и повышает читаемость кода.
Также обычно лямбды участвуют в вызове функций высших порядков, которые облегчают использование разных уже запрограммированных алгоритмов , адаптируя их.
Также лямбды обычно захватывают локальные в вызвающем контексте переменные и объекты, и облегчают обработку данных с их использованием.
Без захвата применение функций вместо лямбд было бы просто невозможно.

Это вкратце

Ну, лучше, чем ничего, но Practical Common Lisp был бы практичнее и современнее.
Напомню, что в "Мир Лиспа" рассматривается ДОстандартный диалект лиспа.

а еще ЛИ это простой полный по тьюрингу язык у которого есть только 2 мета опрерации - абстракция и аппликация (есть еще меньше вариант это комбинаторы и у них вообще 1 мета операция - аппликация)