Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ)

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

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

Вы здесь » Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ) » система типов » Системы типов в языках программирования

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

Страница: 1

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

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
  • Сообщений: 690
  • Уважение: [+0/-0]
  • Позитив: [+1/-0]
  • Пол: Мужской
  • Возраст: 44 [1980-08-03]
  • Провел на форуме:
    9 дней 7 часов
  • Последний визит:
    Сегодня 12:34:02
Лис написал(а):

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

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

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

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

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

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

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

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

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

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

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

0

3

  • Автор: Лис [М]
  • Участник
  • Лис [М]
  • Зарегистрирован: 2023-03-10
  • Приглашений: 0
  • Сообщений: 1119
  • Уважение: [+0/-0]
  • Позитив: [+0/-0]
  • Провел на форуме:
    6 дней 1 час
  • Последний визит:
    2024-11-27 23:25:17

Как запрограммировать систему типов в компиляторе?
Чем тут помогут теория типов, теория категорий и типизированное лямбда-исчисление?

Пока удалось осилить строчку:
«Пусть Typ - это множество типов»
ага, это несложно было.

А как структуры слепляются в один тип из нескольких типов? Почему при этом не возникает парадокс Рассела? Зачем вообще знать об этом парадоксе в этом вопросе, если при программировании такого парадокса не возникает?
Как получаются зависимые типы (массивы в частности)?

Отредактировано Лис (2024-08-13 11:12:39)

0

Страница: 1

Вы здесь » Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ) » система типов » Системы типов в языках программирования