6 Matching Annotations
  1. Apr 2016
  2. Mar 2016
  3. Jan 2016
  4. Nov 2015
    1. So in both cases we are writing contracts that say “I require input with this shape, and I will give you output with that shape.” This is the essence of ruling out runtime errors in Elm. We always know what kind of values a function needs and what kind it produces, so we can just check that we always follow these rules.