Всем привет! Пытаюсь разобраться с data в haskell. Есть фунция: func :: Num

Question

Всем привет! Пытаюсь разобраться с data в haskell. Есть фунция: func :: Num

a => a -> a -> a
func x y = x + y
и я хочу сделать data внутри которой хранится что-то + функция такого же типа, что и func выше. Пробую написать так:
data Func = Func
{ function :: Num a => a -> a -> a
} deriving (Show)
но оно не компилируется:
error: Not in scope: type variable ‘a’
Я так понимаю, я должен что-то про a написать в первой строке, но куда и как правильно это сделать?

#haskell #programming #russian

0

26.03.2022

1 ответов

16 просмотров

Elijah · Accepted Answer

Elijah

такой констрейнт можно добавить если включить RankNTypes

0

26.03.2022

169 похожих чатов

Всем привет! Пытаюсь разобраться с data в haskell. Есть фунция: func :: Num

1 ответов

Похожие вопросы