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

@gyok · Регистрация: 18.05.2014

Author24 — интернет-сервис помощи студентам

Есть задача: Напишите функцию beside :: Nat -> Nat -> Bool , которая будет возвращать True только в том случае,
если два аргумента находятся рядом, то есть один из них можно получить через другой операцией Succ .
вот код который нам дан:

Haskell

module Nat where
 
data Nat = Zero | Succ Nat
    deriving (Show, Eq, Ord)
 
instance Num Nat where
    (+) a Zero     = a
    (+) a (Succ b) = Succ (a + b)
 
    (*) a Zero     = Zero
    (*) a (Succ b) = a + (a * b)
 
    fromInteger 0  = Zero
    fromInteger n  = Succ (fromInteger (n-1))
 
    abs x          = x
    signum Zero    = Zero
    signum _       = Succ Zero
 
    negate _       = error "negate is undefined for Nat"

Когда пишу

Haskell

1 2	beside :: Nat -> Nat -> Bool beside a Succ(a) = True

выдает ошибку
Conflicting definitions for `a'
Bound at: Nat.hs:23:8
Nat.hs:23:15
In an equation for `beside'

как мне написать эту функцию не используя if then else?

@Araneo · 18.05.2014, 17:17

Например так.

Haskell

1 2	beside :: Nat -> Nat -> Bool beside a b = a == Succ b \|\| b == Succ a

@korvin_ · 18.05.2014, 17:26

Сообщение от gyok

выдает ошибку

Потому что, во-первых, скобки неправильно расставил и во-вторых, переменная в образце не может появляться дважды.

@gyok · 18.05.2014, 17:31 **[ТС]**

Божественно

@Catstail · 18.05.2014, 18:27

Или совсем длинно, но без if-then-else:

Haskell

beside :: Nat -> Nat -> Bool
beside a b | a == Succ b = True
           | b == Succ a = True
           | otherwise=False

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

Решение

Решение

@korvin_ 4486 / 2721 / 485 Регистрация: 28.04.2012 Сообщений: 8,590
	18.05.2014, 17:26	3
	Сообщение от gyok выдает ошибку Потому что, во-первых, скобки неправильно расставил и во-вторых, переменная в образце не может появляться дважды. 1

@gyok 1 / 1 / 0 Регистрация: 18.05.2014 Сообщений: 19
	18.05.2014, 17:31 [ТС]	4
	Божественно 0

	18.05.2014, 18:27