Результаты поиска по запросу "haskell"
Могу ли я ограничить тип семьи?
Вэтот мой недавний ответ [https://stackoverflow.com/a/14132830/828361]Я случайно открыл этот старый каштан (такая старая программа, половина которой была написана в семнадцатом веке Лейбницем и написана на компьютере в семидесятые годы моим ...
инициализация библиотеки unsafePerformIO и FFI
Я создаю модуль FFI для библиотеки в C, которая хочет, чтобы одноразовая не реентерабельная функция вызывалась раньше, чем что-либо еще. Этот вызов идемпотентен, но с состоянием, так что я мог бы просто вызывать его при каждом вызове на Haskell. ...
Рекомендуемое чтение по общим отладочным технологиям
Какое чтение вы бы порекомендовали по общим методам отладки? Меня больше интересуют принципы и лучшие практики, чем решения для конкретной платформы. Для справки, я в основном работаю с .NET (F #, C #), и балуюсь на Haskell и Ocaml. В один из ...
Почему нет << в стандартной библиотеке Haskell?
Monad класс определяет>> метод, который выполняет последовательность двух монадических действий: >> :: Monad m => m a -> m b -> m bОператор связывания>>= имеет эквивалент с перевернутым аргументом,=<<; как и операторы композиции монадических ...
Чередовать список списков в Haskell
Мне было интересно, как я мог написать функцию на Haskell, которая чередует список списков в один список, например, если бы у меня была функция с именем interleavelists :: [[a]] -> [a] это должно быть в состоянии чередовать ...
случаи использования семейства данных
Преимущества использования типасиноним Семейства понятны - это функции уровня типа. Но это не так сданные семьи - так что мой вопрос, что такое варианты использования для семейства данных? Где я должен использовать это?
Ошибка анализа haskell в шаблоне для шаблона n + k
Я начал работать через Эрика Мейера13 лекций [http://lambda-the-ultimate.org/node/3642](и Грэм Хаттонслайды [http://www.cs.nott.ac.uk/~gmh/book.html#slides]Разучить Haskell. На слайдах к главе 4 на стр. 13 представлен синтаксис сопоставления с ...
Haskell - Является ли порядок эффектов детерминированным в случае Applicative?
При выполнении действия ввода-вывода, определенногоsomeFun <$> (a :: IO ()) <$> (b :: IO ()), является выполнениеa а такжеb действия заказаны? То есть могу ли я рассчитывать на этоa выполняется раньшеb является? Для GHC я вижу, что IO реализован ...
Потоковое рекурсивное снижение директории в Haskell
Я пытаюсь сделать рекурсивный спуск структуры каталогов с помощью Haskell. Я хотел бы получать дочерние каталоги и файлы только по мере необходимости (лениво). Я написал следующий код, но когда я его запускаю, трассировка показывает, что все ...
Можно ли использовать GADT для доказательства неравенства типов в GHC?
Итак, в моих текущих попытках наполовину понять Карри-Ховарда с помощью небольших упражнений на Хаскелле, я застрял в этой точке: {-# LANGUAGE GADTs #-} import Data.Void type Not a = a -> Void -- | The type of type equality proofs, which can ...