InfoQ Homepage Functional Programming Content on InfoQ
-
How the Ancient Greeks Invented Programming
Matt Butcher explores the philosophical systems devised by Plato and Aristotle, showing how Plato laid the foundations for what is now OOP, while Aristotle’s dynamic model is at the core of FP.
/presentations/Philosophy-Programming/en/smallimage/Matt.JPG)
-
Akka Eye for the Spring Guy or Gal
Jan Machacek introduces writing Scala applications to Spring developers, demoing using Akka actors with mix-in composition, higher-order functions, higher-order kinds, and REST API.
/presentations/Akka-Scala-Spring/en/smallimage/Jan.JPG)
-
Rewriting GitHub Pages with Riak and Webmachine
Jesse Newland discusses how GitHub pages were re-written with Erlang, Riak and Webmachine in order to improve their performance.
/presentations/GitHub-Pages-Riak-Webmachine/en/smallimage/Jesse.JPG)
-
Real Time Bidding: Where Erlang Blooms
Fred Hebert discusses using Erlang for a real-time bidding system, providing some details of its design and architecture, along with lessons learned while implementing it.
/presentations/Real-Time-Bidding-Erlang/en/smallimage/Fred.JPG)
-
Taking Time Seriously
Bryan O'Sullivan introduces some of the technologies pioneered in the Haskell community to streamline software development and reduce operational costs, while producing beautiful code.
/presentations/Haskell-Technologies/en/smallimage/Brian.JPG)
-
Elm: Making the Web Functional
Evan Czaplicki introduces Elm, a functional reacting programming language meant to replace HTML/CSS/JavaScript, optimized for creating web GUIs, supporting complex user input and avoiding callbacks.
/presentations/Elm/en/smallimage/Evan.JPG)
-
Small is Beautiful
Mike Williams discusses large vs. small software development teams, concluding that smaller teams are better suited for most cases.
/presentations/Small-Large-Teams/en/smallimage/Mike.JPG)
-
Roy
Brian McKenna introduces Roy, a functional JavaScript variant implementing type inference, structural typing, sum types, meta-programming, whitespace-aware syntax, monads and pattern matching.
/presentations/Roy/en/smallimage/Brian.JPG)
-
Metaprogramming for the Masses
Richard Carlsson introduces and demoes a library for using template strings with meta-variables. The library was used at Klarna to implement a DSL for business logic.
/presentations/Metaprogramming-Erlang/en/smallimage/Richard.JPG)
-
Scaling Software with Akka
Jonas Bonér explains solving scalability issues, including adaptive automatic load-balancing, cluster rebalancing, replication and partitioning, with Akka 2.
/presentations/Scalability-Akka/en/smallimage/Jonas.JPG)
-
Erlang Scales … Do You?
Erik Happi Stenman discusses 4 scalability basic requirements: the right business model, the right technology, the right people, and the right (amount of) process.
/presentations/Erlang-Scalability/en/smallimage/Erik.JPG)
-
Types vs. Tests: An Epic Battle?
Amanda Laucher and Paul Snively debate solving problems through types and tests using different approaches.
/presentations/Types-Tests/en/smallimage/ap.JPG)