Обсуждение:Обзор реализации основных возможностей функционального языка программирования в среде PascalABC.NET: различия между версиями
Материал из Вики проекта PascalABC.NET
Перейти к навигацииПерейти к поиску
Ulysses (обсуждение | вклад) (Новая: <blockquote>Такие языки как Haskell и Clean имеют 100% соответствие своей семантики с семантикой подразумеваемых к...) |
(нет различий)
|
Версия от 19:25, 15 декабря 2009
Такие языки как Haskell и Clean имеют 100% соответствие своей семантики с семантикой подразумеваемых конструкций лямбда-исчисления.
Такая фраза взрывает мозг любому хоть немного знакомому с лямбда-исчислением. Под словосочетанием «семантика лямбда-исчисления» понимается вполне конкретная вещь, которая здесь явно ввиду не имелась. Так что я бы рекомендовал изложить эту мысль какими-то другими словами. Можно взять какую-нибудь книжку по Хаскелю и оттуда списать. — Ulysses 16:25, 15 декабря 2009 (UTC).