Обсуждение:Обзор реализации основных возможностей функционального языка программирования в среде PascalABC.NET: различия между версиями
Материал из Вики проекта PascalABC.NET
Перейти к навигацииПерейти к поиску
Ulysses (обсуждение | вклад) (Новая: <blockquote>Такие языки как Haskell и Clean имеют 100% соответствие своей семантики с семантикой подразумеваемых к...) |
Ulysses (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
<blockquote>Такие языки как Haskell и Clean имеют 100% соответствие своей семантики с семантикой подразумеваемых конструкций лямбда-исчисления.</blockquote>Такая фраза | <blockquote>Такие языки как Haskell и Clean имеют 100% соответствие своей семантики с семантикой подразумеваемых конструкций лямбда-исчисления.</blockquote>Такая фраза выглядит некорректно: под словосочетанием «семантика лямбда-исчисления» понимается [http://en.wikipedia.org/wiki/Lambda_calculus#Semantics вполне определённая вещь], которая здесь явно ввиду не имелась. Так что я бы рекомендовал изложить эту мысль какими-то другими словами. Можно взять какую-нибудь книжку по Хаскелю и оттуда списать. — [[Участник:Ulysses|Ulysses]] 16:28, 15 декабря 2009 (UTC). |
Текущая версия от 19:28, 15 декабря 2009
Такие языки как Haskell и Clean имеют 100% соответствие своей семантики с семантикой подразумеваемых конструкций лямбда-исчисления.
Такая фраза выглядит некорректно: под словосочетанием «семантика лямбда-исчисления» понимается вполне определённая вещь, которая здесь явно ввиду не имелась. Так что я бы рекомендовал изложить эту мысль какими-то другими словами. Можно взять какую-нибудь книжку по Хаскелю и оттуда списать. — Ulysses 16:28, 15 декабря 2009 (UTC).