我遇到了问题,因为下面的代码不起作用。我认为它会比较类型,所以它总会返回' a'对于我想要比较的功能。我该怎么办呢?是否有任何功能模式根据名称不同的功能?
leftHasPriority :: (a->b->c) -> (e->f->g) -> Char
leftHasPriority _ (^) = 'a'
leftHasPriority (^) _ = 'b'
leftHasPriority (*) _ = 'c'
leftHasPriority (div) _ = 'd'
leftHasPriority _ (*) = 'e'
leftHasPriority _ (div) = 'f'
leftHasPriority _ _ = 'g'