関数型プログラミング言語Haskell Part30 [無断転載禁止]©2ch.net

[511 デフォルトの名無しさん 2017/05/21(日) 07:21:47.89 ID:NQzGLOFd]

>>506
可変長引数の仕組みはこんな感じ
class Count r where count :: Int -> r
instance Count Int where count n = n
instance (Count r) => Count (a -> r) where count n = const (count (n+1))
countArgs = count 0
main = print $ (countArgs 1 True "a" :: Int)