by Samuel Gélineau | Released February 2017 | ISBN: 9781786465016

Harness the power of functional programming with advanced Haskell conceptsAbout This VideoDive into various important features such as IO, distributed programming, and Functional Reactive ProgrammingLearn the best practices in Haskell and alternative solutions to real-world situationsExplore powerful parallel algorithms, and build interactive applications using functional reactive programmingIn DetailHaskell is a lazy, purely-functional programming language with a very precise type system. Each of these features make Haskell quite different from mainstream object-oriented programming languages, which is where Haskell's appeal and its difficulty lie.In this course, you'll discover different ways to structure interactions between the program and the outside world. We'll look at some subtler aspects of the IO monad, such as lazy IO and unsafePerformIO. In addition to the IO monad, we'll also check out two other structured forms of interaction: streaming libraries and functional reactive programming.Then we explore parallel, concurrent, and distributed programming. Thanks to purity, Haskell is especially well-suited for the first two, and so there are a number of approaches to cover. As for distributed programming, we focus on the idea of splitting a large monolithic program into smaller microservices, asking whether doing so is a good idea. We'll also consider a different way of interacting with other microservices, and explore an alternative to microservices.By the end of this course, you'll have an in-depth knowledge of various aspects of Haskell, allowing you to make the most of functional programming in Haskell. Show and hide more

1. Chapter 1 : Tracking Side-Effects Using IO
   • The Course Overview 00:05:30
   • Installation and Setup 00:04:40
   • IO as a “Sin Bin” 00:14:28
   • Exception Handling 00:09:25
   • Fewer Sins Using the Free Monad 00:14:35
   • Benign Side-Effects Using unsafePerformIO 00:06:34
   • Simple Streaming Using Lazy IO 00:08:51
2. Chapter 2 : Chaining Side-Effects Using Streaming
   • Pure Streaming Using Lazy Lists 00:09:53
   • Composing Finite and Infinite Streams 00:10:14
   • Who's Driving? Push, Pull… or Both! 00:10:09
   • Transforming Effectful Streams Using the Free Monad 00:08:09
3. Chapter 3 : Interactive Applications Using Functional Reactive Programming
   • Events, Behaviors, and Signals 00:08:41
   • Local and Global States 00:09:46
   • Higher-Order Signals and Time Leaks 00:12:38
   • Pure, Monadic, and Arrowized APIs 00:13:08
   • Continuous, Synchronous, Total Time 00:12:20
4. Chapter 4 : Parallel Programming in Haskell
   • Parallel and Concurrent Algorithms 00:11:36
   • Manual Parallelism Using the Free Applicative 00:11:07
   • Laziness and Parallelism 00:08:59
   • Purity and Parallelism 00:14:04
   • Deterministic Communication Using IVars 00:13:23
   • Deterministic Collaboration Using LVars 00:10:46
5. Chapter 5 : Concurrent Programming in Haskell
   • Manual Concurrency Using forkIO 00:04:42
   • Taming Asynchronous APIs Using ContT 00:12:10
   • Opportunistic Concurrency Using Async 00:05:01
   • Laziness and Concurrency 00:08:36
   • Manual Signaling Using MVars 00:09:48
   • Automatic Signaling Using TVars 00:12:50
   • Effect Tracking and Concurrency 00:10:38
6. Chapter 6 : Distributed Programming in Haskell
   • Combinator Libraries 00:11:31
   • Monad Transformers 00:10:37
   • Nesting Architectures 00:09:16
   • Precise Types, Program Boundaries, and Microservices 00:10:45
   • Optimizing Microservice Requests Using Haxl 00:07:56
   • Distributed Concurrent Programming Using Cloud Haskell 00:08:43
   • CRDTs, Type Class Laws, and Eventual Consistency 00:12:54
Show and hide more