Результаты поиска по запросу "haskell"
Возможно ли реализовать MonadFix для `Free`?
http://hackage.haskell.org/package/free [http://hackage.haskell.org/package/free]вControl.Monad.Free.Free позволяет получить доступ к «свободной монаде» для любого данногоFunctor, Это, однако, не имеетMonadFix экземпляр. Это потому, что такой ...
У импорта Haskell есть побочные эффекты?
Я написал код некоторое время назад, который используетOverloadedStrings создаватьByteStrings из шестнадцатеричных строковых литералов, которые он декодирует с использованием функций, ...
Связывание динамической библиотеки (libjvm.dylib) в Mac OS X (проблема с rpath)
У меня есть приложение, которое требует связи сlibjvm (библиотека из JDK должна была выполнять привязки JNI). Когда я говорю местоположениеlibjvm.dylib с помощью-L это успешно компилирует и ссылки. Однако, когда я запускаю двоичный файл, я ...
Принуждение типа Haskell
Я пытаюсь обернуть голову вокруг принуждения типа Хаскелла. Это означает, когда можно передать значение в функцию без приведения и как это работает. Вот конкретный пример, но я ищу более общее объяснение, которое я могу использовать, чтобы ...
Схемы рекурсии в Агде
Излишне говорить, что стандартная конструкция в Haskell newtype Fix f = Fix { getFix :: f (Fix f) } cata :: (Functor f) => (f a -> a) -> Fix f -> a cata f = f . fmap (cata f) . getFixэто здорово и очень полезно. Попытка определить похожую вещь ...
Какова наиболее эффективная реализация массивов с функциональными обновлениями?
Мне нужна массивоподобная структура данных с максимально быстрым функциональным обновлением. Я видел несколько разных реализаций гибких массивов, которые предоставляют мне это свойство (Braun, Random Access Lists), но мне интересно, есть ли ...
Parsec или счастливый (с Алексом) или uu-parsinglib
Я собираюсь написать синтаксический анализатор языка verilog (или vhdl) и сделаю много манипуляций (рода преобразований) анализируемых данных. Я намерен проанализировать действительно большие файлы (полный дизайн Verilog, размером до 10 000 ...
Как функторы в Хаскеле связаны с функторами в теории категорий?
Насколько я понимаю, функтор - это отображение между двумя категориями, например, из объектов вC http://mathurl.com/32qch9w.png [http://mathurl.com/32qch9w.png]к объектам вD http://mathurl.com/36b8r37.png [http://mathurl.com/36b8r37.png]гдеC ...
Понимание рекурсии в Хаскеле
Мне очень трудно понять, как рекурсивно думать о проблемах и решать их с помощью Haskell. Я часами читал, пытаясь обернуть голову вокруг рекурсии. Объяснение, которое я чаще всего получаю от людей, которые понимают его, никогда не ясно и выглядит ...
Haskell: Показать экземпляр Ambiguity
Я пытаюсь написать экземпляр show для отображения правильно сформированной формулы, но после имитации всего синтаксиса я все еще сталкиваюсь с той же ошибкой, что и ниже. Hugs> :load "C:\\Users\\Devil\\Desktop\\CASESTUDY1.hs" ...