Mercury (язык программирования)
Mercury — язык логического программирования, призванный решить следующие две проблемы, которые возникают при использовании классического языка логического программирования Prolog:
- проблема производительности. Современные реализации языков логического программирования по производительности уступают реализациям языков программирования императивного типа.
- проблема отладки. Реализации языков логического программирования осуществляют меньше проверок во время компиляции, чем реализации языков программирования императивного типа. Это вынуждает программиста находить ошибки самому и без какой-либо существенной помощи со стороны отладчика.
Компилятор языка Mercury написан на самом языке. До того как компилятор Mercury смог скомпилировать себя сам, был использован язык Prolog.
Ссылки
SQL | Это незавершённая статья о компьютерных языках. Вы можете помочь проекту, исправив и дополнив её. |
Основные языки программирования (список • сравнение • IDE • история • хронология) |
|
---|---|
Используемые в разработке |
Ада • АПЛ • Ассемблер • ActionScript • ABAP/4 • AutoIt • AWK • BASIC • C • Кобол • C++ • C# • ColdFusion • Common Lisp • D • dBase • Delphi • Eiffel • Erlang • F# • Forth • Фортран • Gambas • Groovy • Haskell • Icon • Java • JavaScript • Limbo • Lua • MATLAB • Object Pascal • Objective-C • OCaml • Oz • Оберон • Parser • Паскаль • Perl • PHP • PowerBASIC • PureBasic • Python • ПЛ/1 • Пролог • Ruby • Scala • Scheme • Smalltalk • SQL • PL/SQL • Tcl • Vala • Visual Basic • VB.NET |
Академические | |
IEC61131-3 |
Instruction List • ST • FBD • Ladder Diagram • SFC |
Прочие | |
Эзотерические |
ca:Mercury de:Mercury (Programmiersprache) en:Mercury (programming language) it:Mercury (linguaggio) pl:Merkury (język programowania) tg:Mercury
Если вам нравится SbUP.com Сайт, вы можете поддержать его - BTC: bc1qppjcl3c2cyjazy6lepmrv3fh6ke9mxs7zpfky0 , TRC20 и ещё....