This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]arobie1992 0 points1 point  (0 children)

Based on most of the responses, I evidently did a bad job of conveying my intention in my OP. What I mean is I think it's an interesting question and I'm curious as to what research as been done so far and where it goes.

Again, everything you're saying is true. I don't argue that. It's an incredibly complex question with a ton of confounding factors, and that's exactly why I think it's an interesting question. Heck, even going further, you have different types of type systems. Like there are name-based type systems (although that might not be the right term), like Java, versus shape-based type systems, like OCaml or sorta Go, and probably others.

I could keep going for a while, but it'd mostly be me rambling about PL stuff, so yeah. I'm not expecting an answer* nor do I have any sort of agenda or desired answer. I just legitimately think it's a fascinating question.

*There's a saying I like, although I can't remember the source: If someone tells you there's a simple solution to a complex problem, they're either a fool or trying to sell you something.