The document discusses the integration of Haskell concepts with real-world applications, particularly focusing on using Aerospike for managing data through pure and impure functions. It describes the use of the IO monad for handling side effects and illustrates operations like getting and putting data in Aerospike with examples. Additionally, various interpreters and transformations for handling asynchronous operations and maintaining referential transparency in coding are presented.

1. Pour quelques monades
de plus...

2. Apprendre Haskell vous fera
le plus grand bien !
http://lyah.haskell.fr/

3. Un DSL pour ma base de
données
exemple avec Aerospike

4. Pure function
X Y

5. Pure function
val increment: Int => Int = x => x + 1

6. Impure function
X Y
External world

7. Impure function
val get: String => String = url => httpClient.get(url)

8. Real World
● La pureté c’est bien…
● … Mais dans le monde réel, c’est possible?

9. Real World
● La pureté c’est bien…
● … Mais dans une vraie app, c’est possible?

10. IO monad
Impure
X IO[Y]
External world
IO

11. Future[T]
● Approche concurrente
● Asynchrone
● Future[T] : Contient potentiellement une valeur T
val httpClient: HttpClient = ???
def getAsync(url: String): Future[String] = {
val promise = Promise[String]()
httpClient.get(url, AsyncHandler {
content => promise.success(content),
error => promise.failure(error)
})
promise.future
}

12. Future[T]
Future est une monade IO?

13. Future[T]
Future est une monade IO?

14. Referential transparency
val future: Future[A] = ???
!=
def future: Future[A] = ???

15. Scala IO library
cats-effect Monix
scalaz-effect

16. IO with Scala
● Confiner les effets de bords
val div: IO[Unit] = IO {
val a = io.StdIn.readInt()
val b = io.StdIn.readInt()
if (b == 0) throw new IllegalArgumentException()
else println(a / b)
}
div.runUnsafeSync //execute in real world

17. Real world app : Aerospike
● clé -> valeur
● In memory / SSD
● Clustering

18. IO with Aerospike
def put[A](key: Key, value: A)(client: AerospikeClient): IO[Unit] = IO.async { cb =>
val listener = new WriteListener {
override def onFailure(exception: AerospikeException): Unit = cb(Left(exception))
override def onSuccess(key: Key): Unit = cb(Right(()))
}
client.put(key, listener, bins)
}
val program: IO[Unit] = put(key, value)(client)
program.runUnsafeSync //execute in real world

19. IO with Aerospike
def put[A](key: Key, value: A)(client: AerospikeClient): IO[Unit] = IO.async { cb =>
val listener = new WriteListener {
override def onFailure(exception: AerospikeException): Unit = cb(Left(exception))
override def onSuccess(key: Key): Unit = cb(Right(()))
}
client.put(key, listener, bins)
}
val program: IO[Unit] = put(key, value)(client)
program.runUnsafeSync //execute in real world

20. IO with Aerospike
def put[A](key: Key, value: A)(client: AerospikeClient): IO[Unit] = IO.async { cb =>
val listener = new WriteListener {
override def onFailure(exception: AerospikeException): Unit = cb(Left(exception))
override def onSuccess(key: Key): Unit = cb(Right(()))
}
client.put(key, listener, bins)
}
val program: IO[Unit] = put(key, value)(client)
program.runUnsafeSync //execute in real world

21. AerospikeIO[T]
● Réduire le boilerplate
● Description de l’interaction
● Pas de code technique
● Monade IO spécifique

22. Algèbre et interpréteur

23. Algèbre (monadique)
sealed trait AerospikeIO[A]
case class Get[A](key: Key) extends AerospikeIO[A]
case class Put[A](key: Key, value: A) extends AerospikeIO[Unit]
case class Pure[A](x: A) extends AerospikeIO[A]
case class Join[A, B](x: AerospikeIO[A], y: AerospikeIO[B]) extends
AerospikeIO[(A, B)]
case class FlatMap[A, B](x: AerospikeIO[A], f: A => AerospikeIO[B]) extends
AerospikeIO[B]

24. Algèbre (monadique)
sealed trait AerospikeIO[A]
case class Get[A](key: Key) extends AerospikeIO[A]
case class Put[A](key: Key, value: A) extends AerospikeIO[Unit]
case class Pure[A](x: A) extends AerospikeIO[A]
case class Join[A, B](x: AerospikeIO[A], y: AerospikeIO[B]) extends
AerospikeIO[(A, B)]
case class FlatMap[A, B](x: AerospikeIO[A], f: A => AerospikeIO[B]) extends
AerospikeIO[B]

25. Algèbre (monadique)
sealed trait AerospikeIO[A]
case class Get[A](key: Key) extends AerospikeIO[A]
case class Put[A](key: Key, value: A) extends AerospikeIO[Unit]
case class Pure[A](x: A) extends AerospikeIO[A]
case class Join[A, B](x: AerospikeIO[A], y: AerospikeIO[B]) extends
AerospikeIO[(A, B)]
case class FlatMap[A, B](x: AerospikeIO[A], f: A => AerospikeIO[B]) extends
AerospikeIO[B]

26. Operations
case class Mark(name: String, value: Int)
val program: AerospikeIO[Mark] = for {
_ <- Put(keyBob, Mark("Bob", 17))
bobMark <- Get[Mark](keyBob)
} yield bobMark

27. Operations (Représentation)
FlatMap[Mark](
Put(keyBob, Mark(“Bob”, 17),
_ => Get[Mark](keyBob)
)

28. Interpréteur : Transformation Naturelle
val nt = new (List ~> Option) {
def apply[A](list: List[A]): Option[A] = list match {
case Nil => None
case x :: xs => Some(x)
}
}
//nt(1 :: Nil) => Some(1)

29. Interpréteur : Kleisli
val keepPositiveValues = (i: Int) => if (i > 0) Some(i) else None
val lowerThanTen = (i: Int) => if (i < 10) Some(i) else None
keepPositiveValues.andThen(lowerThanTen)

30. Interpréteur : Kleisli
val keepPositiveValues = (i: Int) => if (i > 0) Some(i) else None
val lowerThanTen = (i: Int) => if (i < 10) Some(i) else None
keepPositiveValues.andThen(lowerThanTen) // doesn't compile!

31. Interpréteur : Kleisli
-1
Some[Int]
keepPositiveValue(-1)
None
Extrait la valeur de
Option[Int]

32. Interpréteur : Kleisli
val keepPositiveValues = Kleisli[Option, Int, Int] { i =>
if (i > 0) Some(i) else None
}
val lowerThanTen = Kleisli[Option, Int, Int] { i =>
if (i < 10) Some(i) else None
}
keepPositiveValues.andThen(lowerThanTen) // compile

33. Interpréteur
type Stack[A] = Kleisli[Future, AerospikeClient, A]
~
AerospikeClient => Future[A]

34. Interpréteur
AerospikeIO ~> Stack

35. Interpréteur
case Put(key, bins) => Kleisli[Future, AerospikeClient, Unit] { client =>
val promise = Promise[Unit]
val listener = new WriteListener {
def onFailure(exception) = promise.failure(exception)
def onSuccess(key: Key)= promise.success(())
}
client.put(key, listener, bins)
promise.future
}

36. Interpréteur
case Put(key, bins) => Kleisli[Future, AerospikeClient, Unit] { client =>
val promise = Promise[Unit]
val listener = new WriteListener {
def onFailure(exception) = promise.failure(exception)
def onSuccess(key: Key)= promise.success(())
}
client.put(key, listener, bins)
promise.future
}

37. Interpréteur
case Put(key, bins) => Kleisli[Future, AerospikeClient, Unit] { client =>
val promise = Promise[Unit]
val listener = new WriteListener {
def onFailure(exception) = promise.failure(exception)
def onSuccess(key: Key)= promise.success(())
}
client.put(key, listener, bins)
promise.future
}

38. Interpréteur
case Put(key, bins) => Kleisli[Future, AerospikeClient, Unit] { client =>
val promise = Promise[Unit]
val listener = new WriteListener {
def onFailure(exception) = promise.failure(exception)
def onSuccess(key: Key)= promise.success(())
}
client.put(key, listener, bins)
promise.future
}

39. Run program
val interpreter: AerospikeIO ~> Kleisli[Future, AerospikeClient, ?] = ???
case class Mark(name: String, value: Int)
val program: Aerospike[Mark] = for {
_ <- Put(keyBob, Mark("Bob", 17))
bobMark <- Get[Mark](keyBob)
} yield bobMark
val kleisli: Kleisli[Future, AerospikeClient, Mark] = interpreter(program)
val result: Future[Mark] = kleisli(client)

40. Run program
val interpreter: AerospikeIO ~> Kleisli[Future, AerospikeClient, ?] = ???
case class Mark(name: String, value: Int)
val program: Aerospike[Mark] = for {
_ <- Put(keyBob, Mark("Bob", 17))
bobMark <- Get[Mark](keyBob)
} yield bobMark
val kleisli: Kleisli[Future, AerospikeClient, Mark] = interpreter(program)
val result: Future[Mark] = kleisli(client)

41. Run program
val interpreter: AerospikeIO ~> Kleisli[Future, AerospikeClient, ?] = ???
case class Mark(name: String, value: Int)
val program: Aerospike[Mark] = for {
_ <- Put(keyBob, Mark("Bob", 17))
bobMark <- Get[Mark](keyBob)
} yield bobMark
val kleisli: Kleisli[Future, AerospikeClient, Mark] = interpreter(program)
val result: Future[Mark] = kleisli(client)

42. Run program
val interpreter: AerospikeIO ~> Kleisli[Future, AerospikeClient, ?] = ???
case class Mark(name: String, value: Int)
val program: Aerospike[Mark] = for {
_ <- Put(keyBob, Mark("Bob", 17))
bobMark <- Get[Mark](keyBob)
} yield bobMark
val kleisli: Kleisli[Future, AerospikeClient, Mark] = interpreter(program)
val result: Future[Mark] = kleisli(client)

43. Sources
https://github.com/travisbrown/circe-algebra
https://github.com/jdegoes/scalaworld-2015
https://github.com/tpolecat/doobie

44. Merci!
https://github.com/tabmo/aerospike4s
https://github.com/rlecomte/presentation-fug-mtp
@lebalifant
@TabMoLabs