Какие проекты были успешно перенесены из Хаскелла во Фреге?

Question

Какие проекты были успешно перенесены из Хаскелла во Фреге?

Я хотел бы узнать, как перенести код Haskell на Фреге. Есть ли какие-либо проекты, которые уже были портированы и служат хорошим примером?

2

haskell porting frege

Источник

user2950946 04 июн '16 в 12:00

1 ответ

Решение

Другие вопросы по тегам haskell porting frege

user86604 04 июн '16 в 12:15 2016-06-04 12:15 · Accepted Answer · 2016-06-04 12:15

Почти весь существующий библиотечный код (например, Prelude, Data и т. Д.) Был перенесен. Также такие вещи, как QuickCheck, практически без изменений.

Интересный случай Data.HashMap который имеет тот же интерфейс, что и в Haskell, но реализация опирается на массивы Java.

На что следует обратить внимание: неподдерживаемые расширения GHC, строки / текст, код, использующий сторонние функции (то есть C).

В таких случаях аналог Фреге Хаскелла обычно немного отличается или пропускает особенности. Примерами могут служить поддержка JSON и библиотеки комбинатора синтаксического анализа (Data.MicroParsec).