函數「show」的實現

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也匹配endofunctions，所以有重疊，你需要FlexibleInstances因爲語言標準規定，在實例聲明的類型變量不同。

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