0
ответов

Есть ли лучший способ выразить абсолютную функцию ошибки в бесточечной записи?

В точечной нотации: absoluteError xy = abs (xy) Неясный пример в бесточечной нотации: absoluteError' = curry (abs . uncurry (-))
вопрос задан: 13 June 2012 00:38
0
ответов

Когда эта редукция может изменить тип функции& #39;s?

Что именно происходит со следующим? > пусть тест = показать карту > :t тест test ::[ ()] -> [String] > :t (map show) (map show)::Show a => [a] -> [String] I am Интересно, как я...
вопрос задан: 25 April 2012 06:22
0
ответов

Использование функции a → b в качестве «монадической» функции a → mb

В настоящее время я играю с основами Haskell и наткнулся на следующий «вариант использования»: ghci> давайте разделимTenBy x | х == 0 = Ничего | в противном случае = Просто (10 / x) ghci> let составил = ...
вопрос задан: 1 April 2012 03:26
0
ответов

Запись в стиле без смысла f x = g x x

Я учу Хаскель. Я прошу прощения за очень простой вопрос, но я не могу найти ответ. У меня есть функция f, определяемая как: f x = g x x, где g - это уже определенная функция 2 ...
вопрос задан: 6 February 2012 23:45
0
ответов

Определение функций PointFree-Style в функциональном программировании. Какие минусы / плюсы?

каждый раз, когда я пишу что-то из формы, пусть BatchPopulation F популяция = Array.map (весело я -> Fi) население Я в конечном итоге спрашиваю себя, если бы я не буду лучше написать, пусть BatchPopulation F = ...
вопрос задан: 9 September 2011 21:39
0
ответов

Помощь в понимании без разбора code

Когда я играл с Pointfree, мне представили фрагмент кода, который я не могу понять. : pl map (\ x -> x * x) [1..10] - map (join (*)) [1..10] Моя основная проблема в том, что я не ...
вопрос задан: 22 July 2011 23:45
0
ответов

Бесточечное сопоставление с образцом возможно в Haskell?

Дано: data TwoInts = TwoInts Int Int add'em :: TwoInts -> Int add'em (TwoInts ab) = a + b можно ли написать add'em, не называя a и b. Что-то вроде: add'em TwoInts = (+) ...
вопрос задан: 6 May 2011 19:40
0
ответов

В Haskell, выполняя ʻand` и ʻor` для логических функций

я просто написал следующие две функции: fand :: (a -> Bool) -> (a -> Bool ) -> a -> Bool fand f1 f2 x = (f1 x) && (f2 x) f_or :: (a -> Bool) -> (a -> Bool) -> a - & ...
вопрос задан: 18 April 2011 23:55
0
ответов

Когда использовать бессмысленный стиль?

Многим программистам haskell, в том числе и мне, нравится бессмысленный стиль, особенно при написании сложных синтаксических анализаторов. Они делают код более читабельным и менее подробным. Но иногда бывает и наоборот (...
вопрос задан: 16 April 2011 19:34
0
ответов

Форма без точек против стиля

Можете ли вы преобразовать - tupleUnfold :: forall a. ((forall b. a -> b)) -> a -> ((b)) tupleUnfold :: Int -> ExpQ tupleUnfold n = do xs <- forM [1 .. n] (const. newName $ "x") y <- ...
вопрос задан: 21 November 2010 00:16