Компьютерный форум
Правила
Вернуться   Компьютерный форум > Форум программистов > Офтопик
Перезагрузить страницу Функционально-логические языки (или логико-функциональные :)
Ответ
 
Опции темы Опции просмотра
  (#1 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию Функционально-логические языки (или логико-функциональные :) - 01.12.2010, 00:57

Проснулся интерес к доселе обходимой стороной парадигме программирования как логическая. Но хотелось бы ознакомиться с ней без отрыва от, а точнее опираясь на "доброе, вечное" ФП, поэтому интересует мнение глубокоуважаемой публики, ее части знакомой с к.л языком реализующим ФЛП, относительно возможностей и перспектив языка, плюс краткий катехизис (сравнение языков приветствуется . На данный момент есть опыт в ковырянии Mercury, Curry и интерес к λProlog. но чувствую, что "годный язык" проходит стороной.

upd: извиняюсь за сумбурное изложение.


Don't fear the Monad
Ответить с цитированием
  (#2 (permalink)) Старый
aag aag вне форума
ушёл... не вернётся)))
 
Сообщений: 3,400
Сказал(а) спасибо: 0
Поблагодарили 82 раз(а) в 82 сообщениях
Регистрация: 29.11.2008
По умолчанию 01.12.2010, 02:17

Цитата:
Сообщение от calabi-yau Посмотреть сообщение
Проснулся интерес к доселе обходимой стороной парадигме программирования как логическая.
О!!! Сильно!!!
А можно поподробнее:
Почему доселе обходили парадигму?!
Почему вдруг интерес проснулся?!

P.S. Подвиньте там кто-нибудь тему в МЫСЛИ ВСЛУХ, пожалуйста...
Ответить с цитированием
  (#3 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 01.12.2010, 12:32

Цитата:
Сообщение от aag Посмотреть сообщение
О!!! Сильно!!!
А можно поподробнее:
Почему доселе обходили парадигму?!
был занят функциональной же.
Цитата:
Почему вдруг интерес проснулся?!
а вот так, внезапно, и проснулся. не все же лямбдой единой. так чтож посоветуете, товарищ!


Don't fear the Monad
Ответить с цитированием
  (#4 (permalink)) Старый
Винитарх Винитарх вне форума
Специалист
 
Аватар для Винитарх
 
Сообщений: 7,955
Сказал(а) спасибо: 2
Поблагодарили 302 раз(а) в 302 сообщениях
Регистрация: 01.03.2003
Адрес: Краснодар
По умолчанию 01.12.2010, 18:28

Из функциональных не знаю ни одного языка, который бы поддерживал логическую парадигму, т.е. логику предикатов. Конечно можно логику предикатов интерпретировать в функциональном языке, но это будет уже не чисто ФЛ-язык.
А вот в некоторых логических языках можно писать функциями и есть лямбды и прочее.

Меркурий отношу к логическим языкам.
Ответить с цитированием
  (#5 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 01.12.2010, 19:27

Цитата:
Меркурий отношу к логическим языкам.
с мощным функциональным окружением. собственно и интересуют подобые языки.

Цитата:
Сообщение от Винитарх Посмотреть сообщение
А вот в некоторых логических языках можно писать функциями и есть лямбды и прочее.


Don't fear the Monad
Ответить с цитированием
Ads.
  (#6 (permalink)) Старый
Alison Alison вне форума
Member
 
Сообщений: 4,781
Сказал(а) спасибо: 0
Поблагодарили 119 раз(а) в 116 сообщениях
Регистрация: 17.11.2004
По умолчанию 02.12.2010, 22:57

Visual Prolog - очень интересный язык. В последних версиях есть и анонимные предикаты, и вообще много всего.
Ответить с цитированием
  (#7 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 04.12.2010, 04:06

Цитата:
Сообщение от Alison Посмотреть сообщение
Visual Prolog - очень интересный язык. В последних версиях есть и анонимные предикаты, и вообще много всего.
обязательно посмотрим.


Don't fear the Monad
Ответить с цитированием
Ads
Ответ

Опции темы
Опции просмотра

Ваши права в разделе
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.
Trackbacks are Вкл.
Pingbacks are Вкл.
Refbacks are Выкл.


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Wordpress и языки. veter48 PHP 0 02.04.2012 12:45
Функциональные константы (буквы) Mnior Prolog 13 28.03.2011 21:45
Где используятся языки програмирования Юлянь Вопросы начинающих программистов 6 01.02.2011 11:17
Старые языки программирования Matematic Офтопик 25 12.05.2010 12:04
Как функционально работает WinRar Serega_Mexanik C++ Builder 35 10.12.2008 18:21
Языки vs. Знания Arachnelis Офтопик 11 09.10.2007 11:51
языки программирования Матрикс Pascal 15 18.06.2007 11:46
функциональные кнопки (fn) на HP dv6282 Makc_a Ноутбуки 1 29.05.2007 12:57
Что такое функциональные классы и где они применяются typic Visual C++ 3 05.12.2006 23:40
Нормализованные языки программирования Alexiski Офтопик 1 09.06.2006 08:24
Как менять языки в программе Андрейка C. Visual C++ 6 14.04.2006 12:26
Java и Прологоподобные языки Erilar Java 1 09.11.2005 09:35



Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2018, Jelsoft Enterprises Ltd.
Нardforum.ru - компьютерный форум и программирование, форум программистов