Главное меню
Мы солидарны с Украиной. Узнайте здесь, как можно поддержать Украину.

Ответ

Обратите внимание: данное сообщение не будет отображаться, пока модератор не одобрит его.
Ограничения: максимум вложений в сообщении — 3 (3 осталось), максимальный размер всех файлов — 300 КБ, максимальный размер одного файла — 100 КБ
Снимите пометку с вложений, которые необходимо удалить
Перетащите файлы сюда или используйте кнопку для добавления файлов
(Удалить вложения)
Вложения и другие параметры
Проверка:
Оставьте это поле пустым:
Наберите символы, которые изображены на картинке
Прослушать / Запросить другое изображение

Наберите символы, которые изображены на картинке:

√36:
ALT+S — отправить
ALT+P — предварительный просмотр

Сообщения в этой теме

Автор Bhudh
 - августа 19, 2014, 12:08
Блин, у нас бы не поняли язык под названием Курица и IDE для него под названием Петух...
Автор Ыняша
 - августа 19, 2014, 07:33
Offtop

А ещё сейчас разрабатывают гомотопическую теорию типов и её реализацию на той же агде и coq, где типы будут непрерывно отображаться друг в друга. Но это уже выше моего понимания.
Автор Ыняша
 - августа 19, 2014, 06:50
Цитата: Bhudh от августа 18, 2014, 22:27
Цитата: Ыняша от августа 18, 2014, 17:06Adga
:what: Ada?‥
(wiki/ru) Agda
Agda — чистый функциональный язык программирования с зависимыми типами, то есть типами, которые могут быть индексированы значениями другого типа. Теоретической основой Agda служит интуиционистская теория типов Мартин-Лёфа, которая расширена набором конструкций, полезных для практического программирования.
Автор Ыняша
 - августа 18, 2014, 17:06
Есть ещё сложные случаи вроде APL, который создавался исключительно академической нотацией для записи вычислений, а вырос в промышленный язык; или разные Adga'ы, сочетающие эксперименты с теорией типов, вычислимостью и систему компьютерного доказательства, и язык программирования.
Автор Тайльнемер
 - августа 18, 2014, 16:11
Offtop
6. В ботинках ещё...

Цитата: Ыняша от августа 18, 2014, 15:12
Например
Хорошая классификация.

Цитата: Ыняша от августа 18, 2014, 15:12
2.1.2 Неакадемические языки программирования
Тут лучше выделить пункт «компьютерные языки», а «языки программирования» — подпунктом в нём. Ведь есть же ещё языки разметки, языки описания данных и т. п.
Автор Bhudh
 - августа 18, 2014, 15:59
Offtop
4. Языки во рту
5. Языки в разведке...
Автор Mercurio
 - августа 18, 2014, 15:17
Offtop
3. Языки пламени
Автор Ыняша
 - августа 18, 2014, 15:12
Например:
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* Языки как концепции (языковые эксперименты)

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

*) Могут пересекаться.
Автор Bhudh
 - августа 18, 2014, 14:15
Цитата: Gleki Arxokuna от августа 18, 2014, 11:41Ложбан - и язык программирования
:o