Queensland Functional Programming Lab
Lean on powerful abstractions that let you combine smaller components with absolute confidence.
Stand atop the giants of mathematics to take advantage of effective software verification tools. Without having to be a giant yourself.
Save yourself time and stress with precise and reusable abstractions.
If Functional Programming is so much better, why isn't everyone using it yet? Because you haven't knocked on our door yet. But also because there is a misunderstanding in the wider programming community that FP is "hard to learn", or "not practical". Neither of these things are true and we can demonstrate it to you.
Our team is committed to exploiting the benefits of Functional Programming and making sure that you can too!
We provide courses in Functional Programming from introductory through to applied, with more in development. They are free to attend and open to the public. We run them based on demand, so let us know if you're interested.
We can also arrange to run these courses in-house for your organisation, drop us a line and we'll be in touch.
We work to improve the functional programming ecosystem by sharing knowledge, writing libraries, and fixing bugs. All of our courses, software, and libraries are developed in the open and distributed as open source.
Some of the projects we're concentrating on at the moment:
- Programming language tools to deal with the problems associated with legacy programming languages.
- Numerical computing and associated tools.
- Reflex, as an implementation of Functional Reactive Programming.
- Conducting hands-on Functional Programming courses, targeted toward industry programmers.
- sv - Introduction, Status, and Road-map March 29, 2018
- Introduction to Functional Programming. Perth, WA. 30 April-02 May 2018 March 27, 2018
- Backpack for initial and final encodings March 15, 2018
- Nested routes in servant February 5, 2018
- Installing NixOS January 24, 2018