Baiting the PL people

[r_transpose_p]

I have several questions I'd like to ask the PL people out there (and really, anyone else who feels like giving their own answers, as I'm mostly soliciting opinions, scenarios and what-ifs rather than "facts"). I am posting them here because I would like to see some degree of lively debate. Anyway, here goes:

1. Given how much the "standard

Comments

[williamallthing]

functional languages, static typing and type theory are all solutions in search of problems. smart guys get interested in them because they are hard to understand, not because they are valuable. later, they convince themselves that they're really valuable in the real world. but they're not

[r_transpose_p]

William! How the hell are you?

[williamallthing]

Hi!

[r_transpose_p]

Side note : These "dynamically typed, duck-typing, no type specifications, type coercions done for you" languages are easy to write small programs in, but once they get large, I often end up going through my code and replacing my previous variable naming convention with some variant of Hungarian notation.

People keep telling me that Hungarian is passe and nobody uses it anymore, except for Visual Studio / MFC documentation examples, but then they tell me that everyone's programming in these not-so-strictly-typed languages.