Tags » Static Typing

Type programming: Constraining values

In my last type-programming post, I briefly touched on the topic of recursive type definitions by creating a Peano-encoded integer type. While that and the Boolean type we created in… 2,010 more words

Software Development

Type Programming: Recursive types

A few weeks ago, I posted my first foray into type programming by exploring the parallels between value-level programming and type-level programming. In that post, I shared a simple implementation of Boolean logic using two types along with some familiar operations. 928 more words

Software Development

The age of type inference

Main stream languages have been continuously adopting good ideas from functional programming. Java and C# has gradually added programming constructs such as garbage collection, parametric polymorphism, lambda expressions and closures. 289 more words