0
ответов
Есть ли штраф во время выполнения, связанный с классами типов?
Заголовок в значительной степени резюмирует мой вопрос: есть ли штраф во время выполнения, связанный с классами типов Haskell, или это просто одна из тех вещей (например, фантомные типы) без последствий во время выполнения...
вопрос задан: 13 April 2012 22:04
0
ответов
Как вставить операторы let в Haskell?
Я пытаюсь вложить пару операторов let, но получаю синтаксические ошибки, которые мне непонятны. Я действительно новичок в программировании на Haskell, поэтому я уверен, что я просто чего-то не понимаю (...
вопрос задан: 13 April 2012 21:53
0
ответов
Как я могу помочь SpecConstr в GHC?
Я использую GHC 7.4.1, чтобы попытаться скомпилировать программу, использующую Repa. Но на полпути компиляции у меня заканчивается память. С помощью ghc -v я вижу, что он застревает на этапе SpecConstr. ...
вопрос задан: 13 April 2012 18:02
0
ответов
«Зависимые необязательные» данные в Haskell
Рассмотрим тип DateTime, в котором должна присутствовать дата, но часть времени в секундах не является обязательной. Если есть часть времени, может быть необязательная часть миллисекунд. Если миллисекунды...
вопрос задан: 13 April 2012 07:34
0
ответов
Как ускорить (или запомнить)последовательность взаимно рекурсивных функций
У меня есть программа, которая производит последовательность функций f и g, которая выглядит следующим образом:шаг (f,g)= (newF fg, newG fg)newF fgx = r (fx)(gx)newG fgx = s (fx)(gx)foo = iterate...
вопрос задан: 13 April 2012 04:37
0
ответов
Haskell: Правильная практика указывать версию в исходном коде?
Как лучше/правильнее указывать версию в дереве исходного кода?
Я хочу, например, поместить файл VERSION на верхний уровень дерева исходного кода и получить функцию "версия"...
вопрос задан: 13 April 2012 01:29
0
ответов
Haskell заменить элемент в списке
Есть ли встроенная -функция для замены элемента по заданному индексу в haskell? Пример :replaceAtIndex (2,"foo",["bar","bar","bar"] )Должен дать :["bar", "bar", "foo"] Я знаю я мог бы сделать свой...
вопрос задан: 12 April 2012 23:48
0
ответов
Анализ и проектирование для функционального программирования [закрыто]
Как вы справляетесь с этапами анализа и проектирования, когда планируете разрабатывать систему с использованием языка функционального программирования, такого как Haskell? Мой опыт связан с императивным/объектно-ориентированным программированием...
вопрос задан: 12 April 2012 17:57
0
ответов
Почему Haskell выводит конкретный тип (очевидно) непоследовательно?
Я нахожусь в процессе написания игрушечной (физической) векторной библиотеки, и у меня возникли проблемы с тем, что GHC настаивает на том, чтобы функции имели целые числа в своем типе. Я хочу, чтобы векторы умножали векторы, а также...
вопрос задан: 12 April 2012 05:37
0
ответов
Ленивое декартово произведение в Haskell
Я хотел бы сгенерировать довольно большое, но конечное декартово произведение в Haskell, которое мне нужно затем повторить на (думаю, статистическая сумма среднего -полевая модель ). Естественно использовать последовательность,...
вопрос задан: 12 April 2012 00:44
0
ответов
Запутался в пользовательских типах данных в Haskell
Задача :Я пытаюсь создать пользовательский тип данных и вывести его на консоль. Я также хочу иметь возможность сортировать его, используя естественный порядок Haskell. Проблема :Напишите сейчас, я не могу получить это...
вопрос задан: 11 April 2012 22:47
0
ответов
Каковы основные преимущества использования Haskell для веб-разработки? [закрыто]
Я изучаю Haskell во благо. Я хорошо разбираюсь в ООП и различных системах типов. Я использовал Java для разработки веб-приложений (Java EE, spring, Hibernate, struts 1.x), теперь я регулярно использую Python (pylons,...
вопрос задан: 11 April 2012 22:41
0
ответов
Haskell -сравнение простого конструктора (?)функция
В моем проекте я создал тип данных, который может содержать один из нескольких типов значений:data PhpValue = VoidValue | IntValue Целое | BoolValue Bool То, что я хотел сделать сейчас, это иметь простой способ...
вопрос задан: 11 April 2012 19:57
0
ответов
Haskell:Как 'atomicModifyIOref' Работа?
Кто-нибудь может объяснить, как работает atomicModifyIORef? В частности,:(1)Ожидает ли он блокировку или оптимистично пытается повторить попытку, если есть конфликт (подобный TVar). (2)Почему подпись...
вопрос задан: 11 April 2012 12:53
0
ответов
Haskell:Почему нет несоответствия типов (и почему это компилируется)?
Я так хотел спать, что написал следующий код, (модифицированный, чтобы просто показать путаницу):fac s = take 10 [s, s `mod` 1..] maxFactor x = if (s = = [])then x else head &...
вопрос задан: 11 April 2012 08:24
0
ответов
Haskell:TVar:orElse
Вызывается ли «else» часть orElse, когда транзакция повторяется из-за того, что другая транзакция записывает в TVar, который она прочитала, или только когда повтор вызывается явно?
вопрос задан: 11 April 2012 06:35
0
ответов
Haskell:TVar:Предотвращение голодания
Я рассматриваю возможность использования TVar для хранения некоторого состояния в веб-приложении (, которое можно воссоздать при перезапуске). Однако меня беспокоят спорные аспекты TVar. Кажется, частый короткий запуск...
вопрос задан: 11 April 2012 05:38
0
ответов
Почему тип Haskell, «производный Integral», должен быть «производным Enum»?
Недавно я пытался «выучить Haskell» и хотел бы создать новый тип для представления целочисленного состояния, а не просто использовать необработанное целое число (для обеспечения безопасности типов и ясности кода). ]. В частности,...
вопрос задан: 11 April 2012 04:28
0
ответов
Йи не удалось установить
Хотелось бы попробовать редактор Yi, но, к сожалению, он не работает во время установки. Сначала я получаю:> установка cabal, yi haskell-src-exts-1.13.0 не удалось на этапе настройки. ...
вопрос задан: 10 April 2012 19:24
0
ответов
Использование ссылочной-прозрачности для предварительного-вычисления значений в haskell
Допустим, у нас есть такая программа :list = [1..10000000] main = print $sum list Я хочу, чтобы это быть скомпилирована таким образом, чтобы исполняемый файл просто печатал 50000005000000, не занимая столько времени и...
вопрос задан: 10 April 2012 19:00
0
ответов
Быстрая сортировка целых чисел в Haskell
Есть ли в библиотеках Haskell функция, которая сортирует целые числа за время O(n)?? [Под O(n) я подразумеваю более быструю, чем сортировка сравнением, и специфичную для целых чисел] По сути, я считаю, что следующий код требует ...
вопрос задан: 10 April 2012 17:29
0
ответов
Хороший исходный код Haskell для чтения и изучения [закрыто]
Какие программы с открытым исходным кодом используют Haskell и могут считаться современным Haskell хорошего качества? Чем больше кодовая база, тем лучше. Я хочу учиться на их исходном коде. Я чувствую, что ...
вопрос задан: 10 April 2012 12:19
0
ответов
Как добиться хорошей производительности при записи в файл списка целых чисел от 1 до 10 миллионов?
вопрос Мне нужна программа, которая будет писать последовательность вроде 1... 10000000 в файл. Какой простейший код можно написать и получить достойную производительность? Моя интуиция подсказывает, что не хватает--...
вопрос задан: 10 April 2012 07:52
0
ответов
Каков порядок обработки событий для функции разлива в Reactive-Banana?
Я проверил это, и кажется, что порядок обработки событий такой же, как порядок списка в исходном событии. Я не думаю, что могу полагаться на это, поскольку в документации указано только :Emit...
вопрос задан: 10 April 2012 01:16
0
ответов
Неожиданный полу- двоеточия в условном выражении
У меня есть следующая строка кода, которая при компиляции с помощью GHC работает без сучка и задоринки: addRDF c (Just (FILE)) = do (_:file:_) <- getArgs check <- doFileExist file if проверь, затем сделай...
вопрос задан: 9 April 2012 16:52
0
ответов
Тайм-аут чистых функций
Как я могу "убить" чистое вычисление, которое занимает слишком много времени? Я попытался импортировать System.Timeout факт 0 = 1 fact n = n*(fact $ n -1)main = do maynum <-timeout (10 ^ 7)$ (return. fact)...
вопрос задан: 9 April 2012 09:52
0
ответов
Что такое квантификаторы типов?
Многие статически типизированные языки обладают параметрическим полиморфизмом. Например, в C#можно определить :T Foo(T x){ return x; } На сайте вызова вы можете сделать :int y = Foo(3); Эти типы...
вопрос задан: 8 April 2012 13:05
0
ответов
комбинируя монады may и seq: вывод непонятен
Я пытаюсь скомпоновать seq-m и error-m, чтобы выполнять списковые включения вещей, которые могут возвращать ошибки. Мой вывод имеет неожиданные типы, хотя в остальном он действительно кажется разумным. у меня есть...
вопрос задан: 8 April 2012 01:55
0
ответов
Kernighan & Ritchie word count program на функциональном языке
В последнее время я немного читаю о функциональном программировании в Интернете и думаю, что у меня есть базовое представление о концепциях, лежащих в его основе. Мне любопытно, как повседневные проблемы программирования, которые ...
вопрос задан: 8 April 2012 01:08
0
ответов
Как генерировать TAGS для проектов Haskell?
Я ищу ctags, эквивалентный Haskell. Я попробовал hasktags, но у него есть некоторые проблемы: в исходной папке перечислителя запустите hasktags. дает: hasktags: tags: openFile: resource busy (file ...
вопрос задан: 7 April 2012 21:29