Question

我想为（二进制）函数实现show方法，并使其能够终止内部函数(a -> a)。

类似伪haskell代码：

instance Show (a->b) where
    show fun = "<<Endofunction>>" if a==b
    show fun = "<<Function>>" if a\=b

我如何区分这两种情况？

Answer 1

您需要启用一些扩展程序：

{-# LANGUAGE OverlappingInstances, FlexibleInstances #-}
module FunShow where

instance Show ((->) a a) where
    show _ = "<<Endofunction>>"

instance Show ((->) a b) where
    show _ = "<<Function>>"

您需要OverlappingInstances，因为实例a -> b也匹配内部函数，因此存在重叠，您需要FlexibleInstances，因为语言标准要求实例声明中的类型变量是不同的。< / p>

*FunShow> show not
"<<Endofunction>>"
*FunShow> show fst
"<<Function>>"
*FunShow> show id
"<<Endofunction>>"

执行“show”功能

1 个答案: