Как всегда, в Википедии бардак.
Constructed language привязан к статье "Искусственный язык", однако, в последний входят языки программирования и формализованные языки науки.
Оба определения полезны: так, язык Уилкинса - и конланг, и формализованный язык науки.
Ложбан - и язык программирования, и конланг.
"плановому языку" вообще не соответствует никакая английская статья, однако, этот термин очень схож с термином "ауксланг".
Вот еще несколько попыток дать определение:
http://mw.lojban.org/index.php?title=constructed_language
http://mw.lojban.org/index.php?title=loglang
Например:
1. Естественные языки
2. Искусственные языки
2.1 Специализированные языки
2.1.1 Языки наук
2.1.1.1 Язык математики
2.1.1.2 Язык логики
2.1.1.3 ... ...
2.1.1.3 Академические языки программирования
2.1.2 Неакадемические языки программирования
2.1.2.1 Промышленные языки программирования
2.1.2.2* Эзотерические языки программирования
2.2 Конланги
2.2.1 Языки для общения
2.2.1.1 Международные языки
2.2.1.2 Ауксланги (не претендующие на международность)
2.2.1.2.1 Языки жестов
2.2.1.2.2 ... ...
2.2.2* Языки как искусство (артланги)
2.2.3* Языки как концепции (языковые эксперименты)
Конланги за не именеем термина тоже называются искусственными. Плановые языки — эвфемизм. (Мы не искусственные! Мы совсем как настоящие!)
*) Могут пересекаться.
4. Языки во рту
5. Языки в разведке...
6. В ботинках ещё...
Цитата: Ыняша от августа 18, 2014, 15:12
Например
Хорошая классификация.
Цитата: Ыняша от августа 18, 2014, 15:12
2.1.2 Неакадемические языки программирования
Тут лучше выделить пункт «компьютерные языки», а «языки программирования» — подпунктом в нём. Ведь есть же ещё языки разметки, языки описания данных и т. п.
Есть ещё сложные случаи вроде APL, который создавался исключительно академической нотацией для записи вычислений, а вырос в промышленный язык; или разные Adga'ы, сочетающие эксперименты с теорией типов, вычислимостью и систему компьютерного доказательства, и язык программирования.
Цитата: Bhudh от августа 18, 2014, 22:27
Цитата: Ыняша от августа 18, 2014, 17:06Adga
:what: Ada?‥
(wiki/ru) Agda (http://ru.wikipedia.org/wiki/Agda)
Agda — чистый функциональный язык программирования с зависимыми типами, то есть типами, которые могут быть индексированы значениями другого типа. Теоретической основой Agda служит интуиционистская теория типов Мартин-Лёфа, которая расширена набором конструкций, полезных для практического программирования.
А ещё сейчас разрабатывают гомотопическую теорию типов и её реализацию на той же агде и coq, где типы будут непрерывно отображаться друг в друга. Но это уже выше моего понимания.
Блин, у нас бы не поняли язык под названием Курица и IDE для него под названием Петух...