Sean Chalmers
Functional Programming EngineerData61 / CSIRO
Likes riding motorcycles, crossfit, software that works, and writing documentation. Hates not having errors as values, not being able to use lenses, and writing bios. Also a closet game developer working, currently working on integrating WebGL and SVG with Functional Reactive Programming.
Talks I've Given
-
Property Base Your State Machine (Combo Talk)
Featuring Sean Chalmers
Types are great, but in most languages we use, they can't cover everything.
practice
Testing tries to fill that gap. Property-based testing generates bizarre
examples and finds minimal reproductions that break your tests - a significant
improvement over writing test cases by hand. But what if you have a... -
Property Base Your State Machine (Combo Workshop)
Featuring Sean Chalmers
PREPARATION - A clone or copy of this repository https://github.com/qfpl/state-machine-testing-course/ and completion of the initial setup steps contained therein.
Types are great, but in most languages we use, they can't cover everything.
practice
Testing tries to fill that gap. Property-based testing... -
Software Foundations Workshop
Featuring Sean Chalmers
The Software Foundations syllabus first teaches theorem proving in Coq, without any prerequisites other than basic functional programming. It then gives a broad introduction to Programming Language Theory, completely formalised in Coq. Created by Benjamin Pierce and co-contributors at the...
concept