03:45:44 -!- heatsink has joined. 03:57:21 heatsink: re type inference: the dragon book contains a good description & algorithm 03:58:02 okay, I'll check it 03:58:04 ty 03:58:42 np 03:58:57 it still took me a loooong time to figure out exactly what was going on with it :) 03:59:20 replacing the greek letters with T1, T2, T3 and walking myself through abunch of examples seemed to help 03:59:43 does it use sequent notation? 04:00:04 * heatsink sees that in papers about typing 04:00:20 * heatsink has nearly gotten used to it 04:02:47 no 04:02:57 One of my class textbooks had a mathematical derivation that used lowercase zeta, xi, and word-final sigma 04:03:44 word-final :) 04:03:46 cute 04:04:21 The cute part was, they never pointed out the relationship between the three variables 04:04:33 And if you think they're all the same variable, the math works out correctly 04:05:53 (since they look almost the same) 04:06:31 silly textbook publishers. 04:06:34 anyway, i have to be off 04:06:37 catch you later. 04:06:41 ok 04:06:43 bye 06:31:23 -!- heatsink has quit ("Leaving"). 06:46:36 -!- ZeroOne has joined. 07:56:04 -!- lindi- has quit (tolkien.freenode.net irc.freenode.net). 07:56:04 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 07:56:15 -!- deltab has joined. 07:57:43 -!- lindi- has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:55 -!- lindi- has quit (tolkien.freenode.net irc.freenode.net). 08:01:55 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 08:02:28 -!- lindi- has joined. 08:02:28 -!- deltab has joined. 08:08:59 -!- lindi-_ has joined. 08:08:59 -!- lindi- has quit (Read error: 104 (Connection reset by peer)). 08:12:35 -!- woggle has quit (tolkien.freenode.net irc.freenode.net). 08:12:35 -!- fizzie has quit (tolkien.freenode.net irc.freenode.net). 08:14:14 -!- woggle has joined. 08:33:10 -!- lindi-_ has quit (tolkien.freenode.net irc.freenode.net). 08:33:11 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 08:42:53 -!- lindi-_ has joined. 08:42:53 -!- deltab has joined. 08:42:58 -!- lindi-_ has quit (Read error: 104 (Connection reset by peer)). 08:44:09 -!- lindi- has joined. 09:11:26 -!- lindi- has quit (tolkien.freenode.net irc.freenode.net). 09:11:26 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 10:15:00 -!- lindi- has joined. 11:33:40 -!- deltab has joined. 21:49:38 mooz-: what language did you use in your 'random programs' experiment?