From Functional Programming in C# by Enrico Buonanno
This article, from Functional Programming in C#, discusses laziness in computing.
From Get Programming with F# by Isaac Abraham
This article provides an overview of different “levels” of unit testing, and how and where they’re appropriate in F#. We’ll also discuss different forms of unit testing practices, including test driven development (TDD).
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 Functional Programming in C++ by Ivan Čukić
This article discusses laziness implementation in C++, using a common example – calculating Fibonacci numbers.
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 Idris, types and expressions are part of the same language and you use the same syntax for both. This article talks about type-level functions in Idris and how expressions can appear in types.
From Type-Driven Development with Idris by Edwin Brady
In this article, you will learn about defining dependent data types and defining vectors with Idris.
From Clojure: The Essential Reference by Renzo Borgatti
In this article we will explore some concrete examples of the many uses and intricacies of the memoize
function from the Clojure standard library.
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.