> But if any of its claims are true, it's that its type system is at least a little novel. Are you saying it's novel because it picked the worst features of pa

> But if any of its claims are true, it's that its type system is at least a little novel. Are you saying it's novel because it picked the worst features of past type systems? ;-) Technically, it is indeed novel, but it's novel because making these choices was pretty dumb in the first place so nobody made them...