Learn About the Girard-Reynolds Isomorphism!
August 2nd, 2007 by The Head RotorYes indeedy, we got everything you wanted to know about Parametric Polymorphism right here!
Just kidding folks, it’s Comix Cthursday! Today, it’s Achewood’s Great Moments in Cinema Brought To You by Roomba! The Robotic Floor Vac.
If you can make it through the video, we at SB will buy you a beer while you explain it to us. You know how to get in touch.
UPDATE FROM SB: Kevin Pratt, that brainy guy from CRASAR, sends us this comment:
“Watched the entire Isomorphism video you posted from Google; understood most of it.
Here’s what I learned…. There is a *very* good reason I actually build robots and do field work; God help me if I ever become a theoretical computer scientist, I’ll gnaw my own arm off.
And polymorphism is so much more interesting when you talk about polymorphic robots instead, like say a PackBot, or an Inuktun (both listed here.)
Now somebody said something about free drinks?”












