Downloaded 15 times
![Free[S, A]](https://image.slidesharecdn.com/makeyourprogramsfree-170225071333/85/Make-your-programs-Free-4-320.jpg)
![Free[S, A]
This is the program](https://image.slidesharecdn.com/makeyourprogramsfree-170225071333/85/Make-your-programs-Free-5-320.jpg)
![Free[S, A]
This is the language](https://image.slidesharecdn.com/makeyourprogramsfree-170225071333/85/Make-your-programs-Free-6-320.jpg)
![Free[S, A]
This is the type of a value it will produce (once it is run)](https://image.slidesharecdn.com/makeyourprogramsfree-170225071333/85/Make-your-programs-Free-7-320.jpg)
 { .. }](https://image.slidesharecdn.com/makeyourprogramsfree-170225071333/85/Make-your-programs-Free-9-320.jpg)
 { .. }
def foo(input: Int): Future[String]](https://image.slidesharecdn.com/makeyourprogramsfree-170225071333/85/Make-your-programs-Free-10-320.jpg)
 { .. }
def foo(input: Int): Future[String]
def bar(intput: Int): Task[String]](https://image.slidesharecdn.com/makeyourprogramsfree-170225071333/85/Make-your-programs-Free-11-320.jpg)
 { .. }
def foo(input: Int): Future[String]
def bar(intput: Int): Task[String]
val f: Future[String] = foo(10)
val b: Task[String] = bar(20)
val s1: String = b.unsafePerformSync](https://image.slidesharecdn.com/makeyourprogramsfree-170225071333/85/Make-your-programs-Free-12-320.jpg)
![Free[S, A]](https://image.slidesharecdn.com/makeyourprogramsfree-170225071333/85/Make-your-programs-Free-144-320.jpg)
Uploaded byPawel Szulc
Make your programs Free
The document discusses making programs free using free monads. It introduces the concept of Free[S, A] as representing a program as a value of a particular type A. It demonstrates usage of Scalaz's Task type and shows how programs written with free monads can be compiled down to a lower-level language. The document encourages viewing a real-world example using the Quasar library and provides contact information for the author.
More Related Content
Make your programs Free
- 1. Make your programsFree Pawel Szulc @rabbitonweb
- 3.
- 4.
- 5. Free[S, A] This isthe program
- 6. Free[S, A] This isthe language
- 7. Free[S, A] This isthe type of a value it will produce (once it is run)
- 8. Let’s see itin action! (aka Demo) https://github.com/rabbitonweb/make-your-programs-free
- 9. Usage of Scalaz’sTask class Task[+A](val get: Future[Throwable / A]) { .. }
- 10. Usage of Scalaz’sTask class Task[+A](val get: Future[Throwable / A]) { .. } def foo(input: Int): Future[String]
- 11. Usage of Scalaz’sTask class Task[+A](val get: Future[Throwable / A]) { .. } def foo(input: Int): Future[String] def bar(intput: Int): Task[String]
- 12. Usage of Scalaz’sTask class Task[+A](val get: Future[Throwable / A]) { .. } def foo(input: Int): Future[String] def bar(intput: Int): Task[String] val f: Future[String] = foo(10) val b: Task[String] = bar(20) val s1: String = b.unsafePerformSync
- 13. Let’s see itin action! (aka Demo) https://github.com/rabbitonweb/make-your-programs-free
- 14.
- 49.
- 60. Can we haveboth?
- 85.
- 125.
- 133. Compiling down to lower-levellanguage
- 144.
- 145. But I wantto see a real world example! https://github.com/quasar-analytics/quasar
- 146. Thank you forwatching! Pawel Szulc @rabbitonweb
- 147. Thank you forwatching! Pawel Szulc @rabbitonweb paul.szulc@gmail.com
- 148. Thank you forwatching! Pawel Szulc @rabbitonweb paul.szulc@gmail.com http://rabbitonweb.com
- 149. Thank you forwatching! Pawel Szulc @rabbitonweb paul.szulc@gmail.com http://rabbitonweb.com https://github.com/rabbitonweb/make-your-programs-free