Обсуждение:Обзор реализации основных возможностей функционального языка программирования в среде PascalABC.NET

Материал из Вики проекта PascalABC.NET
Перейти к навигацииПерейти к поиску

Такие языки как Haskell и Clean имеют 100% соответствие своей семантики с семантикой подразумеваемых конструкций лямбда-исчисления.

Такая фраза выглядит некорректно: под словосочетанием «семантика лямбда-исчисления» понимается вполне определённая вещь, которая здесь явно ввиду не имелась. Так что я бы рекомендовал изложить эту мысль какими-то другими словами. Можно взять какую-нибудь книжку по Хаскелю и оттуда списать. — Ulysses 16:28, 15 декабря 2009 (UTC).