... according to Michael O. Church: strong static typing. Except, he is at pains to add, not the way Java does it, requiring strong typing for everything.
To which I reply: yeah, I can see that. It's static typing fundamentalism that riles me personally - but anything that allows even moderate automated checking of programming logic has to be a win. So certainly static typing has lots of places where it's useful, as long as it doesn't get in the way of quick expressiveness and clear oversight of the logic.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment