Lambda Calculus isn’t just a fancy word: it defines our software, our numbers and perhaps even reality itself.
Introduction to F#
With a pre-recorded presentation, we explore the unique features that F# offers to functional developers: functions, composition, piping, discriminated unions, active patterns and computation expressions.
Linguistics 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.
Functional 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.
Generative Testing - Stop Writing Unit Tests!
Ghadi Shayban demonstrates techniques toward achieving 100% code test coverage of code, libraries and APIs, without tedious test writing.
Practical 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?"