Конланг, плановый, искусственный ? Терминология.

[Gleki Arxokuna]

Как всегда, в Википедии бардак.
Constructed language привязан к статье "Искусственный язык", однако, в последний входят языки программирования и формализованные языки науки.

Оба определения полезны: так, язык Уилкинса - и конланг, и формализованный язык науки.
Ложбан - и язык программирования, и конланг.

"плановому языку" вообще не соответствует никакая английская статья, однако, этот термин очень схож с термином "ауксланг".

Вот еще несколько попыток дать определение:
http://mw.lojban.org/index.php?title=constructed_language
http://mw.lojban.org/index.php?title=loglang

[Bhudh]

Ложбан - и язык программирования

[Ыняша]

Например:
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* Языки как концепции (языковые эксперименты)

Конланги за не именеем термина тоже называются искусственными. Плановые языки — эвфемизм. (Мы не искусственные! Мы совсем как настоящие!)

*) Могут пересекаться.

[Mercurio]

3. Языки пламени

[Bhudh]

4. Языки во рту
5. Языки в разведке...

[Тайльнемер]

6. В ботинках ещё...

Например

Хорошая классификация.

2.1.2 Неакадемические языки программирования

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

[Ыняша]

Есть ещё сложные случаи вроде APL, который создавался исключительно академической нотацией для записи вычислений, а вырос в промышленный язык; или разные Adga'ы, сочетающие эксперименты с теорией типов, вычислимостью и систему компьютерного доказательства, и язык программирования.

[Bhudh]

Adga

Ada?‥

[Ыняша]

Adga

Ada?‥

(wiki/ru) Agda
_{Agda — чистый функциональный язык программирования с зависимыми типами, то есть типами, которые могут быть индексированы значениями другого типа. Теоретической основой Agda служит интуиционистская теория типов Мартин-Лёфа, которая расширена набором конструкций, полезных для практического программирования.}

[Ыняша]

А ещё сейчас разрабатывают гомотопическую теорию типов и её реализацию на той же агде и coq, где типы будут непрерывно отображаться друг в друга. Но это уже выше моего понимания.

[Bhudh]

Блин, у нас бы не поняли язык под названием Курица и IDE для него под названием Петух...