|
|
|
|
|
|
by esmooov
4807 days ago
|
|
|
Just want to point out that you could implement similar behavior in Haskell: {-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-} class Concatable a b where
concat' :: a -> b -> a instance Concatable [a] a where
concat' l xs = l ++ [xs] instance Concatable [a] [a] where
concat' l xs = l ++ xs a :: [Int]
a = [1,2,3] b :: Int
b = 4 c :: [Int]
c = [4] -- Main> concat' a b -- [1,2,3,4] -- Main> concat' a c -- [1,2,3,4] |
|
|