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

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

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