1

下面的代码非常适合这样的输入：

*Main> eval 'y' (21 :: Int)
42
*Main> eval 'x' 'a'
42
*Main> eval (21 :: Int) (21 :: Int)
42
*Main> eval (42 :: Int) 'a'
42

这背后的一般问题是我想添加两件事。添加到Ints 并不难实现（它已经内置）。但是我有一个给定的函数（here geti），它将 s 解析Char为Ints 并且我的add-function 现在应该添加两个Ints 以及Int与Char（在每个排列中）结合。Chars 由函数转换为getisInt以便可以添加它们。我想到了另一个解决方案，它可能是：

eval (geti 'a') (42 :: Int)

但这对我来说是不可能的。

所以总的来说，我的问题是：有没有办法让它更简单或更优雅地实现？

这是代码：

-- A static function only used to resolve some demo data
geti :: Char -> Int
geti c | c == 'x' = 42
       | c == 'y' = 21
       | c == 'z' = 10
       | otherwise = 0


-- Here comes the problem:
class Eval t1 t2 where 
    eval :: t1 -> t2 -> Int

instance Eval Int Int where
    eval a b = a + b

instance Eval Int Char where
    eval a c = a + (geti c)

instance Eval Char Int where
    eval c b = (geti c) + b

instance Eval Char Char where
    eval c1 c2 = (geti c1) + (geti c2)

PS：我还尝试将此处的解决方案与“通用”（是的，它是 Java 语言，但我是 Haskell 的新手...... sry）函数结合起来，但这不起作用......

4

1 回答 1

7

我认为为“可以转换为Int”构建一个类型类并使用它来实现会更直接eval：

class Intable a where
   intify :: a -> Int

instance Intable Int where
   intify = id

instance Intable Char where
   intify = geti


eval :: (Intable a, Intable b) => a -> b -> Int
eval a b = intify a + intify b
于 2013-01-13T17:11:37.967 回答