November 5th, 2019
Lambda Calculus
Lambda Calculus isn’t just a fancy word: it defines our software, our numbers and perhaps even reality itself.
February 28th, 2017F# Type Providers
Introduced in F Sharp 3.0, Type Providers are components that provide types, properties, and methods to an application to facilitate information rich programming. In other words a type provider automatically exposes the types which represent provider’s data structures.
September 20th, 2016Functional Game Development
While functional programming is making huge inroads in areas like web development and distributed computing, there is one kind of software where its use is still rare: games. The vast majority of games today, from the small indie variety up to triple-A titles, are written in a mostly standard way, filled with mutable variables and large object hierarchies.
December 20th, 2016Linguistics and Compilers
Compilers are tools typically used to create binary we call software. Kenneth Miller has some interesting thoughts on extending the metaphor (and tools) to both human and programming languages.
Jun 21st, 2016Practical Functional Programming: The Virtues of Laziness
When you're new to Functional Programming, or struggling to learn it after coming from an Object Oriented background, you're likely to ask: "This is so different, what's the practical aspect?"
May 1th, 2016So You Want to Learn Java?
Java is a great software development language. Used by millions of people daily, it's incredibly popular being the the primary language of businesses, Android software development and Minecraft. Java has excellent tool support, offering integrated debugging and many many libraries that can solve many many problems.
