Haskell with Stack

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 1/37 HASKELL WITH HASKELL WITH
STACK STACK HTTP CLIENT HTTP CLIENT Dawid Furman 1

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 2/37 SCALA -> HASKELL SYNTAX
SCALA -> HASKELL SYNTAX Following with the Types val generateRequestUri : (String, String, String) => String = (host: String, resource: String, id: String) => host +"/"+ resource + "/" + id

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 3/37 2 . 2

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 4/37 -> 2 . 2

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 5/37 -> generateRequestUri :: String
-> String -> String -> String generateRequestUri host resource id = host ++ "/" ++ resource ++ "/" ++ id 2 . 2

SCALA -> HASKELL SYNTAX ADT - Product Type case class Status(code: Int, statusMessage: String) -> data Status = Status { code :: Int, statusMessage :: String } 2 . 3

SCALA -> HASKELL SYNTAX ADT - Sum Type sealed trait Result object Success extends Result object Failed extends Result -> data Result = Success | Failed 2 . 4

SCALA -> HASKELL SYNTAX Pattern Matching def check(r : Result) = r match { case Failed => "Failed" case Success => "Success" } -> r = Success case r of Success -> "Success" Failed -> "Failed" 2 . 5

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 9/37 THE HASKELL TOOL THE
HASKELL TOOL STACK STACK 3 . 1

HASKELL TOOL IT`S A DEPENDENCY ( IT`S A DEPENDENCY ( AND AND PACKAGE REPOSITORY) PACKAGE REPOSITORY) AND BULID TOOL (USING AND BULID TOOL (USING ) ) STACK STACK HACKAGE HACKAGE STACKAGE STACKAGE CABAL CABAL 3 . 1

HASKELL TOOL IT`S A DEPENDENCY ( IT`S A DEPENDENCY ( AND AND PACKAGE REPOSITORY) PACKAGE REPOSITORY) AND BULID TOOL (USING AND BULID TOOL (USING ) ) stack update STACK STACK HACKAGE HACKAGE STACKAGE STACKAGE CABAL CABAL 3 . 1

HASKELL TOOL IT`S A DEPENDENCY ( IT`S A DEPENDENCY ( AND AND PACKAGE REPOSITORY) PACKAGE REPOSITORY) AND BULID TOOL (USING AND BULID TOOL (USING ) ) stack update stack new haskell-http STACK STACK HACKAGE HACKAGE STACKAGE STACKAGE CABAL CABAL 3 . 1

HASKELL TOOL IT`S A DEPENDENCY ( IT`S A DEPENDENCY ( AND AND PACKAGE REPOSITORY) PACKAGE REPOSITORY) AND BULID TOOL (USING AND BULID TOOL (USING ) ) stack update stack new haskell-http stack build STACK STACK HACKAGE HACKAGE STACKAGE STACKAGE CABAL CABAL 3 . 1

HASKELL TOOL IT`S A DEPENDENCY ( IT`S A DEPENDENCY ( AND AND PACKAGE REPOSITORY) PACKAGE REPOSITORY) AND BULID TOOL (USING AND BULID TOOL (USING ) ) stack update stack new haskell-http stack build stack exec haskell-http-exe STACK STACK HACKAGE HACKAGE STACKAGE STACKAGE CABAL CABAL 3 . 1

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 15/37 THE HASKELL TOOL STACK
STACK THE HASKELL TOOL STACK STACK PROJECT STRUCTURE PROJECT STRUCTURE ├── app │ └── Main.hs << Executable ├── ChangeLog.md ├── haskell-http.cabal << Cabal (build) configuration ├── LICENSE ├── package.yaml ├── README.md ├── Setup.hs ├── src │ └── Lib.hs << Your`s stuff ├── stack.yaml << Stack (dependency) configuration └── test └── Spec.hs

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 16/37 3 . 3

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 17/37 PROJECT PROJECT CONFIGURATION CONFIGURATION
4 . 1

1. Add new dependencies to and into Cabal File http-conduit, bytestring Network.HTTP.Simple Data.ByteString 4 . 1

1. Add new dependencies to and into Cabal File http-conduit, bytestring 2. Add Language Extension: OverloadedStrings Network.HTTP.Simple Data.ByteString 4 . 1

1. Add new dependencies to and into Cabal File http-conduit, bytestring 2. Add Language Extension: OverloadedStrings 2. Build the project Network.HTTP.Simple Data.ByteString 4 . 1

1. Add new dependencies to and into Cabal File http-conduit, bytestring 2. Add Language Extension: OverloadedStrings 2. Build the project 3. Run GHCI with the dependencies: stack exec ghci Network.HTTP.Simple Data.ByteString 4 . 1

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 22/37 LET`S PLAY AROUND LET`S
PLAY AROUND 5 . 1

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 23/37 CONTEXT CONTEXT COMPUTATIONS COMPUTATIONS
Context input -> Context result inptu -> result 6 . 1

But we are inside Context Context input -> Context result inptu -> result 6 . 1

But we are inside Context so what we need is... Context input -> Context result inptu -> result 6 . 1

But we are inside Context so what we need is... Anybody?? Context input -> Context result inptu -> result 6 . 1

But we are inside Context so what we need is... Anybody?? FUNCTOR! Context input -> Context result inptu -> result 6 . 1

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 28/37 FUNCTOR FUNCTOR fmap ::
Functor f => (a -> b) -> f a -> f b <=> (<$>) :: Functor f => (a -> b) -> f a -> f b 7

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 29/37 ¡IMPLEMENTATION! ¡IMPLEMENTATION! 8 .
1

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 30/37 ¡IMPLEMENTATION! ¡IMPLEMENTATION! DIY 8
. 1

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 31/37 ¡IMPLEMENTATION! ¡IMPLEMENTATION! DIY DO
DO 8 . 1

DO IT IT 8 . 1

DO IT IT YOURSELF YOURSELF 8 . 1

DO IT IT YOURSELF YOURSELF or 8 . 1

DO IT IT YOURSELF YOURSELF or Keep calm and download from: superSimpleHttpHaskellCLI 8 . 1

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 36/37 REFERENCES REFERENCES 9

2/13/2019 Haskell with Stack https://iot.rindus.de/~dawid/HaskellWithStack/?print-pdf 37/37 ¡MUCHAS GRACIAS! ¡MUCHAS GRACIAS!
¿PREGUNTAS? ¿PREGUNTAS? for Scala eXtraS 10

Haskell with Stack

Haskell with Stack

Other Decks in Technology

Featured

Transcript