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

Материал из Вики проекта PascalABC.NET
Версия от 19:25, 15 декабря 2009; Ulysses (обсуждение | вклад) (Новая: <blockquote>Такие языки как Haskell и Clean имеют 100% соответствие своей семантики с семантикой подразумеваемых к...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

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

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

Источник — https://pascalabc.net/wiki/index.php?title=Обсуждение:Обзор_реализации_основных_возможностей_функционального_языка_программирования_в_среде_PascalABC.NET&oldid=1089