catap's blog ~ записки ёmacs'ера

Собрался и написал (не без помощи jsv, Guybrush, aleksey) то, что должен знать «настоящий программист». Все выше сказанное мой честный бред, который был вызван оным предложением от Луговского, если кого-то обидел, вы сами прочитали :) А что касается строгой градации, языки в скобках были приведены, что бы вы могли хотя бы сравнить что вы знаете уже, а что нет, все деления условны.

• Низкоуровневые императивные регистровые (включая почти все ассемблеры и Си с Паскалями)
• Низкоуровневые императивные стековые (ПМК, HP-45)
• Стековые макроязыки (семейство Форта)
• Dataflow (пролог)
• Конечные автоматы (всякие там flex-ы с bison-ами сюда же попадают)
• Подстановочные (Tcl, Javascript, Awk, perl, python, lua, …)
• Обработка списков (все родственники лиспа)
• Макроязыки (могут относиться к любой другой семантике из перечисленны)
• Комбинаторные (unlambda)
• Функциональные строгие не типизированные (R, Mathematica, Erlang, …)
• Функциональные строгие типизированные (ML)
• Функциональные ленивые не типизированные
• Функциональные ленивые типизированные (Haskell, Clean)
• Языки логики предикатов первого порядка (Пролог, Дейталог, Make, …)
• Языки логик высших порядков (HOL)
• Языки нечёткой логики, байессовские языки (FCL)
• Не типизированные декларативные языки обработки графов (XSLT)
• Типизированные декларативные графовые языки (CDuce)
• Языки описания структур данных (часть SQL, DTD, XML Schema, …)
• Языки запросов (часть SQL, XQuery, XPath)
• Чистый ООП языки (smalltalk, self)
• Параллельный язык программирования (occam + что угодно выше)
• goal-directed (snobol, icon, unicon)
• языки массивов (apl, j, q)
• Всякая эзотерика (brainfuck, malbolge и прочее прочее, чем сильнее удивление от внешнего вида программы (кода) тем лучше)