   CS exam this week
  I'm having a Programming Languages examination next tuesday. I have two 130-page courses to read. One, which is about type inference in functional languages and several related subjects, concerns itself with Mini-ML, a custom ML-family language. The other discusses object-oriented programming using O2C.I think my head is about to burst. And to think I was planning on starting PERL this week-end, too...   
Quote:Original post by ToohrVykOne, which is about type inference in functional languages and several related subjects, concerns itself with Mini-ML, a custom ML-family language.Heh, pretty sure they use the exact same name for the custom ML-derived language the 1-year students are currently struggling with on their compiler course at our uni... [lol]Guess there are only so many possible names for subsets of ML [wink]   ;Quote:Original post by ToohrVykI have two 130-page courses to read.And you are wasting your times on the forums?Well, I guess if you want to waste your time, here is the best place to do it...After I pleased the owners, I suggest you go play some Unreal...   ;Quote:Original post by SpoonbenderGuess there are only so many possible names for subsets of ML [wink]Yeah, like HTML [grin];  Quite interesting. The exam was a few hours ago, and it was about proving that the addition of the callcc operator to Scheme destroyed type-safety unless polymorphic generalization in let clauses was restricted to values (and not general expressions).So it ended up as proving that:let x = callcc λk.(λx.x,λf.k(f,λd.5)) in(λz.π2 x λx.x+1) (π1 x true)was typed correctly by the original type system, and yet wasn't strongly normalizing.   