class FromString s where
fromString :: String -> s
instance FromString String where
fromString s = s
instance FromString Int where
fromString = read
main = do
let a = fromString "a"
let b = fromString "4" + 1
print (show a, show b)
Вот здесь, например, у нас return-type polymorphism.
fromString - это перегруженная функция, возвращающая разные типы.
Реализовано оно в core-языке хаскелля как
fromString :: FromString s -> String -> s
show :: Show a -> a -> String
Компилятор выясняет, какой тип имеется ввиду и подставляет реализацию класса типов (= пачки перегруженных функций).
Получается, что
a :: String, b :: Int. После чего компилятор идёт выводить коректные реализации
class Show a where show :: a -> String.
