Я как-то могу задать данную функцию bprim над типами SExpr

Question

Я как-то могу задать данную функцию bprim над типами SExpr

без фукторов и аппликативов? Компилятор ругается, что встречается тип а, когда должен быть Int, может быть это убирается разрешением модным?

data SExpr = Atom String
| Number Int
| String String

bprim :: Ord a => (a -> a -> Bool) -> SExpr -> SExpr -> Bool
bprim p (Number a) (Number b) = p a b
-- bprim p (String a) (String b) = p a b
--
-- bprim (>) (Number 12) (Number 11)
-- bprim (>) (String "aa") (String "bb")

#haskell #programming #russian

0

04.06.2023

2 ответов

30 просмотров

кана

а тут "bprim принимает какой-то тип A с инстансом Ord и функцию из двух А в бул, а потом sexpr" и функцию применить к инту нельзя, потому что A и бул это могут быть разные типы

0

04.06.2023

Danil Berestov · Accepted Answer

Danil Berestov

bprim :: (forall a. Ord a. => a -> a -> Bool) -> SExpr -> SExpr -> Bool bprim p (Number a) (Number b) = p a b -- bprim p (String a) (String b) = p a b

0

04.06.2023

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

Я как-то могу задать данную функцию bprim над типами SExpr

2 ответов

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