News for hackers. Stuff that matters.
Re:The Ergonomics of Type Checking (2016) by zmmmmm on Saturday October 28, 2017 @08:11PM (#15577360)
Same here - working up an algorithm is so much more pleasant when you can take advantage of all the Groovy features to get the logic right interactively in a REPL, then you can bring it into your code and sprinkle in types afterwards.

I quite like the pattern of having fully typed interfaces and type signatures while letting the body of a function be dynamic where it makes a big difference to expressiveness. Like a hard shell with a soft inside.

There are no comments on this comment yet.