From Get Programming with Haskell by Will Kurt
This article takes a deep look at the Applicative Type Class using the example of the List class.
From Concurrency in .NET by Riccardo Terrell
In this article, we discuss the need for concurrency, common issues specific to developing concurrent applications in either imperative or object-oriented programming (OOP) and functional programming, and why the functional programming paradigm is ideal for solving common concurrency issues.
From Type-Driven Development with Idris by Edwin Brady
In this article, we’ll begin writing some complex Idris functions, using its interactive editing features to develop those functions, step by step, in a type-directed way. We’ll use the Atom text editor, because there’s an extension available for editing Idris programs, which can be installed directly from the default Atom distribution. This article assumes you have the interactive Idris mode up and running.