We've had a major part of our frontend code running in Elm for the better part of a year now. Without going in-depth into technical implementation details I would like to share my experiences of the project. I'll be covering the things that led up to the project, the project itself and ongoing learning as it has…
Visit nonullpointers.com → RSS feedOn Hacker News Apr 2019 – Apr 2019
Edit (2019-04-09): A quick qualifier for future readers. This post talks about correctness in the sense of correct code and not formal proofs or formal specifications. I refer to correctness in the sense of avoidable runtime errors.