Mercury (язык программирования)

Материал из Википедии — свободной энциклопедии

Mercury — язык логического программирования, призванный решить следующие две проблемы, которые возникают при использовании классического языка логического программирования Prolog:

1. проблема производительности. Современные реализации языков логического программирования по производительности уступают реализациям языков программирования императивного типа.
2. проблема отладки. Реализации языков логического программирования осуществляют меньше проверок во время компиляции, чем реализации языков программирования императивного типа. Это вынуждает программиста находить ошибки самому и без какой-либо существенной помощи со стороны отладчика.

Компилятор языка Mercury написан на самом языке. До того как компилятор Mercury смог скомпилировать себя сам, был использован язык Prolog.

[править] Ссылки

• Сайт создателей

п·о·р Основные языки программирования (список • сравнение • IDE)
Используемые в разработке	Ада • АПЛ • Ассемблер • ActionScript • ABAP/4 • AutoIt • AWK • BASIC • C • Кобол • C++ • C# • ColdFusion • D • dBase • Delphi • Erlang • Eiffel • Forth • Gambas • Фортран • Groovy • Haskell • Java • JavaScript • Icon • Limbo • Лисп • Lua • MATLAB • Object Pascal • Objective-C • Оберон • PowerBASIC • Parser • Паскаль • Perl • PHP • PureBasic • Python • ПЛ/1 • Пролог • Ruby • Tcl • Scheme • Smalltalk • SQL • Vala • Visual Basic • VB.NET
Академические	Clean • Curry • Лого • ML • Модула-3 • Scala • Рефал • Симула
IEC61131-3	Instruction List • ST • FBD • Ladder Diagram • SFC
Прочие	Алгол • Алгол 68 • Модула-2 • Miranda • Hope
Эзотерические	INTERCAL • Brainfuck • Befunge • Malbolge • Piet • Spoon • Unlambda • Whitespace • FALSE

Это незавершённая статья о компьютерных языках. Вы можете помочь проекту, исправив и дополнив её.