This talk explores alternatives to the singly-linked list available from F# open source libraries for representing linear data. It investigates the characteristics of functional linear structures, the advantages of composition, using functional data struct...

Distributed scalable asynchronous processing is often associated with the Actor Model, but the Actor Model is gigantic pile of side-effects and inversion of control. This session will present ways to use functional programming techniques and the new Async ...

Riak Core has proven to be a robust distributed systems platform by leveraging Erlang, arguably the most pragmatic functional programming in widespread use. Riak Pipe offers a simple model for automatically distributing workload across a cluster. We'll dis...

Are you tired of writing and maintaining thousands of automated tests? Are you tired of apologizing to your customers for unforseen (but not unforgiveable) product failures? Is testing just no longer any fun? If the anwser is "Yes" to any or all of the abo...

Are you tired of writing and maintaining thousands of automated tests? Are you tired of apologizing to your customers for unforseen (but not unforgiveable) product failures? Is testing just no longer any fun? If the anwser is "Yes" to any or all of the abo...

Options and IOs and Iteratees, oh my! If you've poked around at Scala you've seen it--the ubiquitous for-comprehension sprinkled through idiomatic Scala code. As it turns out, what looks like a bit of syntactic sugar to ease prosaic list manipulation is ac...

Over the past 4 years, the production architecture at the Gilt Groupe (www.gilt.com) has evolved from a single monolithic web application to a highly-distributed collection of more than 200 micro-services and small web applications. This architectural shif...

Finite State Machines are overlooked at best, ignored at worst, and virtually always dismissed. This is tragic since FSMs are not just about Door Locks (the most commonly used example). On the contrary, these FSMs are invaluable in clearly defining communi...

IO is usually quite hard to tackle in a functional way. The predominant paradigm for I/O is the cursor. A cursor is a data structure that holds the current state of an I/O resource and provides a function to retrieve the next data available from that resou...

The human being is one of the most complicated machines in existence. When things go wrong, they go really wrong, and in order to figure out the solutions only the most powerful technology will be sufficient. Based on over a year of applying Clojure, Neo4j...

Source code tends to be read (by humans and machines alike) more often than it is written. So, it makes sense that code should be as clear and direct as possible. In this talk, suitable for all skill levels, we will review three simple features of F# (two ...

You love building Web UIs but don't love bloated JavaScript. Rocking CoffeeScript with functional programming lets you pack a ton of logic into concise, composable, readable code. This talk will show how JavaScript developers of all backgrounds can benefit...

Redex is a domain-specific programming language for writing down operational semantics---meaning you can, in just a few lines, write down a complete running version of the lambda calculus and, in just a few more, add in enough to build a core of your favor...

In high-scale distributed systems like Riak, an open source distributed database written in Erlang, the network can make or break system reliability and availability. In this talk, Steve will discuss an experimental approach to alleviating network congesti...

One reason programming is hard is because it is so difficult to observe what is happening when a program runs. Programming languages and libraries rely on abstractions which either hide important details or produce too much information to consume. Develope...

We need to understand our programs, to know they fit the circumstances where we use them. Whether we can reason about programs is limited not just by how complex they are but by how complex they seem, which depends on their representation. In this session...

Erlang is well known for its concurrency, distribution and beautiful syntax. Many languages and frameworks have come on the scene recently that people attempt to compare against Erlang's performance and concurrency. While concurrency is important, what is ...

The syntactic threading macros (-> and friends) hint at a whole new context for code that may be especially useful for network or other IO-related programs. Is it coincidence that the resulting code has a shape very much like state monad comprehension? We'...

Music theory is one of the most naturally elegant and functional domains. It's a perfect fit for Clojure, which is why the Overtone audio environment makes hacking sound so much fun. Chris will start with the basic building block of sound, the sine wave, ...

We will be taking a whirl-wind tour of the functional landscape, by looking at the concept of polymorphism through the lens of Clojure, Ocaml, Haskell and finally, Scala. We will follow a single problem through all these different languages finally landing...

"Functional Programming" is the modern received wisdom regarding program and language design. All the cool kids talk about writing code that is "functional" or even "purely functional". However, functional programming as it is traditionally defined really ...

This talk explores big data using vector functional programming. These languages enable rapid interactive development of concise and efficient applications. Vectors are a natural low impedance abstraction for dealing with high performance relational and No...

This talk will cover a range of techniques and use-cases for Domain Specific Languages, using Haskell. Using the JMacro library for programmatic generation of JavaScript, and the jmacro-rpc library for ajax interoperation between Haskell and JavaScript as ...

We think of computers and networks as compliant slaves that provide us with computational and communication power in the same way that a power shovel provides us with muscle power. Thus programming is thought of as a pragmatic tool for accomplishing useful...

How can we build large self-healing scalable systems? In this talk I will outline the architectural principles needed for building scalable fault-tolerant systems. I'll talk about building systems from small isolated parallel components which communicate ...

As working engineers we are often not given enough time to explore our craft and if we do the space is often well within our comfort zones. This is unfortunate given that learning is a relatively low risk activity - it's not the same as creating an entirel...

Built around F#'s language-oriented features, WebSharper brings powerful functional concepts and composable abstractions such as formlets, flowlets and sitelets to solve many of the challenging problems of web development, and offers a uniquely productive ...

Most tutorials explain the whole monad burrito by first growing the wheat to make the tortilla. Metaphors can sometimes get in the way of the simple fact that most Haskell code boils down to five essential monads: IO, Reader, Writer, State and Error. The g...

The Netflix API receives over two billion requests a day from more than 800 different devices ranging from gaming consoles like the PS3, XBox and Wii to set-top boxes, TVs and mobile devices such as Android and iOS. As the unique demands of different devi...

Experience the joy of flying the Parrot AR Drone using the power of Clojure. We will take a journey that begins with a child's dream of having a "real" robot friend. Along the way, we will discover the blessings of a functional language, the power of the ...