0
ответов

Есть ли лучший способ конвертировать из UTCTime в EpochTime?

Я хочу установить время изменения файла на время, полученное мной из данных exif. Чтобы получить время из exif, я нашел: Graphics.Exif.getTag :: Exif -> String -> IO (Maybe String) Чтобы установить файл ...
вопрос задан: 16 November 2010 12:56
0
ответов

Дизайн «коллекций» языка Haskell

Почему реализация Haskell так сосредоточена на связанных списках? Например, я знаю, что Data.Sequence более эффективен с большинством операций со списками (за исключением операции cons) и часто используется; ...
вопрос задан: 15 November 2010 01:42
0
ответов

Haskell date parsing and formatting

I've been working with Haskell's Date.Time modules to parse a date like 12-4-1999 or 1-31-1999. I tried: parseDay :: String -> Day parseDay s = readTime defaultTimeLocale "% m% d% Y" s И я думаю ...
вопрос задан: 13 November 2010 19:55
0
ответов

Что такое самобалансирующееся дерево самый простой в функциональном программировании?

Я проектирую самобалансирующееся дерево на Haskell. В качестве упражнения и потому, что его приятно держать в руке. Раньше в C и Python я предпочитал Treaps и Splay Trees из-за их простоты ...
вопрос задан: 13 November 2010 19:39
0
ответов

Импорт модулей Haskell

Я новичок в Haskell. Почему я пытаюсь использовать Days from Data. Раз я получаю эту ошибку: не удалось найти модуль `Data.Time ': он является членом скрытого пакета` time-1.1.4'. Возможно, вы ...
вопрос задан: 13 November 2010 19:32
0
ответов

Чтение и представление ввода, который определяет используемый тип данных

Я хотел бы прочитать некоторые данные который сам определяет используемый тип данных. Например, предположим, что могут быть такие пользовательские вводы: пара целых чисел 1 2 целое тройное 1 2 3 настоящая пара 1 2 real triple ...
вопрос задан: 13 November 2010 19:05
0
ответов

Отступ Emacs Haskell

Пожалуйста, помогите мне настроить правильный отступ в Emacs haskell-mode. Когда я пытаюсь ввести что-то вроде ADT или записи, я ошибаюсь столбец после нажатия и нажатия & ...
вопрос задан: 13 November 2010 00:05
0
ответов

Полезные проекты на Haskell

Мне очень жаль, если я задам неправильный вопрос, но мне действительно нужна профессиональная помощь. Мне нужно сделать довольно сложный проект для начинающего, используя Visual Haskell, для курса функционального программирования. ...
вопрос задан: 12 November 2010 18:29
0
ответов

Использование Кабала (Haskell)

Кабала постоянно испытывает проблемы с зависимостями. Это действительно утомительно. . Пока я пытался заставить работать много вещей, вот моя попытка установить оснастку: $ sudo cabal install snap-server Устранение зависимостей ....
вопрос задан: 6 November 2010 20:26
0
ответов

FRP (реактивный): Как использовать filterE?

Я ожидаю, что следующий будет печатать «()» 10 раз в секунду. Но зависает через секунду. Зачем? adapE $ fmap print $ filterE (const True) $ atTimes [0.1, 0.2 ..] Я обнаружил, что это связано с использованным лифтом M ...
вопрос задан: 6 November 2010 13:08
0
ответов

Парсинг в Haskell для простого интерпретатора

Я относительно новичок в Haskell, так как основной опыт программирования взят из объектно-ориентированных языков. Пытаюсь написать интерпретатор с парсером для простого языка программирования. На данный момент у меня есть ...
вопрос задан: 6 November 2010 01:43
0
ответов

Хвостовая рекурсия в Haskell

Я пытаюсь понять хвостовую рекурсию в Haskell. Думаю, я понимаю, что это такое и как работает, но я хотел бы убедиться, что не все испортил. Вот «стандартное» определение факториала: ...
вопрос задан: 4 November 2010 01:09
0
ответов

Есть ли оператор, обратный Haskell $?

Быстрый вопрос, есть ли в Haskell оператор, который работает как знак доллара, но дает приоритет левой стороне. IE вместо f (x 1), записываемого как f $ x 1, я бы хотел написать ...
вопрос задан: 3 November 2010 18:21
0
ответов

iphone и уведомления: максимальное количество уведомлений?

У меня есть приложение для iPhone, отправляющее уведомления, и все работает нормально ... За исключением случаев :) Позвольте мне объяснить: я использую довольно простой скрипт PHP для отправки уведомлений (с помощью ...
вопрос задан: 3 November 2010 11:18
0
ответов

Компиляторы для Haskell

AFAIK GHC - самый распространенный компилятор сегодня, но я также вижу , что доступны и некоторые другие компиляторы. Действительно ли GHC - лучший выбор для всех целей, или я могу использовать что-нибудь другое? Для ...
вопрос задан: 3 November 2010 06:52
0
ответов

Лямбда для выражений типов в Haskell?

Haskell или конкретный компилятор, есть что-нибудь вроде лямбда-выражений на уровне типов (если это вообще термин)? Чтобы уточнить, скажем, у меня есть параметризованный тип Foo ab и я хочу, чтобы Foo _ b был экземпляром, скажем, ...
вопрос задан: 1 November 2010 14:37
0
ответов

Запрос пароля в приложении командной строки Haskell

Следующая программа Haskell запрашивает у пользователя пароль в терминале и продолжает, если он ввел правильный: main = do putStrLn "Пароль:" пароль <- getLine case ...
вопрос задан: 31 October 2010 20:03
0
ответов

Облегченная непрерывная интеграция для централизованной цепочки инструментов Haskell / Darcs?

Мне нужен простой CI для небольшой настройки разработчика. Две мотивации - полная сборка занимает некоторое время, и ожидаемый набор тестов также займет некоторое время. Я действительно предпочел бы не погружаться с головой в одно ...
вопрос задан: 31 October 2010 09:34
0
ответов

In what sense is the IO Monad pure?

I've had the IO monad described to me as a State monad where the state is "the real world". The proponents of this approach to IO argue that this makes IO operations pure, as in referentially ...
вопрос задан: 31 October 2010 05:47
0
ответов

Runtime comparison of types for lifting polymorphic data structures into GADTs

Suppose we define a GADT for comparison of types: data EQT a b where Witness :: EQT a a Is it then possible to declare a function eqt with the following type signature: eqt :: (Typeable a, ...
вопрос задан: 31 October 2010 01:18
0
ответов

Variables in Haskell

Why does the following Haskell script not work as expected? find :: Eq a => a -> [(a,b)] -> [b] find k t = [v | (k,v) <- t] Given find 'b' [('a',1),('b',2),('c',3),('b',4)], the ...
вопрос задан: 29 October 2010 16:15
0
ответов

Как мне перевести класс типа Haskell в F #?

Я пытаюсь перевести стрелки основной библиотеки Haskell на F # (я думаю, что это ' это хорошее упражнение для лучшего понимания Arrows и F #, и я мог бы использовать их в проекте, над которым я работаю.) ...
вопрос задан: 27 October 2010 15:34
0
ответов

How do I write a parallel reduction using strategies in Haskell?

In high-performance computing, sums, products, etc are often calculated using a "parallel reduction" that takes n elements and completes in O(log n) time (given enough parallelism). In Haskell, we ...
вопрос задан: 26 October 2010 21:32
0
ответов

Общие сведения об ошибке GHC «Полное имя в позиции привязки»

Если я создаю модуль AModule с классом типов Foo, модуль AModule где class Foo a where bar :: a и в другом модуле BModule импорт AModule квалифицирован и попытается сделать какой-то тип экземпляром ...
вопрос задан: 26 October 2010 07:24
0
ответов

Материал для изучения GADT

Я начал читать о GADT в Haskell Wiki, но не чувствовал себя комфортно в его понимании. Вы порекомендуете отдельную главу книги или сообщение в блоге, объясняющее GADT для новичка в Haskell?
вопрос задан: 26 October 2010 00:14
0
ответов

Общий класс типа преобразования

Я хотел бы посмотреть, возможно ли иметь тип класс для преобразования одной вещи в другую и обратно из отображения [(a, b)]. Этот пример должен проиллюстрировать то, что я хотел бы сделать: data XX = ...
вопрос задан: 24 October 2010 10:16
0
ответов

Как получить параметры типа из SYB dataTypeOf

Учитывая тип данных data Foo = Foo1 {foo1Name :: String} | Foo2 {foo2Name :: String, foo2Age :: Integer} Я хотел бы иметь возможность извлекать Data.Data.DataTypeS из полей Foo1 и Foo2s. Я ...
вопрос задан: 24 October 2010 09:24
0
ответов

Насколько маленькими я должен делать модули на Haskell?

Я пишу игру-змейку на Haskell. Вот некоторые из вещей, которые у меня есть: Тип данных Coord Тип данных Line Тип данных Rect Класс типа Polygon, который позволяет мне получить Rect как серия строк (...
вопрос задан: 23 October 2010 00:32
0
ответов

Есть ли способ выразить в Haskell, что тип должен быть экземпляром класса типов более чем одним способом?

(Заранее извините, если вопрос глупый или очевидно - у меня нет большого опыта работы с Haskell). Есть ли способ выразить, что тип должен быть экземпляром класса типов более чем в одном ...
вопрос задан: 22 October 2010 17:05
0
ответов

Используется ли FC ++ в каких-либо проектах с открытым исходным кодом?

Библиотека FC ++ обеспечивает интересный подход к поддержке концепций функционального программирования на C ++. Короткий пример из FAQ: take (5, map (odd, enumFrom (1))) FC ++, кажется, занимает много ...
вопрос задан: 22 October 2010 10:29