Результаты аудиторской проверки языка Haskell 2010
В рассылке присутствовало сообщение Симона Марлова (Simon Marlow), где сообщается новостное заключение о результатах аудиторской проверки языка Haskell — Haskell 2010. Расширение, которое было включено в новый стандарт:1. DoAndIfThenElse
Синтаксис if-then-else он будет выглядеть как "exp -> if exp1 [;] then exp2 [;] else exp3"."Тhen" и "else" возможно будет расположить на одном уровне.
2. HierarchicalModules
Иерархическая структура бланков будет наконец-то включена в официальный стандарт.
3. EmptyDataDeclarations
Конструкторы типов без конструкторов данных (это типы с единственным значением: _|_).
4. FixityResolution
Изменения в синтаксическом анализе операторов с приоритетом. Импортирующий только официальный доклад.
5. ForeignFunctionInterface
Долгое время используемый FFI также войдет в Haskell2010.
6. LineCommentSyntax
Маленькое исправление было связано со строчными комментариями.
7. PatternGuards
Сравнение образцов в защитных выражениях.
8. RelaxedDependencyAnalysis
Ослабленный анализ зависимостей: во время ввода типов, ссылки на переменные, связанные с показанными типами игнорируются. Ограничение Monomorphism ушло.
9. LanguagePragma
В докладе будет упомянуто о "ЯЗЫКЕ" прагма с расширением: DoAndIfThenElse, HierarchicalModules, FixityResolution, PatternGuards, NoNPlusKPatterns, RelaxedDependencyAnalysis, LineCommentSyntax, EmptyDataDeclarations, LanguagePragma и ForeignFunctionInterface. Реализация, поддерживая прагмы, должна обрабатывать "{-# LANGUAGE Haskell2010 -#}" (он включает все расширения указанные выше).
10. NoNPlusKPatterns
Вариант синтаксиса почищен в сравнении с образцом рода "n + k" для натуральных чисел. Более подробно о расширениях: http://hackage.haskell.org/trac/haske...
© Root.UA
