Lambda Calculus isn’t just a fancy word: it defines our software, our numbers and perhaps even reality itself.
Game Development Teamup
Games don't write themselves. Without the knowledge and tools the Next Big Thing is still hidden inside your head. Bring your vision to life, we'd love to help.
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.
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.
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.
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.