Toggle Menu

<-- Back to schedule

Functional Programming Miniconf

The Functional Programming (FP) Miniconf will provide the
opportunity for FP practitioners and people interested in FP to
learn the concepts, tools and techniques of FP in a supportive
environment, to be challenged in their thinking about programming
and the tools of the craft, and to be inspired to embrace the
advantages of FP in their workplaces and open source projects and
communities.

*Functional programming* is an approach to programming that models
computation as the evaluation of mathematical functions. Drawing
from fields of mathematics including lambda calculus and category
theory, FP emphasises *purity*, *immutability*, *abstraction* and
*composability* - qualities that underpin FP's reputation of
succinctness, comprehensibility and the ability to move fast and
*not* break things.


Call for Proposals
------------------

Please email proposals to ``frase@frase.id.au``. The standard talk
duration is 30 minutes *including time for questions*.

We are looking for talks that will interest FP newcomers and
experienced practitioners alike. Accordingly, we are unlikely to
accept proposals that assume significant prior knowledge of FP,
category theory, etc. As with the conference proper, all talks must
relate in some way to free/open source software.

In particular, we welcome proposals that:

- Teach FP concepts or techniques that are applicable in a variety
of languages, including languages not normally considered
"functional".

- Blow minds with emerging tools or techniques, and introduce the
underlying theory.

- Clearly convey the benefits of FP for writing correct,
maintainable and high performance software.

- Demonstrate awesome open source programs or libraries written in a
functional programming language and expound important aspects of
their implementation.

- Educate attendees on how to learn or teach FP effectively.

Fraser Tweedale

Fraser is an identity management engineer at Red Hat where he works
on FreeIPA and Dogtag Certificate System. He is interested in
security and cryptography and cares about making it easier for
humans to use properly. By night Fraser writes programs in Haskell,
proves theorems in Coq and is gradually exploring dependent types,
category theory and other exciting intersections of mathematics and
computer science.


Geelong 2016

Our Emperor Penguin Sponsors

Geelong

About Geelong

Geelong is Victoria's second largest city, located on Corio Bay, and within a short drive from popular beach-front communities on the Bellarine Peninsula as well as being the gateway to the famous Great Ocean Road

More Info »

linux.conf.au

linux.conf.au

linux.conf.au is widely regarded by delegates as one of the best community run Linux conferences worldwide and is the largest Linux and Open Source Software conference in the Asia-Pacific.

Read More »

Sponsorship

Sponsorship

Our Sponsors help make linux.conf.au become the awesome conference everyone comes back to year after year. Come see who's on board this year, or find out how to get in contact with us

Sponsorship »