3 ms·

"expressive" "concise" "novel type system" "flexible type system" Just a few things that need correcting. Really ... "novel type system" ...

• adrusi 11y ago
  Ok, well that's funny. You pick "novel type system" apparently because you find it especially absurd, but I find that that's the only accurate on on the list. Go isn't expressive, nor concise, nor does it have a flexible type system. But if any of its claims are true, it's that its type system is at least a little novel. Sure it's not the most exotic type system out there, but its interfaces are very useful and they aren't found in many other languages (not implicitly satisfied interfaces, that is).
  • iofj 11y ago
    Go's brand of duck typing isn't exactly a novel type system. If I had to describe Go, I'd say "I like Hoare's paper" combined with "I read the first 10 pages of the book 'my first compiler'".
  • incepted 11y ago
    > 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...