0
ответов
Есть ли в Haskell способ запросить состояние потока с помощью ThreadID после forkIO?
Я ищу простую функцию типа: alive :: ThreadID -> IO Bool
вопрос задан: 28 February 2012 02:07
0
ответов
Укороченный код, который обрабатывает ввод-вывод
Я написал небольшой фрагмент кода, который обрабатывает ввод консоли: main :: IO ()
main = do input <- readLine ">" цикл input loop :: String -> IO ()
loop input = do case input ...
вопрос задан: 28 February 2012 00:05
0
ответов
Haskell / GHC: Как писать предикаты на натуральных типах
Могу поклясться, что недавно видел статью об этом, но я не могу ее найти. Я пытаюсь создать тип для двоичного кодирования чисел по модулю n, но для этого мне нужно иметь возможность записывать предикаты для ...
вопрос задан: 27 February 2012 23:46
0
ответов
Какая библиотека Haskell для геометрии компьютерной графики?
Я хотел бы провести несколько экспериментов с компьютерной графикой на Haskell. Это будет включать в себя выполнение некоторых геометрических расчетов и, в конечном итоге, написание трассировщика лучей. Какую библиотеку мне выбрать для упрощения ...
вопрос задан: 27 February 2012 21:21
0
ответов
Стрелки Haskell внутри кортежей
Я хочу создать кортеж, содержащий стрелку и строку, описывающую стрелку. Если я сделаю это с помощью функций (вместо стрелок), следующее будет работать, как ожидалось: funTimes10 = (* 10)
description10 = "...
вопрос задан: 27 February 2012 13:49
0
ответов
runST и композиция функций
Почему выполняется проверка типов: runST $ return $ True В отличие от следующего: runST. return $ True GHCI жалуется: не удалось сопоставить ожидаемый тип forall s. ST s c0 'с фактическим типом `...
вопрос задан: 27 February 2012 05:59
0
ответов
Каков синтаксис типов ограничений для GHC 7.4.1?
Я получаю сообщение об ошибке, что ограничение не входит в область действия, когда я пытаюсь написать простой пример, {- # LANGUAGE UndecidableInstances, MultiParamTypeClasses, KindSignatures,. ..
вопрос задан: 26 February 2012 04:31
0
ответов
Функциональные тесты Haskell против JSON API
Я пишу Haskell JSON API, и я хотел бы написать несколько тестов. Это действительно тяжелый ввод-вывод, поэтому я думаю, что имеет смысл написать несколько функциональных тестов: (добавьте Foo, посмотрите, вернет ли его / foos /), ...
вопрос задан: 26 February 2012 00:33
0
ответов
Перехват / захват stdout в haskell
Как я могу определить 'catchOutput' так, чтобы выполнялись только основные выходы 'bar'? То есть, как я могу получить доступ к выходному потоку (stdout) и фактическому выходу действия io по отдельности? catchOutput :: IO ...
вопрос задан: 25 February 2012 23:42
0
ответов
Использование карты с двумя списками вместо одного. Можете ли вы гнездиться?
Мне нужно несколько раз запустить функцию, которая принимает два аргумента. У меня есть два списка, содержащие эти аргументы, и я хотел бы иметь возможность использовать карту или что-то подобное для вызова функции с помощью ...
вопрос задан: 25 February 2012 22:16
0
ответов
Стратегия оценки
Как следует рассуждать об оценке функции в примерах вроде следующего в Haskell: let f x = ... x = ...
in map (g (fx)) xs В GHC иногда (fx) оценивается только один раз, а иногда ...
вопрос задан: 25 February 2012 00:00
0
ответов
Эффективное преобразование между упакованными и неупакованными векторами
Каков рекомендуемый способ преобразования между Data.Vector.Unboxed и Data.Vector. В частности, мне нужно сопоставить функцию с вектором, который преобразует тип элемента без упаковки, такой как Int, в ...
вопрос задан: 24 February 2012 22:46
0
ответов
ghci-завершение табуляции в режиме haskell
Очень приятно иметь ghci, интегрированный с Emacs через inferior-haskell-mode: это добавляет прекрасную возможность быстро перемещаться по местам ошибок компиляции, интерактивно проверять типы и т. Д.
вопрос задан: 24 February 2012 16:28
0
ответов
withFile vs. openFile
Эта программа производит результат, который я ожидаю, когда задан входной файл с текстом, разделенным \ n: import System.IO main :: IO ()
main = do h <- openFile "test.txt" ReadMode xs <- getlines ...
вопрос задан: 24 February 2012 01:51
0
ответов
Strict fmap с использованием только Functor, а не Monad
Одно раздражение, связанное с ленивым вводом-выводом, привлекло мое внимание недавно import System.IO
import Control.Applicative main = withFile "test.txt" ReadMode getLines >> = mapM_ putStrLn where getLines h = ...
вопрос задан: 24 February 2012 00:28
0
ответов
Действительно ли индексирование Data.Vector.Unboxed.Mutable.MVector настолько медленное?
У меня есть приложение, которое тратит около 80% своего времени на вычисление центроида большого список (10 ^ 7) векторов большой размерности (dim = 100) с использованием алгоритма суммирования Кахана. Я старался изо всех сил ...
вопрос задан: 23 February 2012 23:50
0
ответов
Является ли это разумным представлением о вводе-выводе Haskell?
Приведено ли такое представление о вводе-выводе Haskell? «Вычисление ввода-вывода»
Затем он выполняет или «запускает» это вычисление ...
вопрос задан: 23 February 2012 23:47
0
ответов
Строки с эффективным использованием памяти в Haskell
Обычно рекомендуемые типы строк в Haskell выглядят как ByteString или Text. Я часто работаю с очень большим количеством коротких (размером с английское слово) строк, и обычно мне нужно сохранять их в поиске ...
вопрос задан: 23 February 2012 10:52
0
ответов
Довольно печатный исходный код haskell с комментариями
Я пытаюсь переформатировать / перепечатать исходный код haskell (удалить / добавить пробелы, разрывы строк, изменить стиль отступа ...). Я нашел пакет haskell-src-exts, который может анализировать и печатать haskell ...
вопрос задан: 23 February 2012 07:48
0
ответов
Haskell: фильтрация гетерогенного списка по типу
Мы можем использовать парные последовательности для создания гетерогенных списков в Haskell: type a *: b = (a, b)
а *: Ь = (а, б)
infixr 5 *: hlist :: Int *: String *: Может быть с плавающей запятой *: ()
hlist = 1 *: "hello" *: Just 3 *: () --...
вопрос задан: 22 February 2012 13:44
0
ответов
Определение нижнего значения в Haskell
Я написал функцию haskell, которая разбивает список xs на (начальный xs, последний xs) следующим образом: split xs = split' [] xs where split' acc (x:[]) = (reverse acc, x) split' acc (x:xs) = ...
вопрос задан: 22 February 2012 09:27
0
ответов
Cabal не работает в Mac OS X Lion из-за пути gcc
Я только что сделал новую установку Mac OS X Lion и установил Xcode 4.3 и платформу Haskell 2011.4.0.0. Когда я попытался установить пакеты от Cabal, я получил следующую ошибку: cabal install cabal -...
вопрос задан: 22 February 2012 01:36
0
ответов
Извлечение экспоненты и мантиссы числа Javascript
Есть ли достаточно быстрый способ извлечь показатель степени и мантиссу из числа в Javascript? Насколько мне известно, в Javascript нет способа разобраться в деталях, стоящих за Числом, из-за чего мне кажется, что ...
вопрос задан: 21 February 2012 20:39
0
ответов
разбор и чтение значений с плавающей точкой в Haskell
Я работаю над разбором в haskell, я хочу разобрать значение timestamp, выраженное таким образом 946685561.618847 Я без проблем распознал (разобрал) его, но моя проблема заключается в типе ...
вопрос задан: 21 February 2012 16:04
0
ответов
Убедить компилятор в том, что существует допустимая цепочка экземпляров
Хорошо. Проблема здесь довольно абстрактная. Потерпите меня. У меня есть несколько «Юнитов», каждый из которых имеет определенные свойства. Эти свойства определены в классе Seq, например: class Seq a x y ...
вопрос задан: 20 February 2012 04:38
0
ответов
Haskell: поощрение GHC к выводу правильного промежуточного типа
Я подумал, что было бы неплохо разрешить произвольное последовательное сравнение в Haskell, чтобы вы могли выполнять простые проверки диапазона, например: x <= y
вопрос задан: 19 February 2012 17:28
0
ответов
Emacs Haskell Mode Flymake
Я пытался заставить Flymake работать с режимом Haskell в emacs. Раньше у меня это работало, и я должен сказать, что комбинация Flymake и системы типов Haskell смехотворна ...
вопрос задан: 19 February 2012 09:17
0
ответов
Как получить буквальное значение именованной переменной TemplateHaskell
Если у меня есть имя в TemplateHaskell и я хочу узнать значение переменной, которую он называет, при условии, что переменная объявлена как литерал, может ли это быть сделано? var = "foo"
- Может `contentsOf` ...
вопрос задан: 19 February 2012 00:27
0
ответов
Получить содержимое модуля
Команды: browse,: info и: type GHCi очень удобны. Возможно ли получить ту же информацию программно в программе на Haskell? То есть, чтобы получить экспортированные функции из модуля, ...
вопрос задан: 18 February 2012 18:43
0
ответов
Какие возможные значения для функции «os» System.Info в Haskell?
Какие возможные значения для функции «os» из пакета System.Info в стандартных библиотеках? Также: являются ли эти значения надежными, переносимы ли они во многие компиляторы? Будет ли обниматься в окнах ...
вопрос задан: 18 February 2012 13:31