?

Log in

No account? Create an account
Userpic

ru_declarative's Journal

Social capital

  • less than 10

Rating position

Name:
ru_declarative
Membership:
Moderated
Posting Access:
All Members , Moderated
Description:
декларативное, функциональное и логическое программирование.
Это комьюнити посвящено вопросам декларативного (функционального и логического) программирования и всего что с ним связано.

Вопросы, связанные с декларативным программированием лишь коственно также могут здесь обсуждаться, но лучше выбрать для них более подходящее комьюнити, такие как "Теоретическая информатика" ru_cs, "Исскуственный интеллект" ru_ai, "Алгоритмы" ru_algorithms. Вопросы обработки информации также обсуждаются в ru_infoscience.

Крайне не рекомендуется создание постов с отключёнными комментариями и предложением обсудить
это в другом жж (форуме и т.д.) и постов состоящих только из прямой ссылки без
раскрытия сути данной ссылки.

О том, что из себя представляет ДП стоит почитать в замечательной серии статей Игоря Дехтяренко.


Языки, которые принято считать декларативными:
Функциональные:

Haskell - наиболее яркий представитель семейства, очень популярен в computer science. Описание на русском языке можно найти здесь. Лекции _darkus_ можно найти на его страничке.

Lispоподобные языки, включая Scheme (надеюсь в представлении не нуждаются).

Варианты ML(Meta Language):
Standard ML SML/New Jersey Moscow ML
OCaml - мне кажется на данный момент самый практичный язык. На ocaml.spb.ru hedgehog69 ведет работы по переводу документации на русский. Содержательный рускоязычный форум по этому языку можно найти на www.caml.ru (поддерживается caml_programmer).
Alice - интересный язык с sml-синтаксисом, поддержкой ленивости, параллельных процессов и программирования в ограничениях.

Clean - ленивый язык с очень эффективной реализацией.

Erlang - популярен при разработке событийно-управляемых систем.

Рефал - необычной чертой этого языка является используемая структура данных - двунаправленная строка. Для этого языка есть суперкомпилятор.

Варианты APL: A+ K J ... (еще немного о J)

Логические:

Prolog - в представлении не нуждается.

Mercury - эффективно реализованны, но не предоставляет всех возможностей логического программирования (из соображений эффективности).

Mozart/Oz Так же может быть интересна статья А Орехова "Логическое программирование в Mozart".

Curry - на мой взгляд один из самых красивых языков, но реализации оставляют желать лучшего.

Коктель:
Poplog Согласованные реализации нескольких языков, включая Prolog, ML и Common Lisp.

Social capital

  • less than 10

Rating position

Statistics