This paper describes a monad for checked, explicitly typed exceptions.
In other words, what for other languages is a native feature,
is encoded here as a simple library.
We accomplish ...
This presentation examines the properties that make Erlang a great language for building Domain Specific Languages. - powerful parsing capabilities, runtime evaluation, and pattern matching are a f...
Don Syme presents F# basics, a typed functional language for .NET that combines the succinctness, expressivity, and compositionality of functional programming with the runtime support, libraries, i...
Jonas Bonér talks about Scala: using OO and the type system to create reusable components, using closures, high-order functions, immutability to create coherent and deterministic code, using Actors...
Structure and Interpretation of Computer Programs (SICP) is a textbook published in 1984 about general computer programming concepts from MIT Press written by Massachusetts Institute of Techno...
This easy-to-use, fast-moving tutorial introduces you to functional programming with Haskell. You'll learn how to use Haskell in a variety of practical ways, from short scripts to large and demandi...