Ошибка при загрузке файла (с функциями)

@Bolbine84455 · Регистрация: 12.03.2014

Содержимое файла ниже. Проблема с функцией myexpr. Что-то не так с типами, но я не могу понять сообщение об ошибке:

Haskell

fib :: Integer -> Integer
fib 0 = 0
fib 1 = 1
fib n = fib(n-2) + fib(n-1)
 
fact :: Integer -> Integer
fact 0 = 1
fact n = n*fact(n-1)
 
nod :: Integral a => a -> a -> a
nod a 0  =  a
nod a b  =  nod b (a `mod` b)
 
myexpr :: Integer -> Integer -> a
myexpr n m = nod (fib(n),fact(n `mod` m))

@Curry · 16.07.2017, 11:39

У вас проблема не только с типами. Синтаксис Haskell посмотрите в любом учебнике.

Haskell

1 2	myexpr :: Integer -> Integer -> Integer myexpr n m = nod (fib n) (fact (n `mod` m))

Список аргументов функции в Haskell не помещается в скобки () и не разделяется запятыми. Т.е. то что на Си

C

1	foo(x+1,z,t-2)

На Haskell

Haskell

1	foo (x+1) z (t-2)

С типами сложнее. Различайте => (которое только перед перечислением типов аргументов м.б.) и разделитель аргументов (и возвращаемого значения) - ->.

Haskell

1	fact :: Integer -> Integer

Означает что и аргумент функции, и возвращаемое значение конкретный тип Integer.
А

Haskell

1	nod :: Integral a => a -> a -> a

Означает что оба аргумента и возвращаемое значение какой то тип являющийся экземпляром класса типов Integral, т.е. с ними можно использовать функции определённые для Integral, например mod. Конкретный тип Integer является экземпляром (instance) Integral, так что функцию nod можно вызывать для Integer, что и делается в myexpr.
Если хотите на самом деле что то понять, то список учебников в этом разделе есть.

@Catstail · 16.07.2017, 17:53

Если есть проблемы с типами, то для простых функций можно типы вообще не указывать. Haskell выведет типы сам. Ну и если очень хочется работать "со скобками" то можно поступить так:

Haskell

fib 0 = 0
fib 1 = 1
fib n = fib(n-2) + fib(n-1)
 
fact 0 = 1
fact n = n*fact(n-1)
 
nod (a,0)  =  a
nod (a,b)  =  nod (b,a `mod` b)
 
myexpr n m = nod (fib(n),fact(n `mod` m))
 
-- Проверка:
 
*Main> myexpr 10 20
5
*Main> :t fib
fib :: (Eq a1, Num a, Num a1) => a1 -> a
*Main> :t fact
fact :: (Eq a, Num a) => a -> a
*Main> :t nod
nod :: Integral t => (t, t) -> t
 
*Main> :t myexpr
myexpr :: Integral t => t -> t -> t

@Curry · 16.07.2017, 18:00

Не по теме:

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

Ну и если очень хочется работать "со скобками" то можно поступить так

Какой кошмар! :)

@Case-Man · 21.07.2017, 02:16

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

для простых функций можно типы вообще не указывать

У меня часто бывает наоборот - стоит прописать типы функций - и сообщения об ошибках становятся более разумными.

@Curry
	16.07.2017, 18:00 #4
	Не по теме: Сообщение от Catstail Ну и если очень хочется работать "со скобками" то можно поступить так Какой кошмар! :) 0

@Case-Man 167 / 107 / 22 Регистрация: 02.01.2012 Сообщений: 596
	21.07.2017, 02:16	5
	Сообщение от Catstail для простых функций можно типы вообще не указывать У меня часто бывает наоборот - стоит прописать типы функций - и сообщения об ошибках становятся более разумными. 3

Опции темы

Ошибка при загрузке файла (с функциями)

Решение