Почему мы все еще программируем на древних языках?

На каком-то другом форуме я читал, что Microsoft не обновляет свою ОС. Пишут, что новая ОС - это Windows 11, Windows 12 и т. д., а Windows 10 устарела, и все эти "крупные" обновления - это болтовня. А ей еще и десяти лет нет! И в то же самое время в языках программирования картина кардинально другая: активно программируют на Жабе, которой 30 лет, на плюсах, которым 40 лет, на Си, которому 50 лет! И не выйдет же какой-нибудь C++II с кортежно-ориентированным программированием, с интегрированными управляемыми ссылками (а не со сплошными припонами, как C++/CLI), с конструкциями вида x is string s + "o" + s! Это я фантазирую, но с чем-то действительно НОВЫМ, что влияло бы на программирование СУЩЕСТВЕННО, а не как эти бесконечные C++11/14/17/20/... . Но нет, так и остается высокоуровневым ассемблером. Самый новый на сегодняшний день язык - это Шарп, которому чуть больше 20 лет (говно в стиле Dart и Go не в счет). Ну, а когда-то каждые 10 лет выходили не то что передовые языки, а новые парадигмы! И это не "трава была зеленее", а известный факт. Могу даже предоставить названия этих парадигм. Ну неужели всем настолько тупо лень сделать мир хоть на 0.000001% лучше, улучшить хоть одну его область, сделать хоть что-то НОВОЕ, а не по кругу Шарп-Жаба-Пайсен-плюсы-ПрочееГовно? Неужели я один во всем мире стремлюсь к прекрасному и сею разумное, доброе, (ну, слово "вечное" тут неприменимо)? Или, может, у меня извращенные представления об этом "прекрасном"? И у меня нет приступа острого NIH, я с радостью буду пользоваться НОВЫМ языком, если его разработает кто-то другой. Даже если он будет слегка отличаться от придуманного мной C# .NStar, например, слово Function будет писаться с маленькой буквы или вместо [TKey, TValue] будет <TKey, TValue>. Но нет, всем плевать. Вот я и спрашиваю - это всемирный заговор против программистов или это я один хочу не знать чего? А мне кажется, что ничего сверхъестественного я не прошу. Прошу ответить.

0

Сообщение от Катафалк перспективные направления вроде высоконагруженных научных вычислений.

В чём перспективность? И чем оно перспективнее, чем не научные вычисления?

0

Сообщение от Usaga В чём перспективность? И чем оно перспективнее, чем не научные вычисления?

Так я уже неоднократно писал, в чем. Хотя бы в том, что востребованность высококвалифицированных кадров (и их зарплаты разумеется) в этих областях будут в будущем только расти, а в днищенских областях вроде вебокодинга - падать.

0

Катафалк, а почему сейчас наоборот?

0

Сообщение от Usaga а почему сейчас наоборот?

Кто вам сказал, что сейчас наоборот? Зарплаты и перспективы и сейчас на стороне высококвалифицированных специалистов в передовых наукоемких и высокотехнологических областях. Единственное что отличается - засилие вебокнопкодавов в отрасли, вот их доля будет уменьшаться.

0

Сообщение от Катафалк Зарплаты и перспективы и сейчас на стороне высококвалифицированных специалистов в передовых наукоемких и высокотехнологических областях.

А такие области по определению веб-морду иметь не могут, да?

0

Etyuhibosecyu, по модернизации переменных и их типов ваши взгляды кривенькие, вы пытаетесь сделать язык со строгой типизацией но без типизации. Здесь суть в том, что отдать на откуп программисту, а что передать в управление "автоматики".
7. Следующие циклы
8. В объявлении функции в явном виде присутствует слово Function.
9. Циклические побитовые сдвиги.
всё это синтаксический сахар и ваши личные взгляды, я вот хочу чтобы в объявлении функции было слово proceDure

вот что вы все так вызверились на goto? очень удобный оператор в умелых руках

в сущности, вы описали ваши личные хотелки-нехотелки ни как не влияющие на функциональность яп.. не чтобы предложить полностью настраиваемый яп или возможности добавлять-изменять операторы, ключевые слова (те их работу а на название)

0

Сообщение от Usaga А такие области по определению веб-морду иметь не могут, да?

Почему не могут? Еще как могут. И на создание этой морды как раз и наймут низкоквалифицированного вебокодера за дошик (ну пока еще не за дошик, но все к этому идет), пока специалисты занимаются всем остальным. Естественно, уже сейчас ЗП этого вебера ни в какое сравнение не пойдет с ЗП спецов, занимающихся собственно разработкой функционального ядра системы.

0

Сообщение от Shamil1 Etyuhibosecyu,

Спасибо за реакцию. Интересный комментарий.

Сообщение от Shamil1 Часть Ваших требований неразумны. Например, "уберите массивы, я ими не пользуюсь". Если не нравится, не используйте. В чем проблема?

Дейкстре не нравился goto? Пусть бы и не использовал. Но он почему-то издал целую книгу о его вреде, которая стала авторитетной, и goto стал не нравиться уже массово. И я очень надеюсь, что так же будет и с массивами. Оператор goto превращает код в лапшу, а массивы - в гранат.
К слову, я так и не понял, что по сути означает выражение "goto превращает код в лапшу". Вероятно, имеется в виду спагетти-код? Если да, то в Википедии о нем написано вот что:

Спагетти-код — плохо спроектированная... программа, особенно содержащая много операторов GOTO (особенно переходов назад)...

Получается рекурсия - определение ссылается само на себя. Может кто-то объяснить, что делает goto, другими словами, кроме как "превращает код в лапшу"? Наверное, серьезно затрудняет чтение кода? А возможно, и еще что-то?

Сообщение от Shamil1 Более того, лучше узкоспециализированные библиотеки пишут те, кто на этом специализируется. У них получится лучше, чем у Майкрософт.

Тут добавить нечего - например, если писать RSA на BigInteger от Microsoft, надежный ключ (15360 бит) генерируется 4 часа, а если на Mpir (ответвление GMP, специализированная библиотека для вычислений) - 8 минут.

Сообщение от Shamil1 Остальные Ваши требования вызваны Вашим незнанием: ... 2. Устройства компьютера и компилятора

Какое, например, из требований противоречит устройству компьютера и компилятора? И почему?

Сообщение от Алексей1153 по списку желалок из поста №7

Спасибо за такие подробности, прямо исчерпывающий ответ!

Сообщение от Алексей1153 3 - #include <cstdint>

Копировал со старой цитаты, там кое-что не дописано. Еще в C# .NStar должны быть числовые типы long long и unsigned long long, и это не те, что в C++. (Это я не только что придумал, просто в первой теме еще не появилось, а так местами можно встретить.) Это целые числа - со знаком и без знака - неограниченной длины, такой, как позволяет ОЗУ. Они в C++ есть? В C# есть BigInteger, но только со знаком.

Сообщение от Алексей1153 11 - а тип контейнера как компилятор угадает? Мне, к примеру list не нужен, мне вектор подавай

Ну как бы, подразумевается, что в C# .NStar нет никакого "вектора".

Сообщение от Алексей1153 12 - сырые строки

Первый раз увидел. Спасибо! Это даже круче, чем строки с @ в C#!

Сообщение от Алексей1153 Можно обойтись функцией или лямбдой

Я что-то не слышал про лямбды в C++. Можете дать ссылку на новость об их появлении?

Сообщение от Алексей1153 Выйти из супервложенного цикла - обернуть самый верхний цикл в [&]...

Можете расшифровать, что скрывается под [&]?

Сообщение от Алексей1153 А вики говорит, что этот метод используется редко из-за недостатков

Это несерьезные недостатки. По поводу размера ключа - оба ключа мощностью 16/2003 занимают меньше гигабайта. Для аутентификации используется криптосистема Нидеррайтера, которая очень похожа.

Сообщение от Алексей1153 19 - с нуля они должны начинаться. Это правильно

Это стереотип.

Сообщение от Алексей1153 20 - шаблоны, классы, лямбды, алиасы типов

Это все и близко не сравнимо с LALR(1).

Сообщение от user-ganz не чтобы предложить полностью настраиваемый яп или возможности добавлять-изменять операторы, ключевые слова (те их работу а на название)

А в C# .NStar это есть, с помощью LALR(1) можно добавить какие угодно операторы и ключевые слова.

0

Сообщение от Etyuhibosecyu Они в C++ есть? В C# есть BigInteger,

нет, встроенных длинных чисел в C++ нет, это вопрос к подключаемым библиотекам. Либо вручную велосипедить

Сообщение от Etyuhibosecyu Я что-то не слышал про лямбды в C++. Можете дать ссылку на новость об их появлении?

где-то 10 лет назад

Сообщение от Etyuhibosecyu что скрывается под [&]?

лямбда и скрывается, с захватом всех локальных переменных по ссылке

Сообщение от Etyuhibosecyu Это стереотип.

стереотипы - у человеков. Это человек с 1 считает. А машина - с нуля. И не нужно туда дополнительную конвертацию наслаивать, усложняя адресную арифметику. Первый элемент, первый бит - индекс 0

0

Сообщение от Etyuhibosecyu Дейкстре не нравился goto? Пусть бы и не использовал. Но он почему-то издал целую книгу о его вреде, которая стала авторитетной, и goto стал не нравиться уже массово.

Дейкстра предложил новую парадигму программирования, которая позволила писать более сложные (объёмные) проекты. Разница между отрицанием старого и предложением нового - огромна.

Сообщение от Etyuhibosecyu И я очень надеюсь, что так же будет и с массивами.

Тут всё очень просто. Предположим, Вы устраиваетесь на работу программистом. Если техлид против использования массивов, то и Вам не придётся их использовать. Если же техлид везде и всюду использует массивы, то и Вам придётся. И это правильно - ведь, он техлид, а значит его квалификация выше Вашей и ему виднее. А когда Вы сами станете техлидом, то сами будете решать, использовать или не использовать массивы в своих проектах.
В C# общая тенденция такова, что массивы используются редко. Обычно вместо них используется List<T>, который, по сути, является массивом "переменного размера". (Возможно, в других областях это не так).

Сообщение от Etyuhibosecyu Какое, например, из требований противоречит устройству компьютера и компилятора?

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

Сообщение от Etyuhibosecyu можно добавить какие угодно операторы и ключевые слова

Операторы можно добавлять во всех функциональных языках. В большинстве функциональных языков есть специальные средства для метапрограммирования.
Если же Вас интересует метапрограммирование, то смотрите языки типа Lisp, Haskell, Nemerle, Forth, F# (начните с Nemerle).

Добавлено через 4 минуты

Сообщение от Etyuhibosecyu Они в C++ есть? В C# есть BigInteger, но только со знаком.

В С++ можно использовать GMP. Основное преимущество GMP в том, что нельзя написать "a = b + c". Многие операции производятся "по месту", без выделения дополнительной памяти, и за счёт этого библиотека работает гораздо быстрее, чем BigInteger. В C#, кстати, я тоже предпочитаю использовать GMP (через импорт функций).

Добавлено через 1 минуту
з.ы. Всё, что Вам хочется (включая длинные числа из коробки), есть в Lisp. Ну, или можно реализовать в Lisp, используя метапрограммирование.

0

Сообщение от Shamil1 Дейкстра предложил новую парадигму программирования, которая позволила писать более сложные (объёмные) проекты. Разница между отрицанием старого и предложением нового - огромна.

Так и я предлагаю новую парадигму - "кортежно-ориентированное программирование".

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

Возможно, я немного не так выразился. Я как раз и имел в виду создание нового списка с ТАКИМ ЖЕ (заранее неизвестным) внешним типом, но с другим внутренним.

Сообщение от Shamil1 Всё, что Вам хочется (включая длинные числа из коробки), есть в Lisp. Ну, или можно реализовать в Lisp, используя метапрограммирование.

Вам этот Lisp нравится?

0

Сообщение от Etyuhibosecyu Так и я предлагаю новую парадигму - "кортежно-ориентированное программирование".

Как думаете, Дейкстра тоже новую предлагал парадигму, потому что не смог на существующих ни одну рабочую программу написать?

0

Сообщение от Etyuhibosecyu создание нового списка с ТАКИМ ЖЕ (заранее неизвестным) внешним типом

Как компилятор будет выделять память под список неизвестного типа? Как компилятор закодирует операции с элементами списка, если их тип неизвестен?

Сообщение от Etyuhibosecyu Вам этот Lisp нравится?

Конечно.

Сообщение от Etyuhibosecyu Так и я предлагаю новую парадигму - "кортежно-ориентированное программирование".

В чем ее суть?

0

Сообщение от Shamil1 Как компилятор будет выделять память под список неизвестного типа? Как компилятор закодирует операции с элементами списка, если их тип неизвестен?

Он неизвестен ВНУТРИ метода. Когда метод вызывается, то тип передается в вызов вместе со списком.

Сообщение от Shamil1 В чем ее суть?

В том, что программа должна использовать всего три категории коллекций (аналогично трем категориям операторов) - список (в том числе связной и т. д. - эти разновидности поддерживают практически те же операции), кортеж и словарь. Множество - это словарь, в котором значения имеют тип null. А массивам в этой парадигме не место.

0

Сообщение от Etyuhibosecyu В том, что программа должна использовать всего три категории коллекций (аналогично трем категориям операторов) - список (в том числе связной и т. д. - эти разновидности поддерживают практически те же операции), кортеж и словарь.

Во-первых, на парадигму совершенно не тянет.
Во-вторых, откройте для себя питон например, там ровно эти три коллекции из коробки.
В-третьих - вам никто не мешает в любом языке пользоваться только этими коллекциями, и зачем для этого городить отдельных язык - совершенно не понятно.

1

Сообщение от Etyuhibosecyu А массивам в этой парадигме не место.

Да? Почему? Чем массивы провинились? А как же все остальные типы коллекций? Если вы про них не знаете, то они и не нужны в языке? Зато какие-то левые методы шифрования и ещё какая-то лабуда, которая вам для задачи понадобилась, должна быть в языке из коробки?

0

Сообщение от Катафалк а в днищенских областях вроде вебокодинга - падать.

Мой приятель зарабатывает в этой днищенской области 300000 российских рублей.

Добавлено через 15 минут
почитайте про прототипное ООП и метапрграммирование, Все Ваши новшества там давно есть. А если их нет - их несложно добавить.

0

Сообщение от vantfiles Мой приятель зарабатывает в этой днищенской области 300000 российских рублей.

Сейчас вам скажут, что ваш приятель - дно, и настоящий специалист по big data и научным высоконагруженным приложениям зарабатывает $300k или что это временное явление и завтра вашего приятеля заменят тулзой по автогенерированию HTML.

0

Сообщение от vantfiles Мой приятель зарабатывает в этой днищенской области 300000 российских рублей.

Ну поздравляю вашего приятеля А какие-нибудь астрологи и прочие жулики так и побольше зарабатывают, но не думаю что нужно этим гордиться в приличном обществе
И таки да, Usaga, абсолютно прав, приятелю надо готовиться переучиваться во что-то более востребованное в перспективе, потому что его 300k в скором времени могут превратиться в тыкву.

0

Сообщение от Катафалк А какие-нибудь астрологи и прочие жулики так и побольше зарабатывают

Т.е. если человек зарабатывает лучше, чем вы хотите, чтобы он зарабатывал, то он - жулик?

0