News for hackers. Stuff that matters.
Re:Code is Engineering; Types are Science by diegoperini on Monday April 06, 2020 @10:34AM (#22794059)
I had the chance to experiment this idea a few years ago. I had a text editor which could only lint Javascript. My project was a haskell+js hybrid. There was no analysis for hs aside from running the compiler and seeing the output.

Writing the hs part was a nightmare at first. Once the project grew and I needed refactoring, js became the main nightmare. Hs simply did its thing which at that point, I already had got used to it. Js couldn't tell me if anything wrong outside of function boundaries.

A smarter js linter may prove me wrong but I believe types serve a long term goal by sacrificing productivity in the beginning.

There are no comments on this comment yet.