Se ha denunciado esta presentación.
Se está descargando tu SlideShare. ×

Haskellの(+)演算子における型クラスと型の整合性について

Anuncio
Anuncio
Anuncio
Anuncio
Anuncio
Anuncio
Anuncio
Anuncio
Anuncio
Anuncio
Anuncio
Anuncio
Próximo SlideShare
Lesson 3. Expanded form
Lesson 3. Expanded form
Cargando en…3
×

Eche un vistazo a continuación

1 de 8 Anuncio

Más Contenido Relacionado

Más reciente (20)

Anuncio

Haskellの(+)演算子における型クラスと型の整合性について

  1. 1. (+)
  2. 2. (+) :: a -> a -> a
  3. 3. class Num
  4. 4. Integer Int Float Double
  5. 5. (+) :: a -> a -> a (+) :: Integer -> Integer -> Integer (+) :: Int -> Int -> Int (+) :: Float -> Float -> Float (+) :: Double -> Double -> Double
  6. 6. (+) :: a -> a -> a (+) :: Integer -> Int -> Integer (+) :: Int -> Float -> Float (+) :: Float -> Float -> Integer (+) :: Double -> Int -> Float
  7. 7. Float? 1.0 + 10 Float
  8. 8. Float? (1.0 + 10) `div` 10 Float Integral!!!

×