Skip to content

Instantly share code, notes, and snippets.

@zkessin

zkessin/abstract.md

Created December 26, 2017 10:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save zkessin/13481b41a3dc8ac1e02aec24d1e45857 to your computer and use it in GitHub Desktop.
Save zkessin/13481b41a3dc8ac1e02aec24d1e45857 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
abstract.md

Test and Type Driven Development In Elm

Zachary Kessin

Length: about 30 minutes

If you are coming to Elm from JavaScript or other weekly types languages you are probably used to doing Test Driven Development but Elm is a strongly typed language with a rich type system. In Elm it is often possible to use the compiler to do Type Driven Development where our invariants are created by creatively using types in our applications.

This talk will bring together Tests, Properties (QuickCheck) and Types to show how to create robust applications in Elm.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment