[calippo]

> do you really need to analyze compilation logs to arrive to the conclusion that you should use an IDE and that types are helpful ?

Yes you do. That's the point of the article - we should apply basic scientific method to programming (that's what distinguishes us from magicians).

> There is also no real hint into why getting this error...

This part of the story is better explained here https://blog.buildo.io/http-routes-at-buildo-1424250c41d3