cats-effect vs ZIO vs Monix

This is the talk that I gave for the August 2019 session of ScalaMDE (https://www.meetup.com/ScalaMDE).

It is a basic introduction to the main differences between cats-effect, ZIO and Monix, comparing their basic abstractions in order to reason about effects as values.

Transcript

1. SEATTLE
2. CATS VS ZIO VS MONIX
6. • • • 00
10. 01 https://impurepics.com/posts/2018-09-12-concurrency-vs-parallelism.html
11. 01 http://gee.cs.oswego.edu/dl/cpjslides/nio.pdf
12. 01 https://docs.oracle.com/javase/tutorial/essential/concurrency/executors.html
13. 01 https://cwiki.apache.org/confluence/display/FLINK/Akka+and+Actors
17. 02 https://www.youtube.com/watch?v=x3GLwl1FxcA&feature=youtu.be&t=3m9s
28. 03 CompletableFuture in Java, Future is the asynchronous computation handling construction in Scala, which comes out of the box but with certain shortcomings.
29. Future 03 • • • .onComplete
33. 03 lazy future and that’s it, can’t I? Future
35. 04 https://impurepics.com/posts/2018-05-15-cancelable-io.html
36. 04 IO https://wiki.haskell.org/IO_inside
37. 04 • • • • • •
38. 04 • •
39. 04 • cats-effect • ZIO • Monix
41. 05 Task https://monix.io/
42. Task 05 • • •
43. Task 05 • Task • Future •
47. 05 • Task • • •
48. 05 .runAsync .runToFuture
49. runAsync 05 https://monix.io/docs/3x/eval/task.html#execution-runtofuture--foreach
50. runToFuture 05 https://monix.io/docs/3x/eval/task.html#execution-runtofuture--foreach
51. 05 Task
55. 05 https://monix.io/docs/3x/eval/task.html
57. 06 https://zio.dev/
58. 06 ZIO[R, E, A] • R • E • A
59. 06 https://zio.dev/docs/overview/overview_index#zio
60. 06 ZIO
61. 06 Effects that cannot fail and doesn’t require any dependency: UIO[A]
62. 06 Effects that cannot fail and requires a dependency in order to run: URIO[R, A]
63. 06 Effects that may fail with a Throwable and doesn’t require any dependency: Task[A]
64. 06 Effects that may fail with a Throwable and requires a dependency in order to run: RIO[R, A]
65. 06 Effects that may fail with an E or return A and doesn’t require a dependency: IO[E, A]
66. 06 All of the mentioned constructions are type aliases of ZIO type, with their respective companion objects
68. 06 Task BufferedStream
69. 06 Task
70. 06 DefaultRuntime
74. 07 IO https://typelevel.org/cats-effect/datatypes/io.html
76. 07 IO
79. 08 • • • •
80. 08 • • •
81. 08 •
82. 08 Task IO
83. 08 Monix ZIO cats-effect Task[A] Task[A]* IO[A]
84. 08 • • 5 different (UIO, IO, URIO, RIO, Task)
85. 08 • •
86. 08 https://blog.softwaremill.com/thread-shifting-in-cats-effect-and-zio-9c184708067b
87. 08 https://monix.io/docs/3x/eval/task.html#taskexecuteasync-taskasyncboundary-taskexecuteon
88. 08 • • Environment.
91. 06 https://skillsmatter.com/skillscasts/13247-scala-matters
94. 08 https://github.com/monix/monix/issues/795
97. 09 https://impurepics.com/posts/2019-04-27-proper-tools.html
98. 01 https://impurepics.com/posts/2018-04-21-thread-pools-basics.html
99. 05 https://impurepics.com/posts/2018-04-02-effects-side-effects.html
101. alejandromarin@s4n.co