Lambda Calculus isn’t just a fancy word: it defines our software, our numbers and perhaps even reality itself.
F# 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.
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.
Parsing Text with a Virtual Machine
As the saying goes, all the good ideas in computer science came from the 1970s. We'll explore a new library for parsing text that calls upon an old, unconventional approach: compiling parsers to custom bytecode and then running it through an interpreter. Along the way, we'll learn about how PEGs fit a sweet spot between regular expressions and heavier parsers, and how Clojure is an ideal language for writing simple compilers.
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.
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.