Tag

functional programming

Exploring the fold Function

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 fold function from the Clojure standard library.

Go from Haskell Learner to Haskell Developer


slideshare-go-from-haskell-learner-to-haskell-developer

From Haskell in Depth
By Vitaly Bragilevsky

The Virtue of Laziness

From Functional Programming in C# by Enrico Buonanno

This article, from Functional Programming in C#, discusses laziness in computing.

When to Unit Test in F#

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).

Lists as Context: a deeper look at the Applicative Type Class

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.

An Excerpt on Lazy Evaluation

From Functional Programming in C++ by Ivan Čukić

This article discusses laziness implementation in C++, using a common example – calculating Fibonacci numbers.

The Foundations of Functional Concurrency

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.

Type-Level Functions: calculating types

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.

 

A First Example of Dependent Data 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.

Exploring the memoize Function

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.

© 2018 Manning — Design Credits