> Linux ставят на бортовой компьютер Мерседеса S-класса и вообще вместо водителя.
Windows тоже ставят на бортовые компьютеры! Например, под управлением Windows CE работает (-ал?) iDrive в BMW 7-ой серии. Правда, однажды многомудрая операционка заперла тайландского министра финансов в его машине, с заблокированными замками дверей, стеклоподъёмниками, выключенным двигателем и отключенным кондиционером... А в Тайланде весьма тепло, кстати. Стекло пришлось вышибать кувалдой.
> Однако как называть людей, которые пытаются узаконить ошибке в базе — в описании, в начале Идей?
Саботажники.
Грамотно написанный текст, с правильно расставленными знаками препинания, хорошо свёрстанный, с к месту указанным ударением, с правильным употреблением буквы "ё" - это не прихоть и не фобия, а способ повышения "читабельности" текста, эффективности его восприятия. Поэтому любая попытка уменьшить грамотность и ослабить контроль за правильностью написания текста - это ухудшение и усложнение эффективности его распознавания.
Где-то на половине вашего текста у меня сработал "встроенный фильтр неграмотности и невежества" и прервал его дальнейшее внимательное прочитывание. Выборочно перечитав отдельные его фрагменты, прокомментирую только один пассаж:
> Мне кажется, что хабралюди не тупее посетителей udaff.com (а они то ой с какими искажениями пишут)и способны понять смысл искажённого текста "без напряга".
Могут. Но не будут. Они просто переключатся на текст, автор которого больше уважает своих читателей.
Под set-ом я имел в виду паскалевый set: "var set1: set of 1..10;", напрямую связанный с enum-ом. Да, кстати, вроде как в Паскале enum с set-ом есть, но аргументами цикла их использовать нельзя (что лишает их основного преимущества). Жаль. Спутал с каким-то другим паскалеподобным языком.
> А значение enum-ов вами слишком преувеличено. Это не более, чем числовые константы.
Ага. Только при этом типозащищённые. В правильный enum (sunday, monday, tuesday) впихнуть значение "3" нельзя, хоть оно туда и влезет. Правильный enum (sunday, monday, tuesday) нельзя передать туда, где аргументом должен быть enum (male, female, not_decided), и тем более туда, где аргументом должен быть байт. Вот это и есть нормальная типизация. А не так, как с Си, благодаря которому в Линуксе, например, у функции ioctl аргумент command имеет тип int.
В необходимости приводить типы даже для совместимых, но по-разному произошедших типов. В наличии set-ов и enum-ов, защищённых от неправильных значений (и не мешающихся с integer-ами), и способных быть использованными в циклах.
Впрочем, он тоже не идеал для низкого уровня - в нём зачем-то в примитивы выделены integer и boolean, которые великолепно - гораздо лучше - моделируются на базе set-а.
Даже для уровня системных вещей, на должность "штатного макроассемблера", С/С++ недостаточно подходят (не говоря уж про высокий уровень). В них откровенно не хватает более строгой типизации.
> А зачем раздувать язык
Чтобы сдвинуть баланс в сторону компактности и элегантности записи алгоритмов. Точно так же, как реюзаемый во многих местах программы код мы выносим в библиотеку, имеет смысл реюзаемые во многих программах-библиотеках-задачах концепции выносить в язык. Когда-то в язык выносили string-и - а теперь выносят closure-ы, iterator-ы и decorator-ы, уровень подрос.
Из этого, кстати, замечаем, что языки всегда будут "дышать", изменяться, "лучшего языка" никогда не будет (ну, по понятным причинам - кроме Lisp-а %) ) - ибо будут меняться актуальные задачи.
Эти - да. Пока кросс-компиляторы нормальные не сделают.
А вот нортонкомандир целый или игру какую на ассемблере уже никто не напишет. Всерьёз, ага.
> Кстати линух портируют если что то же переписывая часть его ядра на асме под конкретную архетиктуру(ну и перекомпилируя остальную часть)
Очень маленькую, и из года в год - всё меньшую. А когда-то оси на ассемблере писали целиком...
Можно, кстати, и встроить. Только не в компилятор, а в язык.
А ещё лучше - сделать язык таким, чтобы в него каждый мог встроить тот же Лекс с Яком, если приспичит. Вот это - задачка для ЯВУ, не так многими ЯВУ и решенная. Lisp way.
Второй вариант - сделать так, чтобы язык мог использоваться для этих задач и без лекса с яком, достаточным набором встроенных примитивов. Бонусом получаем возможность использовать эти примитивы не только в задачах написания DSL, но и в любых других. Haskell way.
А Unix-way... для языка, позиционирующегося как "универсальный", откровенно слаб. Универсальный же язык, нет? - так почему не самим им пользуемся, а внешними средствами его код генерируем?
Вооо, еле вспомнили пару областей (хотя сейчас уже даже в часах наручных, похоже, ARM с портированным на него Линуксом). А ведь раньше на асме софт писали. Всерьёз софт писали, с начала и до конца. Жизнь изменилась :)
Windows тоже ставят на бортовые компьютеры! Например, под управлением Windows CE работает (-ал?) iDrive в BMW 7-ой серии. Правда, однажды многомудрая операционка заперла тайландского министра финансов в его машине, с заблокированными замками дверей, стеклоподъёмниками, выключенным двигателем и отключенным кондиционером... А в Тайланде весьма тепло, кстати. Стекло пришлось вышибать кувалдой.
"Я иму про веьчный двиготель пешу, аон гаворит штобы я уроки учыть шол."
Встречают по правописанию, провожают по уму.
Саботажники.
Грамотно написанный текст, с правильно расставленными знаками препинания, хорошо свёрстанный, с к месту указанным ударением, с правильным употреблением буквы "ё" - это не прихоть и не фобия, а способ повышения "читабельности" текста, эффективности его восприятия. Поэтому любая попытка уменьшить грамотность и ослабить контроль за правильностью написания текста - это ухудшение и усложнение эффективности его распознавания.
> Мне кажется, что хабралюди не тупее посетителей udaff.com (а они то ой с какими искажениями пишут)и способны понять смысл искажённого текста "без напряга".
Могут. Но не будут. Они просто переключатся на текст, автор которого больше уважает своих читателей.
> А значение enum-ов вами слишком преувеличено. Это не более, чем числовые константы.
Ага. Только при этом типозащищённые. В правильный enum (sunday, monday, tuesday) впихнуть значение "3" нельзя, хоть оно туда и влезет. Правильный enum (sunday, monday, tuesday) нельзя передать туда, где аргументом должен быть enum (male, female, not_decided), и тем более туда, где аргументом должен быть байт. Вот это и есть нормальная типизация. А не так, как с Си, благодаря которому в Линуксе, например, у функции ioctl аргумент command имеет тип int.
Впрочем, он тоже не идеал для низкого уровня - в нём зачем-то в примитивы выделены integer и boolean, которые великолепно - гораздо лучше - моделируются на базе set-а.
Чтобы сдвинуть баланс в сторону компактности и элегантности записи алгоритмов. Точно так же, как реюзаемый во многих местах программы код мы выносим в библиотеку, имеет смысл реюзаемые во многих программах-библиотеках-задачах концепции выносить в язык. Когда-то в язык выносили string-и - а теперь выносят closure-ы, iterator-ы и decorator-ы, уровень подрос.
Из этого, кстати, замечаем, что языки всегда будут "дышать", изменяться, "лучшего языка" никогда не будет (ну, по понятным причинам - кроме Lisp-а %) ) - ибо будут меняться актуальные задачи.
А вот нортонкомандир целый или игру какую на ассемблере уже никто не напишет. Всерьёз, ага.
> Кстати линух портируют если что то же переписывая часть его ядра на асме под конкретную архетиктуру(ну и перекомпилируя остальную часть)
Очень маленькую, и из года в год - всё меньшую. А когда-то оси на ассемблере писали целиком...
А ещё лучше - сделать язык таким, чтобы в него каждый мог встроить тот же Лекс с Яком, если приспичит. Вот это - задачка для ЯВУ, не так многими ЯВУ и решенная. Lisp way.
Второй вариант - сделать так, чтобы язык мог использоваться для этих задач и без лекса с яком, достаточным набором встроенных примитивов. Бонусом получаем возможность использовать эти примитивы не только в задачах написания DSL, но и в любых других. Haskell way.
А Unix-way... для языка, позиционирующегося как "универсальный", откровенно слаб. Универсальный же язык, нет? - так почему не самим им пользуемся, а внешними средствами его код генерируем?