Haskell expert Vitaly Bragilevsky demonstrates Haskell features that make programming at the level of types possible.
Chapters selected by Marcello Seri
From Haskell in Depth by Vitaly Bragilevsky
This article explores text processing in the functional programming style.
From Haskell in Depth
By Vitaly Bragilevsky
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 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.
From Get Programming with Haskell by Will Kurt
This article discusses first class functions in Haskell.