The FPU is a collective of functional programming language enthusiasts. We are based at the University of Melbourne, in the Department of Computer Science and Software Engineering, but we are open to all members of the community. We meet on a regular basis for lively discussions on topics broadly associated with the declarative programming paradigm.
Here is a non-exhaustive list of the kinds of things we are enthusiastic about:
- Purely functional programming languages, such as Haskell, Mercury and Clean.
- Impure functional programming languages, such as Lisp, Scheme and ML.
- Static type systems and static analysis of programs.
- Practical applications of functional programming languages.
- Programming language design and implementation.
- Tools for program development.
- The theory which underpins functional programming, such as the Lambda Calculus, Types, Logic, and Category Theory.
- Software development and engineering, particularly regarding the ways that functional programming can assist these pursuits.
The previous talks
page provides a broad survey of our interests.
How can you join the FPU?
Join our Google Group.
You don't have to be an expert to join the FPU. The only requirement is a keen interest to discuss functional programming.
When and where does the FPU meet?
At the moment we meet on (most) Friday afternoons between 1 and 2 pm in the ICT Building at the University of Melbourne, 111 Barry Street Carlton. You can still be a member of the FPU even if you cannot make it to all the meetings. In the future we plan to open a discussion board, and there are many other ways that interested people can contribute to the group.