Lambda Calculus isn’t just a fancy word: it defines our software, our numbers and perhaps even reality itself.
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.
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.
With such a conspicuous title you'd think this was meant to be ironic or a post-modern arthouse diatribe. Nope, I'm just asking you to literally think differently, because the future depends on it. Non-ironic drama intended.
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.
Bare Metal Functional Programming With Symbolics
The Symbolic's Lisp Machine is an amazing and unique computer designed with one thing in mind: run functional programs as fast as possible using hardware specifically designed for the language!