[html]
<a href="https://ru.wikipedia.org/wiki/%D0%A2%D0%B8%D0%BF%D0%B8%D0%B7%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%BD%D0%BE%D0%B5_%D0%BB%D1%8F%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5">https://ru.wikipedia.org/wiki/Типизированное_лямбда-исчисление</a>
<br />
Тут пишут, что свойства языков програмирования определяются их системой типов.
<br />
<br />

<a href="https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D1%81%D1%82%D0%BE_%D1%82%D0%B8%D0%BF%D0%B8%D0%B7%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%BD%D0%BE%D0%B5_%D0%BB%D1%8F%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5">https://ru.wikipedia.org/wiki/Просто_типизированное_лямбда-исчисление</a>[/html]
   (вообще говоря, статья в википедии написана не для людей (а, наверное, для математиков))

"Простое" или "просто" (типизированное несложным способом)?

Темы ранее рядом и около:
Лямбды против всех
алгоритм Хиндли — Милнера (Hindley–Milner type inference algorithm)

Отредактировано Лис (2021-12-22 06:21:17)