Hacker News Reader

I'm curious, why isn't type inference used in the examples? For example:

http://elm-lang.org/edit/examples/WebGL/Triangle.elm

Edit: ok, the language has full type inference, but not the webgl examples.

Type inference works on all Elm programs, but it's best practice to add type annotations.

In the WebGL examples, I felt it made things a bit clearer since folks are probably not familiar with how WebGL works. Once you get comfortable reading types, it helps you see how things fit together, and they definitely helped me learn John's API when I was new to it :)

But if you don't need/want type annotations, you can totally take them all away and they'll be inferred! How did having them effect your experience of looking at the examples?

The main effect was that I thought "why is this ML-style language not using type inference!". :) But now that you have explained why you've annotated the examples, I can see that it would be educational to see the types when the reader wouldn't have seen the library before.

Reply on news.ycombinator.com