Lambda Calculus
Lambda Calculus isn’t just a fancy word: it defines our software, our numbers and perhaps even reality itself.
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.
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.
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!
Functional Thinking
Concepts of functional programming is made much harder when the developer is also trying to learn a new language, like Haskell, Scala or Clojure at the same time. With that in mind, we focus on relating functional concepts in a common language: Java.