/prog/s opinion on Go

You know, the google thing.  Personally I'm a bit excited for a compiled python-like C language.  It's going to take for fucking ever for it to become useful, though, especially with google's slow and steady attitude.  I could see it catching on though kind of like python did.

>>116
No, parametric is slightly different from ad-hoc polymorphism. In terms of System F, the former is expressed as
/\T. \x:T. do something with x
whereas the latter is
/\T. \x:T. if (T can be unified with A) then foo x
      else if (T can be unified with B) then bar x
Yes, you can simulate the parametric variant by simply providing the same code for foo and bar, but that defeats the abstraction.