0
ответов
Обработка бесконечных списков в CoffeeScript
В Haskell я могу сделать это для обработки бесконечного списка. takeWhile (<1000) [1 ...] Есть ли способ сделать это в CoffeeScript?
вопрос задан: 24 January 2012 20:08
0
ответов
Haskell: предложение where, ссылающееся на связанные переменные в lambda
Я пытаюсь численно интегрировать функцию в Haskell, используя правило трапеции, возвращая антипроизводную, которая принимает аргументы a, b, чтобы конечные точки интервала были интегрированный. ...
вопрос задан: 24 January 2012 10:20
0
ответов
экспорт из модуля
Вот код, взятый из http: //www.angelfire.com / tx4 / cus / sizes / haskell98.html.
Он компилируется и правильно выполняется в WinGHCi, если я прокомментирую имена в заголовке модуля. Но если имена сохранить ...
вопрос задан: 24 January 2012 08:25
0
ответов
Haskell: Почему эта проверка типов?
Это минимальный пример, взятый из Reflection-0.5. {- # LANGUAGE Rank2Types, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances # -}
{- # OPTIONS_GHC -fno-cse -fno-full-laziness -fno -...
вопрос задан: 23 January 2012 22:56
0
ответов
Как получить хорошие (маленькие) усадки вне QuickCheck?
Я пытаюсь запустить QuickCheck для некоторых вложенных списков, это выглядит примерно так: type Constraint = Text
data Value = Value [ограничение]
data Literal = Литеральное значение [значение]
type Formula = [Literal]
...
вопрос задан: 23 January 2012 21:12
0
ответов
Какие-либо чисто функциональные языковые привязки доступны для Selenium2 / WebDriver?
В поисках каких-либо чисто функциональных языковых привязок для Selenium2 / WebDriver я наткнулся на репозиторий привязок Haskell для Selenium RC, но не для Selenium2 / WebDriver. Мне интересно ...
вопрос задан: 23 January 2012 16:48
0
ответов
Можно ли отключить control-C?
Есть ли способ отключить (временно) прерывающий эффект control-C в обычном исполняемом файле Haskell? Контекст: У меня есть небольшое упражнение, которое я задаю каждый год. Это игра ...
вопрос задан: 23 January 2012 09:51
0
ответов
Запись двоичных данных с помощью Haskell для чтения на C?
У меня есть файл, содержащий [Double], сериализованный Data.Binary, который я хотел бы прочитать с помощью C. То есть я хочу написать программу на C, которая читает эти данные в память как double[]. Я планирую написать ...
вопрос задан: 23 January 2012 00:16
0
ответов
Использование интегральных типов с малым размером битов, таких как ` Int8` и для чего они нужны
Недавно я узнал, что каждый цикл вычислений выполняется с машинными словами, которые на большинстве современных процессоров и ОС являются 32-битными или 64-битными. Итак, каковы преимущества использования меньшего ...
вопрос задан: 22 January 2012 19:26
0
ответов
Автоматически добавлять сигнатуры типов к функциям верхнего уровня
Я был ленив и написал модуль Haskell (используя превосходную EclipseFP IDE), не задав сигнатуры типов для моих функций верхнего уровня. EclipseFP использует HLint для автоматической пометки каждого нарушителя ...
вопрос задан: 22 January 2012 18:30
0
ответов
Почему синонимы типов не разрешают рекурсию в Haskell?
Может ли кто-нибудь объяснить, почему эти оба компилируются без проблем : data A a b = A { a :: a, b :: b }
newtype B a = B (A a (B a))
newtype C = C (A Int C) Но я не могу создать аналогично рекурсивно определенные типы ...
вопрос задан: 22 January 2012 18:16
0
ответов
ошибка сборки zlib с GHC
Я использую виртуальную машину со следующей конфигурацией: Arch Linux (ядро 3.0-ARCH)
GHC 7.0.3
cabal-install 0.10.2
Библиотека Cabal 1.10.1.0 Когда я пытаюсь собрать zlib с помощью cabal... $ cabal install zlib I ...
вопрос задан: 22 January 2012 17:56
0
ответов
Функция Haskell, которая принимает тип и значение и проверяет, имеет ли значение этот тип
Я пытаюсь создать простой интерпретатор схемы на Haskell. В рамках этого я реализую некоторые примитивные операторы, такие как число ?, строка? и т.д. У меня есть такой код: isNumber :: [LispVal] -> ...
вопрос задан: 21 January 2012 23:24
0
ответов
Какая библиотека Haskell для интерполированных строк
Есть много разных libra ries на Hackage, имеющем дело с интерполированными строками. Некоторые из них имеют низкое качество, в то время как другие зависят от количества поддерживаемых функций. Какие из них стоит использовать? Примеры ...
вопрос задан: 21 January 2012 21:45
0
ответов
ViewPatterns и множественные вызовы в Haskell
Я прочитал вот это: http://hackage.haskell.org/trac/ghc/wiki/ViewPatterns Мне нравится идея, я хочу использовать расширение. Однако я хотел бы убедиться в одной вещи: является ли функция представления ...
вопрос задан: 21 January 2012 16:57
0
ответов
Как сворачивать списки ленивых типов ([IO a])?
Я не знаю, допустим ли это термин «ленивые типы». Но все же IO ленив, поэтому в импорте Control.Monad
import Data.List result :: IO Double
result = foldl1 '(liftM2 (+)) $ map return [1..10000000] ...
вопрос задан: 21 January 2012 15:56
0
ответов
Простая индикация прогресса в консоли
Как проще всего отображать ход работы в консоли? Достаточно вывести процент, индикатор выполнения не нужен. Использование только печати приведет к появлению большого количества строк, я хочу только ...
вопрос задан: 21 January 2012 14:14
0
ответов
GADT для полиморфного списка
Я разбираю несколько операторов вида v1 = expression1
v2 = выражение2
... Я использую Монаду состояния, и мое состояние должно быть парой (String, Expr a), я действительно настаиваю на наличии ...
вопрос задан: 20 January 2012 17:31
0
ответов
Есть ли хорошие инструменты для развязывания узлов в Haskell?
У меня есть структура данных с несколькими различными типами внутренних круговых связей, что делает ее бесконечной в смысле, скажем, команды cycle. Есть ли какие-нибудь интересные модули для сворачивания таких ...
вопрос задан: 20 January 2012 17:03
0
ответов
Компиляция нескольких .hs файлов Haskell - Unix
Я создал несколько файлов из проекта в Unix, их много и если я хочу выполнить его на другом компьютере или в другой папке, мне нужно скопировать туда все файлы. Все они подключены через импорт.
Как я могу сделать ...
вопрос задан: 20 January 2012 16:55
0
ответов
Результат монады внутри преобразователя монад
Это мое первое знакомство с преобразователями монад, поэтому ответ может быть очевиден. Допустим, я нахожусь внутри блока do типа StateT MyMonad MyType, я хочу создать другую функцию того же типа ...
вопрос задан: 20 January 2012 15:27
0
ответов
Встраивание более высоких типов (монад!) В нетипизированное лямбда-исчисление
В нетипизированном лямбда-исчислении можно кодировать различные типы с помощью функций более высокого порядка. Примеры:
ноль = λfx. Икс
один = λfx. FX
два = λfx. f (fx)
три = λfx. f (f (fx))
и т.д ...
вопрос задан: 20 January 2012 01:20
0
ответов
Обнаружение циклов графа (может быть направленным или неориентированным) в Haskell
Я начал решать эту проблему императивным способом, и он работает (DFS с традиционными тремя методами раскраски). Однако мне нужно втрое больше времени, чтобы понять, как это сделать. Haskell, и я потерпел неудачу! ...
вопрос задан: 20 January 2012 01:11
0
ответов
Почему этот код Haskell компилируется?
Дано: uncurry :: (a-> b -> c) -> (a , b) -> c id :: a -> a Вызов uncurry id приводит к функции типа: (b -> c, b) -> c Как мы можем получить этот результат? Как вы можете использовать ...
вопрос задан: 20 January 2012 01:02
0
ответов
то, как merge-sort быстрее insertion-sort, озадачивает меня
Только что намочил ноги в алгоритме сортировки на Haskell. Я реализовал insertion-sort и merge-sort insert_sort :: (Ord a, Show a) => [a] -> [a].
insert_sort keys = foldr f [] keys ...
вопрос задан: 19 January 2012 21:00
0
ответов
Классы типов и записи как интерфейсы
У меня ужасные времена, когда я пытаюсь подключить функции во время выполнения (что мне и приходится делать), что может включать ограничения класса типов на входах и выходах функции. В таком языке, как Java, ...
вопрос задан: 19 January 2012 20:55
0
ответов
Haskell - синтаксический сахар сопоставления с образцом и где
Часто у меня есть функция такого образца: f :: a -> b
fx = case x of ... -> g ... ... -> g ... ... ... -> g ... где g = ... Почти для этого случая есть синтаксический сахар : ...
вопрос задан: 19 January 2012 19:51
0
ответов
Компиляция в GHC Core
Я хотел бы создать интерфейс для простого языка, который бы производил GHC Core. Затем я хотел бы взять этот вывод и пропустить его через обычный конвейер GHC. Согласно этой странице, это не ...
вопрос задан: 19 January 2012 13:40
0
ответов
Можно ли использовать Haskell для написания сценариев оболочки?
Можно ли писать сценарии оболочки на Haskell, и если да, то как вы это делаете? Просто так переводчик поменять? #! / bin / ghci
вопрос задан: 19 January 2012 12:09
0
ответов
haskell - какой способ создать собственную группу прагм LANGUAGE?
У меня есть проект Haskell, который регулярно использует множество языковых функций, и я хочу, чтобы блок расширения языка для каждого исходного файла был одинаковым. Вот список, {- # LANGUAGE Arrows, ...
вопрос задан: 19 January 2012 08:55