[philix001]

I don't think it's common for programmers to have in depth opinions about type systems. And most of the ones who do may not really know what they're talking about.