Результаты поиска по запросу "ghc"

1 ответ

Могу ли я предоставить средства проверки типов с доказательствами об индуктивных натуральных числах в GHC 7.6?

GHC 7.6.1 поставляется с новыми функциями для программирования на уровне типов, в том числепродвижение типа данных, Взяв пример о натуралах и векторах на уро...

1 ответ

Haskell и запоминание чистых результатов функции [дубликат]

Возможный дубликат:Когда автоматическое запоминание происходит в GHC Haskell?Как следствие, чистая функция всегда возвращает одно и то же значение для фиксир...

3 ответа

Какие оптимизации можно ожидать от GHC для надежной работы?

GHC имеет много оптимизаций, которые он может выполнить, но я нене знаю, что они все из себя представляют, и какова вероятность их выполнения и при каких обс...

ТОП публикаций

2 ответа

Еще более обобщенный вывод нового типа

2 ответа

Новые типы быстрее, чем перечисления?

В соответствии сЭта статья,Перечисления нечто касается GHC, то они не считаются типами с одним конструктором, поэтому они неВыгода от распаковки при использо...

3 ответа

Базовая производительность ввода / вывода в Haskell

7 ответов

Суммирование большого списка чисел происходит слишком медленно

Задача: "Суммируйте первые 15 000 000 четных чисел. "Haskell:

1 ответ

Связывание динамической библиотеки (libjvm.dylib) в Mac OS X (проблема с rpath)

У меня есть приложение, которое требует связи с

1 ответ

Ускорить компиляцию в GHC

Есть ли варианты, кроме

2 ответа

что означает «пусть x = x в x» и «data Float #» в GHC. Prim в Haskell

Я посмотрел на модуль GHC.Prim и обнаружил, что кажется, что все данные в GHC.Prim определены как