By Edwin Brady
In this article, you will learn about defining dependent data types and defining vectors with Idris.
By Enrico Buonanno
This article was excerpted from the book Functional Programming in C#.
By Luis Atencio
Functional programs do not update variables or modify data structures. This raises pressing questions—what sort of data structures we use in functional programming, how do we define them can in Scala, and how do we operate over these data structures? This article, based on chapter 3 of Functional Programming in Scala, explains the concept of a functional data structure and how to define and work with such structures.