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

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

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

Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » система типов » Системы типов в языках программирования

Системы типов в языках программирования

Страница: 1

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

1

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

со времён написания этой книжки прошло 25 лет:
[html]
<a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.5057">http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.5057</a>
<br />
<a href="https://en.wikipedia.org/wiki/Robert_Harper_(computer_scientist)">Robert Harper</a>
[/html]
в языках программирования появились "шаблоны", "генерики" и всякие там ковариантности с контрвариантностями.

А на эту книжку никто не ссылается, не цитирует. Вот как так?

Отредактировано Лис (2021-12-20 15:50:52)

0

2

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

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.5057

Ничего не понял, но осуждаю.

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

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

Это всё придумано для простоты программирования людьми.
Но простотой это стаёт только когда поймёшь.
То есть это усложнённая простота.

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

То есть создатель ЯП постоянно что-то добавляет,
надеясь, что программисту будет проще писать программу,
проще создавать архитектуру и структуру программного обеспечения.
Но у компьютера нет воли и он не может сам предложить,
не может сам догадаться, что хочет запрограммировать человек.
Компьютер не умеет разбираться в нюансах.
А простым перебором всех вариантов алгоритмов он сотни лет будет заниматься.
Поэтому воля исходит от Хомо Сапиенса.

Но любая программа - это ведь просто последовательность байт,
и уже неважно что использовалось: генерики или не-генерики.

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

А на эту книжку никто не ссылается, не цитирует. Вот как так?

Никто ничего не понял, но осудили :)

0

Страница: 1

Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » система типов » Системы типов в языках программирования