Programming haskell chapter10

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

10
ruicc.rail@gmail.com

(Ruichi Kousuke)

@ruicc

http://d.hatena.ne.jp/ruicc

Haskell

10

!!

Haskell Advent Calendar

Haskell Advent Calender
2

http://partake.in/events/eaea52c2-61ef-46d5-
a...

Haskell Advent Calendar2011 2

ruicc.rail@gmail.com

A Haskell

B

A

B

A ...

(OO)

(OO) (Haskell)

(Haskell)

10

(OO) (Haskell)

(OO) (Haskell)

(OO)

= +

(OO)

= +

(OO) (Haskell)

(OO) (Haskell)

Haskell

(Algebraic Data Type)

(Set)

Tuple ( )

or

Bool

True or False

data

data IntOrSome a = MkInt Int

| MkA a

data

data IntOrSome a = MkInt Int

| MkA a

(OO )

data type

data IntOrSome a = MkInt Int

| MkA a

type IntOrStr = IntOrSome String

( )

add :: Int -> Int -> Int

add a b = a + b

(OO)

class IntAndStr {
private Int field1;
private String field2;
public IntAndStr (Int i, String s) {
...

Haskell

data IntAndStr = MkIS Int String

let a = MkIS 42 “aiueo”

(OO)

Haskell

data Bool = False | True

data Maybe a = Nothing | Just a

data Either a b = Left a | Right b

(OO)

Haskell

data List a = Nil | Cons a (List a)

data Tree a = Leaf a
| Node (Tree a) (Tree a)

(OO) ..

FAQ

Q: Haskell private

A1: Python dis

A2: Javascript ( )

Haskell private( )

Haskell private

module

Haskell private:

where

module

OOP

(OO)

:Haskell

(OO)

= +

( )

( )

Haskell

FAQ

C++ Python

Y

Y Haskell

Haskell ( )

C++,Python

C++ :

Python : C3

FAQ

Scala Trait

scalaz Trait
Haskell

class

built-in Eq

class Eq a where

(==), (/=) :: a -> a -> Bool

class

class Eq a where

(==), (/=) :: a -> a -> Bool

class instance
class instance
Eq
clas...

class

Eq

class (Eq a) => Ord a where
(<=) :: a -> a -> Bool Ord
...

class

class (Eq a, Show a) => Num a where
(+) :: a -> a -> a
...
Show Eq

...

Read
Show
instance
Typeable
Bo...

deriving

data deriving

data MyType a b c = A a | B b | C c

deriving (Eq, Ord, Show, Read)
...

deriving FAQ

URL: http://www.haskell.org/ghc/docs/7.2.2/html/
users_guide/deriving.html

Haskell

Haskell

instance Eq (Maybe Int)

:: *
instance Monad Maybe
:: * -> *

Monad, Functor, Applicative

Share Slideshare

LinkedIn
Facebook
Twitter

Embed

Size (px)

Show related Slideshows at end

WordPress Shortcode

Link

Share
Email

第3章型とクラス by Yasuaki Takebe 2314 views

View on Slideshare

1 of 58 Ad

View on Slideshare

1 of 58 Ad