мне было интересно, если расширения GHC можно разделить на основном две разные категориикатегоризация GHC расширения
Теперь можно разделить существующие расширения на вышеуказанные категории, какое расширение будет вписываться в какую категорию?
Я думаю, что более подходящая категоризация была бы разделить его по трубопроводу компилятора:
Синтаксических расширения
Тип системы Расширения
Сквозные расширения
Optimizatsions
Код поколения
среды выполнения Расширения
Что вы думаете? Не каждый флаг является либо (а) определяемым с точки зрения существующих конструкций, либо (б) новой частью компилятора. Это более тонкий.
Есть много других расширений, посмотрите, можете ли вы классифицировать их в этой форме.
Почему «Cross-Cutting» как ярлык для FFI и TH? – solidsnack
@ Джейсон Дусек: Я думаю, что они оказывают далеко идущее влияние на несколько аспектов языка, - либо вызывая произвольный внешний код, либо произвольно изменяя код во время компиляции. –
О, потому что они изменяют все аспекты компилятора и среды выполнения: синтаксис, типы, генерация кода и поддержка времени исполнения. –
Флаги уже классифицированы в flag reference в руководстве пользователя GHC, а языковые расширения разбиты на несколько категорий в разделе на language features.
Я не уверен, насколько значимым является это различие - учитывая полноту Тьюринга, в некотором смысле все остальное является просто «удобством». Конечно, писать Haskell вместо, о, Lazy K ** чрезвычайно удобен ... –