Effects and IO Monad Practice Curtis Millar CSE, UNSW (and Data61) - - PowerPoint PPT Presentation

▶
effects and io monad practice curtis millar
SMART_READER_LITE
LIVE PREVIEW

Effects and IO Monad Practice Curtis Millar CSE, UNSW (and Data61) - - PowerPoint PPT Presentation

Sep 25, 2023 369 likes •580 views

External Effects Internal Effects Testing and Properties Administrivia Software System Design and Implementation Effects and IO Monad Practice Curtis Millar CSE, UNSW (and Data61) 1 July 2020 1 External Effects Internal Effects Testing

slide-1
SLIDE 1

External Effects Internal Effects Testing and Properties Administrivia

Software System Design and Implementation

Effects and IO Monad Practice Curtis Millar

CSE, UNSW (and Data61) 1 July 2020

1

slide-2
SLIDE 2

External Effects Internal Effects Testing and Properties Administrivia

The IO Type

A procedure that performs some side effects, returning a result of type a is written as IO a.

2

slide-3
SLIDE 3

External Effects Internal Effects Testing and Properties Administrivia

The IO Type

A procedure that performs some side effects, returning a result of type a is written as IO a. World interpretation IO a is an abstract type. But we can think of it as a function: RealWorld -> (RealWorld, a)

(that’s how it’s implemented in GHC)

3

slide-4
SLIDE 4

External Effects Internal Effects Testing and Properties Administrivia

The IO Type

A procedure that performs some side effects, returning a result of type a is written as IO a. World interpretation IO a is an abstract type. But we can think of it as a function: RealWorld -> (RealWorld, a)

(that’s how it’s implemented in GHC)

(>>=) :: IO a -> (a -> IO b) -> IO b pure :: a -> IO a getChar :: IO Char readLine :: IO String putStrLn :: String -> IO ()

4

slide-5
SLIDE 5

External Effects Internal Effects Testing and Properties Administrivia

Two-player Tic-Tac-Toe

Example Simple two-player Tic-Tac-Toe game Done in editor

5

slide-6
SLIDE 6

External Effects Internal Effects Testing and Properties Administrivia

State Monads

newtype State s a = State (s -> (s, a))

6

slide-7
SLIDE 7

External Effects Internal Effects Testing and Properties Administrivia

State Monads

newtype State s a = State (s -> (s, a)) State Monad get :: State s s put :: s -> State s () modify :: (s -> s) -> State s ()

7

slide-8
SLIDE 8

External Effects Internal Effects Testing and Properties Administrivia

State Monads

newtype State s a = State (s -> (s, a)) State Monad get :: State s s put :: s -> State s () modify :: (s -> s) -> State s () Here we use a monadic interface to simplify the passing of our state around, so that we don’t need to manually plumb data around.

8

slide-9
SLIDE 9

External Effects Internal Effects Testing and Properties Administrivia

Tic-Tac-Toe A.I

Example Adding A.Is for Tic-Tac-Toe Done in editor

9

slide-10
SLIDE 10

External Effects Internal Effects Testing and Properties Administrivia

QuickChecking Monads

QuickCheck lets us test IO (and ST) using this special property monad interface: monadicIO :: PropertyM IO () -> Property pre :: Bool -> PropertyM IO () assert :: Bool -> PropertyM IO () run :: IO a -> PropertyM IO a

10

slide-11
SLIDE 11

External Effects Internal Effects Testing and Properties Administrivia

Testing a Tic-Tac-Toe A.I

Example Testing A.Is for Tic-Tac-Toe Done in editor

11

slide-12
SLIDE 12

External Effects Internal Effects Testing and Properties Administrivia

Homework

12

slide-13
SLIDE 13

External Effects Internal Effects Testing and Properties Administrivia

Homework

1

Next week is flexibility week

13

slide-14
SLIDE 14

External Effects Internal Effects Testing and Properties Administrivia

Homework

1

Next week is flexibility week

2

Last week’s quiz is due on Friday. Make sure you submit your answers.

14

slide-15
SLIDE 15

External Effects Internal Effects Testing and Properties Administrivia

Homework

1

Next week is flexibility week

2

Last week’s quiz is due on Friday. Make sure you submit your answers.

3

The fourth programming exercise is due by the start if my next lecture (in 14 days).

15

slide-16
SLIDE 16

External Effects Internal Effects Testing and Properties Administrivia

Homework

1

Next week is flexibility week

2

Last week’s quiz is due on Friday. Make sure you submit your answers.

3

The fourth programming exercise is due by the start if my next lecture (in 14 days).

4

This week’s quiz is also up, it’s due Friday week (in 16 days).

16

slide-17
SLIDE 17

External Effects Internal Effects Testing and Properties Administrivia

Consultations

Poll on Piazza to register interest. Will not run if there are no votes.

17

slide-18
SLIDE 18

External Effects Internal Effects Testing and Properties Administrivia

Consultations

Poll on Piazza to register interest. Will not run if there are no votes. Tomorrow, 9am to 11am on Blackboard Collaborate.

18

slide-19
SLIDE 19

External Effects Internal Effects Testing and Properties Administrivia

Consultations

Poll on Piazza to register interest. Will not run if there are no votes. Tomorrow, 9am to 11am on Blackboard Collaborate. Link on course website & Piazza.

19

slide-20
SLIDE 20

External Effects Internal Effects Testing and Properties Administrivia

Consultations

Poll on Piazza to register interest. Will not run if there are no votes. Tomorrow, 9am to 11am on Blackboard Collaborate. Link on course website & Piazza. Make sure to join the queue on Hopper. Be ready to share your screen with REPL (ghci or stack repl) and editor set up.

20