pattern-guards

1зной

1ответ

Предлагаемые ScopedTypeVariables В подписи типа шаблона

Я начал писать код Haskell. Я попытался написать функцию Фибоначчи, используя гвардию - fibo :: (Num z, Ord z) => z -> z fibo d | d <= 0 = 0 | d == 1 = 1 | otherwise = fibo (d-1) +

1зной

1ответ

Haskell: Синтаксис шаблона в контексте выражения: _

Я новый человек в Haskell. Вот моя программа: maybe_divide :: Maybe Integer -> Maybe Integer -> Maybe Integer maybe_divide a b = case (a, b) of (Just a, Just b) | (Just a, Just b) | (Nothing, _

2зной

1ответ

Функция проверки Haskell, если число нечетное, без использования нечетной функции

Может ли кто-нибудь помочь мне с этим? Я пытаюсь написать функцию проверки, если x нечетно, без использования нечетной функции. Нравится это не работает, но я не знаю почему. ugerade :: Integral a =>

2зной

2ответ

Erlang/Elixir охранники и arity

Есть ли способ увидеть охранники функции, не видя исходный код? Учитывая пример функции (в эликсира): def divide(x, y) when y != 0 do x/y end Как один выяснить, что есть охранник разделяй/2 бе

5зной

1ответ

Не знаю, почему этот шаблон охранник соответствует

обучения Haskell, и я не знаю, почему я не получить ожидаемый результат, учитывая эти определения: instance Ring Integer where addId = 0 addInv = negate mulId = 1 add = (+) m

21зной

1ответ

предупреждение, что шаблон охранник не является исчерпывающим, хотя это

я наблюдаем интересное поведение при использовании шаблона сопоставления с шаблоном охранниками и все предупреждения включены {-# OPTIONS_GHC -Wall #-} module Mood where data Mood = Happy |

0зной

3ответ

Haskell Says My Guard имеет ошибку анализа

Итак, я играл с Haskell за последние пару дней, и решил, что сделаю базовое определение последовательности Фибоначчи. Так что я написал этот код: main = do fib :: (Integral a) => Int -> Int