Haskell
F#
OCaml
SML
The practice and craft of functional programming :: Conference
Compose is a new conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, SML, and related technologies.
Typed functional programming has been taken up widely, by industry and hobbyists alike. For many of us it has renewed our belief that code should be beautiful, and that programming can be as enjoyable as it is practical. Compose is about bringing together functional programmers of all levels of skill and experience — from technical leads to novices, and from long-time hackers to students just getting started.
Our experiences have shown that the theoretical can be put into practice with great success, and that topics once considered “advanced” can be made understandable and spread widely. For example, type systems, often considered complex, can simplify our lives by teaching compilers to do some of our reasoning for us.
Compose is about learning together — sharing knowledge, insights, techniques, and sometimes just awesome things we made. The conference will be a three-day event, beginning with a Technical Keynote talk on Friday night, by Dr. Stephanie Weirich on the fundamentals of dependent type theory, made easy. The second day will be composed of invited and submitted talks, covering a range of topics and technologies of interest to functional programmers. Sunday will be organized as an unconference and collaborative code-in, with time to meet people, hack on projects, or attend both organized and impromptu workshops and tutorials. This is our first year and space is limited, so register soon!
