Какие из этих возможностей вам хотелось бы видеть в языке?

@Etyuhibosecyu · Регистрация: 13.07.2017

Студворк — интернет-сервис помощи студентам

Сейчас мое увлечение программированием находится в кризисе. Поток идей всегда накрывал меня с головой, но сейчас он исчерпал себя. На программы для сжатия нечего и надеяться, свой алгоритм асимметричного шифрования я, вероятно, никогда не смогу создать, операционную систему лучше даже и не начинать делать (даже если допустить, что ядро, написанное на ассемблере, я где-то найду готовое, что маловероятно), для игр нужна хорошая графика, а мне ее взять негде, поэтому остается только язык. (Если это не так, прошу написать, какие еще есть варианты с учетом того, что учебник я уже (почти) прочитал.) Так что если я узнаю, какие есть актуальные запросы к языкам программирования, у меня появится возможность продолжать активную жизнь.
По этим пунктам я уже получил ответ, они точно не нужны в языках программирования:
1. Станционное программирование.
2. Сокращение кода в ущерб удобству написания.
3. "Статические" массивы.
4. Многомерный список как оператор языка.
А по этим - еще не получил:
1. Одновременное наличие типов значений, прямых ссылок (ref T) и управляемых ссылок (des T). Сразу напишу, что типы значений и объектно-ориентированное или "процедурное" программирование никак не связаны.
2. Выполнение фрагментов кода, полученных снаружи относительно "основного" кода (например, из текстового поля), с помощью оператора $string (этот оператор есть на клавиатуре!).
3. Рекурсивный тип, как в примере:

Code
1
2
typename T = TextBox1.Text;
T a;

4. Полноценный тип var, который автоматически заменяется на тип первого присвоенного значения. Можно даже написать:

Code
1
var a = null; //a имеет тип null

5. Создание переменной в любом выражении:

Code
1
string s = "Число " + (real r = (int n = 5) + 0.25);

А также создание "моментальных" переменных:

Code
1
2
3
var n = 11;
TextBox1.Text = 2 pow 5=:n * n; //160
TextBox2.Text = 2 pow n * n; //Тут n из предыдущей строки уже нет, поэтому 22528

Оператор "=:" - это "инверсированный" оператор из некоторых языков программирования ":=". И он есть на клавиатуре!
Мне кажется, эта возможность не помешала бы достаточно часто.
6. Автоматическое отслеживание, удовлетворяет ли переменная заданным условиям, например:

Code
1
2
3
4
5
6
7
[[1, 100]] n = 18;
n = 1000000; //Ошибка!
[[0r, 1r ex]] r; //Если я еще не писал об этом, напишу - суффикс r заставляет компилятор принудительно интерпретировать число как действительное. Ну, а ex обозначает "не включая". Для типа int его установить нельзя!
r = 3.14; //Ошибка!
r = 1; //Ошибка!
[["?*"]] s; //Шаблон для строки
s = ""; //Ошибка!

Указывать сам тип не нужно, так как он понятен из шаблона. Пока что надеюсь создать такое только для типов int, real и string. Возможно, придумаю, как сделать и в других типах.
Добавлю: в C# есть "валидация модели", глава о ней находится на почетном последнем месте, но там это просто атрибуты, а в моем языке (пока что название вакантно) - часть самого типа.
7. Возможность параметризации типов и методов не только типами, но и любыми другими значениями, в том числе и с проверкой попадания в диапазон (см. предыдущий пункт), например:

Code
1
2
template([[, 0]] D, typename T) Class List = T; //[[, 0]] эквивалентно [[int.MinValue, 0]]
template([[1,]] D, typename T) Class List = List[List[D - 1, T]]; //[[1,]] эквивалентно [[1, int.MaxValue]]

Добавлю к вышеизложенному: конструкция "Class List : T" является некорректной, так как тип T может быть запечатанным, и тогда List не сможет быть производным от него. А конструкция Class Class1 = Class2 - то, что надо в данном случае.
Таким способом, параметризующее значение будет, по сути, обычной переменной: обычная переменная может быть как рекурсивного, так и нерекурсивного типа, и параметризующее значение может быть как рекурсивного, так и нерекурсивного типа.
8. Операторы ?=, ?>, ?<, ?>=, ?<= и ?!=, эквивалентные x == y ? x : z, x > y ? x : z и т. д. Это уже много раз было упомянуто, но еще ни одного раза я не получил конкретную информацию - помогло бы это в языке или нет. Мне кажется, помогло бы.
9. Отказ от оператора goto с одновременным введением возможности выйти из вложенных циклов на уровень метки (как в Жабе):

Code
1
2
3
4
5
6
7
8
9
10
11
12
int n = -1;
l8: for (int i in Chain(1, 9))
{
    for (int j in Chain(1, 9))
    {
        if (i != j && list[i] == list[j])
        {
            n = list[i];
            break l8;
        }
    }
}

Также можно выйти и из вложенных функций, добавив к имени метки #:

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
closed int Function F1(int p)
{
    l0#: int n = F2(p);
    return n;
}
 
closed int Function F2(int p)
{
    int n = F3(p);
    return n;
}
 
closed int Function F3(int p)
{
    int n = F4(p);
    return n;
}
 
closed int Function F4(int p)
{
    return to l0;
}

Поясню: если написать такую конструкцию, программа будет выходить из всех функций, пытаясь найти метку, отмеченную решеткой и возвращая во всех функциях null. Но следует быть осторожным: если нужной метки не окажется, в программе возможен крах!
Прошу не судить строго за "возврат к нашим баранам". Поймите, у меня, кроме программирования, других возможностей в жизни нет, поэтому делаю, что могу. Вместо того, чтобы судить, прошу написать по каждому пункту: какая возможность улучшит язык программирования, а какая ухудшит.

@Etyuhibosecyu · 27.03.2020, 13:32 **[ТС]**

Сообщение от Usaga

Но присваивание пишется в коде, где и может быть выведен тип на этапе компиляции.

Тип может быть выведен на этапе компиляции? А как насчет такого?

Code
1
2
typename T = TextBox1.Text;
T a;

Как вывести на этапе компиляции, какой будет тип у a? Откуда компилятор знает, что пользователь введет в текстовое поле? Думаю, что это невозможно.

@Shamil1 · 27.03.2020, 13:34

Сообщение от Usaga

var не тип, а ключевое слово объявления переменной, говорящее компилятору, что тип нужно вывести из выражения с права от знака присваивания.

Насколько я понял, Etyuhibosecyu это и написал:
Тип var (как в сообщении №29 - то ли как variant в древнем бейсике, то ли как dynamic в C#) уходит в прошлое. А ключевое слово var ( как в C#) - остаётся.

@Usaga · 27.03.2020, 13:35

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

Откуда компилятор знает, что пользователь введет в текстовое поле?

Ему не надо знать, что и куда введёт пользователь. У TextBox1.Text тип string. Вы же осознаёте, что "Etyuhibosecyu" и "22" - одно и тоже, а именно - строка.

@Shamil1 · 27.03.2020, 13:39

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

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

Легко. Так как поле текстовое, то пользователь пишет в него строку. То есть, тип значения будет строка. Превратить её в другой тип невозможно даже теоретически. "1" - что я хотел ввести? строку? целое? с плавающей точкой? двоичное целое? ... и так далее.

@Etyuhibosecyu · 27.03.2020, 13:42 **[ТС]**

Сообщение от Usaga

У TextBox1.Text тип string.

Тут три или даже четыре уровня абстракции:

Переменная	Тип
TextBox1.Text	string
T	typename
a	T - то, что введено в текстовое поле (например, "List[int]")

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

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

Легко. Так как поле текстовое, то пользователь пишет в него строку.

Так трудно сообщить опытным программистам, привыкшим к своим языкам, что-то новое...

@Shamil1 · 27.03.2020, 13:42

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

T - то, что введено в текстовое поле (например, "List[int]")

Из предыдущего примера это было не очевидно.

Тогда другой вопрос: зачем это нужно?
В тех редких случаях, когда это может понадобиться, программисты на C# используют Reflection (чтобы создать экземпляр типа по его имени и т.п.).

@Usaga · 27.03.2020, 13:44

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

Тут три или даже четыре уровня абстракции:

Там ноль уровней абстракции. Пользователь может ввести только строку. А что в ней вы уже в коде разбирать должны.

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

Так трудно сообщить опытным программистам, привыкшим к своим языкам, что-то новое...

Вы опять какую-то хрень задумали, которая только вам нужна?

@Etyuhibosecyu · 27.03.2020, 13:44 **[ТС]**

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

В тех редких случаях, когда это может понадобиться, программисты на C# используют Reflection

А это то же самое, только красивее. А вы можете аргументировать, почему это НЕ нужно?

@Usaga · 27.03.2020, 13:48

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

А вы можете аргументировать, почему это НЕ нужно?

А вы можете аргументированно доказать, что это нужно. И не раз в сто лет, а прям настолько, что нужно сделать частью языка?

Добавлено через 12 секунд

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

А вы можете аргументировать, почему это НЕ нужно?

А вы можете аргументированно доказать, что это нужно. И не раз в сто лет, а прям настолько, что нужно сделать частью языка?

@Etyuhibosecyu · 27.03.2020, 13:48 **[ТС]**

Сообщение от Usaga

Там ноль уровней абстракции. Пользователь может ввести только строку. А что в ней вы уже в коде разбирать должны.

Имеется в виду не тип текстового поля, а его содержимое. Я же только что написал, если пользователь ввел "List[int]" (в СОДЕРЖИМОЕ текстового поля!), переменная a будет типа List[int]. Ну а если он ввел что-то, что не является типом, a будет типа null.

@Usaga · 27.03.2020, 13:53

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

Имеется в виду не тип текстового поля, а его содержимое.

Это какой-то самокомпилятор? Вы вообще понимаете, что и для чего изобретаете? Можете нормальный пример привести, где это нужно?

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

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

Я же только что написал, если пользователь ввел "List[int]" (в СОДЕРЖИМОЕ текстового поля!), переменная a будет типа List[int]. Ну а если он ввел что-то, что не является типом, a будет типа null.

И как приложение должно с этой переменной работать, если один только бог знает, что там?

Добавлено через 15 секунд

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

Я же только что написал, если пользователь ввел "List[int]" (в СОДЕРЖИМОЕ текстового поля!), переменная a будет типа List[int]. Ну а если он ввел что-то, что не является типом, a будет типа null.

И как приложение должно с этой переменной работать, если один только бог знает, что там?

@Etyuhibosecyu · 27.03.2020, 13:56 **[ТС]**

Сообщение от Usaga

Вы вообще понимаете, что и для чего изобретаете?

Я изобретаю что-то страшное? Что именно? Просветите.

Сообщение от Usaga

Можете нормальный пример привести, где это нужно?

Например, в таком контексте:

Code
1
2
template([[, 0]] D, typename T) class MyArray = T;
template([[1,]] D, typename T) class MyArray = MyArray[D - 1, T[]];

Пользовательский массив.

@Usaga · 27.03.2020, 14:14

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

Я изобретаю что-то страшное? Что именно? Просветите.

Какую-то кукарачу, с функцией компилятора во время исполнения.

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

Например, в таком контексте:

template([[, 0]] D, typename T) class MyArray = T;
template([[1,]] D, typename T) class MyArray = MyArray[D - 1, T[]];
Пользовательский массив.

Т.е. пользователь вводит в приложении языковые конструкции, которые в коде должны какие-то пользовательские массивы объявлять? Реальный пример пользы такой ахинеи можете привести? И как приложение должно работать с типом, который ей неизвестен?

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

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

Например, в таком контексте:

Больше похоже на какое-то решение для какого-то конкретного случая в каком-то конкретном прикладном приложении, а не реально нужная и полезная вещь.

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

@Etyuhibosecyu · 27.03.2020, 14:25 **[ТС]**

Сообщение от Usaga

Реальный пример пользы такой ахинеи можете привести?

Реальный пример из личного опыта. Генерация вызова функции из DLL-библиотеки, где типы записаны совсем в другой форме, чем нужно для языка. В C++ мне так и не удалось сделать это полноценно.

Code
1
2
3
4
5
6
7
8
9
10
11
template(typename... T) oxyet universal Function CallDLL(string dllName, string func, (string type, universal value)[] parameters)
{
    if (T.Count >= parameters.Count)
    {
        return __InternalCallDll(dllName, func, ...);
    }
    else
    {
        return CallDLL[T.Append(PrepareType(parameters[T.Count].type))](dllName, func, parameters);
    }
}

Возможно, задача редкая, зато реально вставшая передо мной при программировании DCASTF.

@Usaga · 27.03.2020, 14:37

Etyuhibosecyu, так вызову функции из внешней DLL никакие "сторонние" описания не нужны вообще. И никакое придумывание типов из строк тоже.

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

В любом случае, никакие "типы" генерировать не надо. Это всё уже есть у вызывающей стороны. Если таковой нет, то функция никому не нужна.

Добавлено через 3 минуты
Если не верите, то посмотрите примеры использования P\Invoke в C#. Никаких придумываний типов из строк не требуется. Вы уже знаете какую сигнатуру функции ожидаете и описываете её в коде.

@Ethereal · 28.03.2020, 13:46

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

У статической типизации есть и другие преимущества: больше ошибок отлавливается на этапе компиляции

Вот вот. И я в итоге пришел к мысли, что при типизации компилятор отлавливает те ошибки, которые самой типизацией и порождены.

Вот пример :
var_1 := var_2 ;
и компилятор орет, что у этих переменных разные типы.
А это только потому, что оператор присвоение := абстрактный. Он есть присвоение вообще.
И что он конкретно делает может быть понятно только из контекста. Из типов переменных. С которыми программист и ошибся. Потому-что чтобы увидеть эту ошибку мало смотреть на эту строчку программы. Надо смотреть в совсем другие места программы где переменные описаны. Их что-то программист в памяти не удержал, запамятовал, в результате смотрел на эту строчку и никакого криминала не видел.
Т.е. ошибка была порождена типизацией, сама идея которой приводит к тому, что глядя в упор на строчку не до конца понимаешь, что она делает. Программист смотрел, не до конца понимал, криминала не видел и ошибся. И по сути ошибка была порождена самой идеей типизации.

А если бы у var_1 и var_2 не было бы вообще никаких типов, а тип был у оператора :=
Например
var_1 := var_2 ; // пересылка 32 бита 4 байта
или
var_1 ::= var_2 ; // пересылка 8 бит 1 байт
Тут уже программист сразу и однозначно видит что делается в этой строчке. Не заглядывая в другие места текста. Он не может строчку не так понять. И по смыслу переменных, сколько байт они могут занимать, ошибиться тут уже практически нереально. Как можно переменную типа целое 32 бита или ссылку, адрес 32 бита, принять за байт, символ или наоборот ? Нужно держать в памяти лишь размеры переменных, а структуры понимать как их адреса. По сути двух вариантов 1 байт и 4 байта хватит на все про все. Ну еще 2 байта для юникода.

Вот что я хочу сказать. Что типизация отлавливает те ошибки, которые косвенно ею и порождены.

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

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

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

Вы имеете ввиду строгую (сильную) или статическую типизацию?

Получается, что типизацию вообще. Хочу вообще убрать типы у переменных. Отдать их операторам.

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

Сообщение от Usaga

Но эта типизация побуждает более правильным образом обращаться с переменными. Посмотрите на JavaScript. Какие-нибудь библитечки на JS. В большинстве случаев там адский ад. Просто потому, что язык позволяет.

Совершенно согласен.
На форуме немногочисленных фанатиков Форта сравнивали разные языки и установили железную закономерность - из двух языков программирования на практике более востребован тот, который накладывает на программиста больше кандалов. И причина тут в программистах. Дай волю вольную среднестатистическому программисту и выйдет адский ад.
Форт дает волю абсолютную, но комплектом к нему идет книга Броуди Thinking Forth которая описывает должную самодисциплину мышления при писании программ в обстановке воли абсолютной.

@Shamil1 · 29.03.2020, 02:34

Сообщение от Ethereal

Например
var_1 := var_2 ; // пересылка 32 бита 4 байта
или
var_1 ::= var_2 ; // пересылка 8 бит 1 байт
Тут уже программист сразу и однозначно видит что делается в этой строчке. Не заглядывая в другие места текста.

Откуда он это видит, если непонятно, то ли это пересылка 32 бита 4 байта, то ли это пересылка 8 бит 1 байт?

Сообщение от Ethereal

И я в итоге пришел к мысли, что при типизации компилятор отлавливает те ошибки, которые самой типизацией и порождены.

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

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

Сообщение от Ethereal

Что типизация отлавливает те ошибки, которые косвенно ею и порождены.

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

@Катафалк · 01.04.2020, 14:27

Etyuhibosecyu, тут у тебя конкурент в изобретении новых инновационных языков программирования появился https://habr.com/ru/post/494548/

Новые блоги и статьи Все статьи Все блоги /
ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .
Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .	Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .

@Usaga 14808 / 9581 / 1368 Регистрация: 21.01.2016 Сообщений: 36,089
	27.03.2020, 14:37
	Etyuhibosecyu, так вызову функции из внешней DLL никакие "сторонние" описания не нужны вообще. И никакое придумывание типов из строк тоже. Сигнатура ожидаемой функции описывается в коде-потребителе, а дальше или приведение указателя к указателю на функцию с нужной сигнатурой (в Си \ С++) или механизм маршалинга (считай, тоже приведение) как в Java \ .NET. В любом случае, никакие "типы" генерировать не надо. Это всё уже есть у вызывающей стороны. Если таковой нет, то функция никому не нужна. Добавлено через 3 минуты Если не верите, то посмотрите примеры использования P\Invoke в C#. Никаких придумываний типов из строк не требуется. Вы уже знаете какую сигнатуру функции ожидаете и описываете её в коде. 0

@Катафалк 282 / 485 / 12 Регистрация: 21.06.2019 Сообщений: 3,020
	01.04.2020, 14:27
	Etyuhibosecyu, тут у тебя конкурент в изобретении новых инновационных языков программирования появился https://habr.com/ru/post/494548/ 0