ПО, ЭВМ и АСУ из Таможенного Союза

Информация о пользователе

Привет, Гость! Войдите или зарегистрируйтесь.

Планы на развитие Солуни до 2030-го года

Страница: 1

Сообщений 1 страница 5 из 5

1

  • Автор: Лис [Л]
  • Участник
  • Лис [Л]
  • Зарегистрирован: 2021-02-04
  • Приглашений: 0
  • Сообщений: 1027
  • Уважение: [+0/-0]
  • Позитив: [+0/-0]
  • Провел на форуме:
    5 дней 7 часов
  • Последний визит:
    2023-03-10 00:04:11

Ты когда типы сделаешь? Я тебе уже подогнал всё теоретическое обоснование. И описание лямбда-исчисления, и типизированное исчисление по чёрчу, чтобы было понятно что там типизируется, и связь лямбда исчисления с языками программирования, и алгоритм вывода типов. Ну то есть совершенно все что нужно, чтобы типы сделать. Даже в виде лекции, если читать лень.

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

А ты нивкакую. Что же делать, что делать? Сам не могу - лапки.

0

2

  • Автор: NuShaman
  • Автор "Солуни"
  • NuShaman
  • Откуда: Екатеринбург
  • Зарегистрирован: 2020-10-06
  • Приглашений: 0
  • Сообщений: 654
  • Уважение: [+0/-0]
  • Позитив: [+1/-0]
  • Пол: Мужской
  • Возраст: 43 [1980-08-03]
  • Провел на форуме:
    8 дней 21 час
  • Последний визит:
    Вчера 10:24:21
Лис написал(а):

Ты когда типы сделаешь?

Сейчас первоочередная задача - реализовать массивы.

Лис написал(а):

И описание лямбда-исчисления, и типизированное исчисление по чёрчу

Интеллектом я ещё не дорос до сих вещей.

Лис написал(а):

потом на уровень 3 - расширять систему типов в разные стороны

Для начала надо реализовать возможность выбора программистом любого слова для любого ключевого слова.
Например, англичанин сможет вместо слова "если" использовать понятное ему слово "if".

Лис написал(а):

А ты нивкакую. Что же делать, что делать? Сам не могу - лапки.

Если делать, то дела - это же очевидно.
На первых порах предлагаю сложить лапки и ждать :)

0

3

  • Автор: NuShaman
  • Автор "Солуни"
  • NuShaman
  • Откуда: Екатеринбург
  • Зарегистрирован: 2020-10-06
  • Приглашений: 0
  • Сообщений: 654
  • Уважение: [+0/-0]
  • Позитив: [+1/-0]
  • Пол: Мужской
  • Возраст: 43 [1980-08-03]
  • Провел на форуме:
    8 дней 21 час
  • Последний визит:
    Вчера 10:24:21

Планы на развитие Солуни до 2023-го года

1. Сделать "цикл счетчик ... конец"
вместо "начало ... цикл счетчик".
Аналогично "если переменная ... конец"

2. Символ конца строки ";" (точка с запятой).
Любой код можно будет разместить в одной строке без символов перевода строки.
ВОПРОС: Можно ли ЛЮБОЙ код на языке Си разместить в одну строку?
ОТВЕТ: Нет. Так как нельзя не сделать перевод строки после "#include <vector>".
Значит это шах и мат.

3. Последовательность "===" (тождество).

3.1. символ писать словом:
  = === равно
  равно === равен
  равно === равна
  Пример кода:

Код:
бэ равняется вэ плюс гэ

3.2. падежи имени переменной:
  цифра === цифру
  цифра === цифре
  цифра === цифрой
  Пример кода:

Код:
показать цифру

3.3. перевод на другие языки:
  на английском языке:
    цифра === digit
  на белорусском языке:
    цифра === лічба
  на казахском языке:
    цифра === саны
  на польском языке:
    цифра === numer
  на латышском языке:
    цифра === numuru
  на литовском языке:
    цифра === numerį
  на испанском языке:
    цифра === número

4. Запись числа прописью, то есть словами.
  Пример кода:

Код:
число равно двести пятидесяти пяти

0

4

  • Автор: Лис [Л]
  • Участник
  • Лис [Л]
  • Зарегистрирован: 2021-02-04
  • Приглашений: 0
  • Сообщений: 1027
  • Уважение: [+0/-0]
  • Позитив: [+0/-0]
  • Провел на форуме:
    5 дней 7 часов
  • Последний визит:
    2023-03-10 00:04:11

3.2. падежи имени переменной:
  Пример кода:

показать цифру

Вот! Это нужно, а всё остальное где-нибудь и так есть, и не будет выделять язык на фоне других.
МихалНик много говорил о том, что надо уважать труд других людей.
Я в последнее время думаю о том, в частности, если в КуМир-е сделали компилятор в байткод, и это байткод российского происхождения, то поэтому надо на ШАЯ-е  (школьный алгоритмический язык из КуМира) же написать компилятор ШАЯ в этот байткод. Таким образом будут и самокомпилирующийся компилятор, и не надо будет привязываться к железу. Ну и будет совместная разработка (они будут делать часть про байткод, а автор программы на ШАЯ - часть про компиляцию на кириллическом языке программирования). Насчет того, что в ШАЯ есть всё для написания компилятора мы уже́ говорили.

Но если будут падежи, это будет прорыв, это то, о чём я ещё школьником мечтал, когда ШАЯ изучал.

Отредактировано Лис (2022-01-10 17:22:07)

0

5

  • Автор: NuShaman
  • Автор "Солуни"
  • NuShaman
  • Откуда: Екатеринбург
  • Зарегистрирован: 2020-10-06
  • Приглашений: 0
  • Сообщений: 654
  • Уважение: [+0/-0]
  • Позитив: [+1/-0]
  • Пол: Мужской
  • Возраст: 43 [1980-08-03]
  • Провел на форуме:
    8 дней 21 час
  • Последний визит:
    Вчера 10:24:21
NuShaman написал(а):

3.2. падежи имени переменной:
  цифра === цифру
  цифра === цифре
  цифра === цифрой
  Пример кода:

Код:
показать цифру
Лис написал(а):

Но если будут падежи, это будет прорыв

Падежи программист должен сам писать руками (а не лапками).
То есть для каждой переменной он должен написать семь падежей.
Но по факту в коде используется от силы три.
Например,
показать (что?) переменную (это винительный падеж)
простое равно (чему?) единице (это дательный падеж)

Падежи удобны и приятны для чтения кода человеком (живое существо Homo Sapiens).
Для других живых существ,
а уж тем более для машины,
эти падежи, извините за мой новый русский язык, нафик не сдались IMHO.

0

Страница: 1