Post #301 2.38K Aug 8, 2023, 06:45 UTC Реализуем Type Inference на Rust — Часть #2: Простой Lambda Calculushttps://habr.com/ru/articles/753180/ Хабр Реализуем Type Inference на Rust — Часть #2: Простой Lambda Calculus В прошлой статье мы реализовывали алгоритм унификации (unification) на Rust-е. Теперь давайте применим его на реальном примере - простое lambda исчисление. Синтаксис Синтаксис выражений у нашего... 👍 7 🔥 3 ❤ 1