←2004-11-07 2004-11-08 2004-11-09→ ↑2004 ↑all
03:45:44 -!- heatsink has joined.
03:57:21 <cpressey> heatsink: re type inference: the dragon book contains a good description & algorithm
03:58:02 <heatsink> okay, I'll check it
03:58:04 <heatsink> ty
03:58:42 <cpressey> np
03:58:57 <cpressey> it still took me a loooong time to figure out exactly what was going on with it :)
03:59:20 <cpressey> replacing the greek letters with T1, T2, T3 and walking myself through abunch of examples seemed to help
03:59:43 <heatsink> 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 <cpressey> no
04:02:57 <heatsink> One of my class textbooks had a mathematical derivation that used lowercase zeta, xi, and word-final sigma
04:03:44 <cpressey> word-final :)
04:03:46 <cpressey> cute
04:04:21 <heatsink> The cute part was, they never pointed out the relationship between the three variables
04:04:33 <heatsink> And if you think they're all the same variable, the math works out correctly
04:05:53 <heatsink> (since they look almost the same)
04:06:31 <cpressey> silly textbook publishers.
04:06:34 <cpressey> anyway, i have to be off
04:06:37 <cpressey> catch you later.
04:06:41 <heatsink> ok
04:06:43 <heatsink> 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 <lindi-> mooz-: what language did you use in your 'random programs' experiment?
←2004-11-07 2004-11-08 2004-11-09→ ↑2004 ↑all