(no subject)

[golosptic]

А вот кто меня может просветить. Внятно. По возможности - ссылками на РУССКОЕ объяснение современных концепций,
принятых во функциональных языках программирования. А то я в своём развитии далее ЛИСПа и переводной книжки по ПЛЭННЕРУ не пошёл - а тут проект намечается, где, судя по всему в качестве инструмента будет уместен именно функциональный язычек какой-то.

Comments

Re: Сомневаюсь, что есть перетолкования.

[krf.livejournal.com]

Я когда-то интересовался Прологом (не профессионально). Наколько я помню, он не причислялся к функциональным языкам, т.к. основывается не на лямбда-функциях, а на исчислении предикатов. По-моему он назывался просто логическим (и у Братко, и у Шапиро)

Re: Сомневаюсь, что есть перетолкования.

[volodymir-k.livejournal.com]

Пролог -- конечно! Предикаты, никаких лямбд!
В функциональных никакого сопоставления. Вообще, с точки зрения Вечного Пролога -- функциональные языки есть грязная проститутство.

Но. Идея набора (массива) как списка-структуры (ДВУХЧЛЕННОЙ) -- от Лиспа идёт. Забавно!

Re: Сомневаюсь, что есть перетолкования.

[potan.livejournal.com]

Есть функциональный язык Рефал, который так же не основан на лямбда-исчислении.
Функциональное программирование основанно на понятии функции - единственный результат которой содерится в возвращаемом значении, которое определено однозначно.
Пролог (и некоторые другие языки - Mercurry, Curry) основан на более общем понятии - отношения.
И функциональное, и реляционное программирование иногда называют декларативным, подчеркивая его отличие от императивного.