【Scala関西】http4s/tagless final

6cd27c6532124cce94ede522c4662767?s=47 Dasha Tarasova
November 10, 2018
2
1.5k

【Scala関西】http4s/tagless final

http4sとcats-effectで可愛らしい、関数型らしいアプリケーションを書こう！٩(๑^o^๑)۶

6cd27c6532124cce94ede522c4662767?s=128

Dasha Tarasova

November 10, 2018
Tweet

Want more?

6cd27c6532124cce94ede522c4662767?s=48 dysangelist
1
610
3ab1249be442027903e1180025340b3f?s=48 reverentgeek
11
590
A9a491b0fcbe0fbce3d64063a37add99?s=48 rmw
2
300
766b9746b59e6f09e280cd33cf4ed419?s=48 skipperchong
0
200
61857dafbd287b3027c4dcea9008ad3c?s=48 carmenhchung
6
380
06f8b41980eb4c577fa40c41d5030c19?s=48 keathley
7
230
C0390e8b11079f8761c0cd3274ed61cb?s=48 productmarketing
3
320
C35e01544a0dd94a2cf1619ee8a42ebb?s=48 clairelew
4
610
6bb82b13cda86d3b821fa44100335ddf?s=48 thoeni
1
180
B3ace07412a5178ea778e7eec161fc0a?s=48 jcasabona
4
260
Ef32e0b1ac5082450dc8c1fca3a26b5c?s=48 cherdarchuk
61
250k
1177e050db6bafe62885362edf6e3537?s=48 lauravandoore
5
820

Transcript

  1. 1.

    http4scats-effect      ٩(๑^o^๑)۶

  2. 2.

    2 Hello!  ! !# Scala"  % (&) 

      ' $    ZOZO Tech  
  3. 3.

     •   • cats effect   

    • http4s   • Tagless final   +..+♪ (•’∀’•)♪+..+ 3
  4. 4.

        •  • dysangelist/scala_kansai_demo @github +..+♪(•’∀’•)♪+..+

    4
  5. 5.

     1

  6. 6.

    Scala(/0#+  • #+-7Java2.6,3" 8 • '$% 7 14 8

    • 57&)*)!!8 •   6
  7. 7.

      •    •   •

      7
  8. 8.

     01(* .)-4 • *. #'+  • %-!*./ 

    • &$,"3 2 8
  9. 9.

    Cats Effect 2

  10. 10.

     Cats Effect • 7 23Cats8.IO)%$: 1"' *!5/*&*+- • 9ZIOHaskellIOMonix

    Task6 • Type Level04(,#  10
  11. 11.

    ! Future- • Future#(Future **) • &$ Futureside-effectful • %()"

    ! ! ! • + left identity ' , 11
  12. 12.

    http4s 3

  13. 13.

    http4s • Fs2IO    http   (Framework

     • Service As KleisliServer As Stream 13
  14. 14.

    +< • Play! $' !API-)#)%!!! • Finagle – Twitter Future/1

    • Finch - ↑ :58Effect23  .*4 9; • AkkaHTTP ← Spray,6. 7  • Colossus ???? &(" < • Chaos ??? 0< 14
  15. 15.

    Tagless final 4

  16. 16.

    Tagless Final • $'%End Of The World  • "

      (Eff, Free • ↑ !&#  16
  17. 17.

     • Principle of Least Power •   •

        17
  18. 18.

    Application  5

  19. 19.

    -26*7 • % $!& "'#5 345(+ 2  • ),persistence.in

    memoryHashMap )0   8DB91/ '#  : https://github.com/dysangelist/scala_kansai_demo 19
  20. 20.

      20 •     

  21. 21.

    Algebra① 21 •   %#)! '  • Type

    "$&(
  22. 22.

    Algebra② 22

  23. 23.

    Algebra③ 23 • *(Algebra'"$ &% #!+  • - .Aggregate-DDD,

     ) .
  24. 24.

    Algebra④ 24

  25. 25.

    Logic① 25 • Logic, Algebra    

  26. 26.

    Logic② 26

  27. 27.

     27

  28. 28.

     ② 28 • Service/Router Logic    

  29. 29.

    ③ 29

  30. 30.

     ④ 30 •  !!

  31. 31.

     31

  32. 32.

    Representation 32 • Algebra    

  33. 33.

    Representation② 33 •  InMemory     

    
  34. 34.

    Representation③ 34 •  InMemory     

    
  35. 35.

    • HttpService[F]Kleisli[OptionT[F, ?], Request[F], Response[F]] alias •  IntelliJcombineK 

      Service? 35
  36. 36.

     36

  37. 37.

    4 37 • FW%#%&(), 1.Separation of Concerns  • "!'$

     03/ • http4sOpinionated 2*  • +-
  38. 38.

    38 ~fin~ Any questions?