рекомендуют прочитать статью (13 страниц)

[html]
1965, Peter Landin, A Correspondence between ALGOL 60 and Church's Lambda-notation
<br />
&nbsp;&nbsp;&nbsp;&nbsp;<a href="https://fi.ort.edu.uy/innovaportal/file/20124/1/22-landin_correspondence-between-algol-60-and-churchs-lambda-notation.pdf">22-landin_correspondence-between-algol-60-and-churchs-lambda-notation.pdf</a>
<br />
&nbsp;&nbsp;&nbsp;&nbsp;<a href="https://www.semanticscholar.org/paper/A-Correspondence-Between-ALGOL-60-and-Church's-Part-Lohse-Smith/755170dd54c6013cce03e6c4efb81566151f86a6">цитаты на semanticscholar.org</a>[/html]

Нужно это для реализации алгоритма Хиндли-Милнера.
ТЛИ ~= типизированное лямбда-исчисление.

Отредактировано Лис (2021-12-22 11:20:27)