tag:blogger.com,1999:blog-18302393.post5870387580556281939..comments2022-11-03T07:25:11.402-07:00Comments on hashcollision: crazedDanny Yoohttp://www.blogger.com/profile/04298793721597988477noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-18302393.post-1160100202617400622007-04-24T12:58:00.000-07:002007-04-24T12:58:00.000-07:00Funny. I think I really like type inference, so I'...Funny. I think I really like type inference, so I'm sad Typed Scheme doesn't do that. But on the other hand, I've read recently in various places that when you run into the usual typing heck in O'Caml or Haskell, the trick is to add explicit type signatures to your functions, and that it helps narrow down what/where on earth the actual error is.<BR/><BR/>on the other hand, i've already come across one person saying the opposite, that *removing* them helps. i give up ;-) - somebody needs to write an interactive debugger for the type checkers...Raoul Dukehttps://www.blogger.com/profile/07354740962526930549noreply@blogger.comtag:blogger.com,1999:blog-18302393.post-91652267876835860972007-04-12T22:13:00.000-07:002007-04-12T22:13:00.000-07:00Hey, good to see you again!There's a Typed Scheme ...Hey, good to see you again!<BR/><BR/>There's a <A HREF="http://www.ccs.neu.edu/home/samth/typed-scheme.html" REL="nofollow">Typed Scheme</A> language now, but I haven't played around with it too much yet.Danny Yoohttps://www.blogger.com/profile/04298793721597988477noreply@blogger.comtag:blogger.com,1999:blog-18302393.post-1074699197157137282007-04-11T13:30:00.000-07:002007-04-11T13:30:00.000-07:00hi Danny, Slenk here - doesn't PLT have some kind ...hi Danny, Slenk here - doesn't PLT have some kind of type inference/checker tool these days? I forget.Raoul Dukehttps://www.blogger.com/profile/07354740962526930549noreply@blogger.com