< 1099885544 0 :heatsink!~heatsink@1106-wstoughton.halo.soltec.net JOIN :#esoteric < 1099886241 0 :cpressey!unknown@unknown.invalid PRIVMSG #esoteric :heatsink: re type inference: the dragon book contains a good description & algorithm < 1099886282 0 :heatsink!unknown@unknown.invalid PRIVMSG #esoteric :okay, I'll check it < 1099886284 0 :heatsink!unknown@unknown.invalid PRIVMSG #esoteric :ty < 1099886322 0 :cpressey!unknown@unknown.invalid PRIVMSG #esoteric :np < 1099886337 0 :cpressey!unknown@unknown.invalid PRIVMSG #esoteric :it still took me a loooong time to figure out exactly what was going on with it :) < 1099886360 0 :cpressey!unknown@unknown.invalid PRIVMSG #esoteric :replacing the greek letters with T1, T2, T3 and walking myself through abunch of examples seemed to help < 1099886383 0 :heatsink!unknown@unknown.invalid PRIVMSG #esoteric :does it use sequent notation? < 1099886404 0 :heatsink!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION sees that in papers about typing
< 1099886420 0 :heatsink!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has nearly gotten used to it
< 1099886567 0 :cpressey!unknown@unknown.invalid PRIVMSG #esoteric :no < 1099886577 0 :heatsink!unknown@unknown.invalid PRIVMSG #esoteric :One of my class textbooks had a mathematical derivation that used lowercase zeta, xi, and word-final sigma < 1099886624 0 :cpressey!unknown@unknown.invalid PRIVMSG #esoteric :word-final :) < 1099886626 0 :cpressey!unknown@unknown.invalid PRIVMSG #esoteric :cute < 1099886661 0 :heatsink!unknown@unknown.invalid PRIVMSG #esoteric :The cute part was, they never pointed out the relationship between the three variables < 1099886673 0 :heatsink!unknown@unknown.invalid PRIVMSG #esoteric :And if you think they're all the same variable, the math works out correctly < 1099886753 0 :heatsink!unknown@unknown.invalid PRIVMSG #esoteric :(since they look almost the same) < 1099886791 0 :cpressey!unknown@unknown.invalid PRIVMSG #esoteric :silly textbook publishers. < 1099886794 0 :cpressey!unknown@unknown.invalid PRIVMSG #esoteric :anyway, i have to be off < 1099886797 0 :cpressey!unknown@unknown.invalid PRIVMSG #esoteric :catch you later. < 1099886801 0 :heatsink!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1099886803 0 :heatsink!unknown@unknown.invalid PRIVMSG #esoteric :bye < 1099895483 0 :heatsink!unknown@unknown.invalid QUIT :"Leaving" < 1099896396 0 :ZeroOne!~vsaalo@kekkonen.cs.hut.fi JOIN :#esoteric < 1099900564 0 :lindi-!unknown@unknown.invalid QUIT :tolkien.freenode.net irc.freenode.net < 1099900564 0 :deltab!unknown@unknown.invalid QUIT :tolkien.freenode.net irc.freenode.net < 1099900575 0 :deltab!~deltab@espians.com JOIN :#esoteric < 1099900663 0 :lindi-!~lindi@kulho150.adsl.netsonic.fi JOIN :#esoteric < 1099900799 0 :clog!unknown@unknown.invalid QUIT :ended < 1099900800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1099900915 0 :lindi-!unknown@unknown.invalid QUIT :tolkien.freenode.net irc.freenode.net < 1099900915 0 :deltab!unknown@unknown.invalid QUIT :tolkien.freenode.net irc.freenode.net < 1099900948 0 :lindi-!~lindi@kulho150.adsl.netsonic.fi JOIN :#esoteric < 1099900948 0 :deltab!~deltab@espians.com JOIN :#esoteric < 1099901339 0 :lindi-_!~lindi@kulho150.adsl.netsonic.fi JOIN :#esoteric < 1099901339 0 :lindi-!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1099901555 0 :woggle!unknown@unknown.invalid QUIT :tolkien.freenode.net irc.freenode.net < 1099901555 0 :fizzie!unknown@unknown.invalid QUIT :tolkien.freenode.net irc.freenode.net < 1099901654 0 :woggle!~car@r67h196.res.gatech.edu JOIN :#esoteric < 1099902790 0 :lindi-_!unknown@unknown.invalid QUIT :tolkien.freenode.net irc.freenode.net < 1099902791 0 :deltab!unknown@unknown.invalid QUIT :tolkien.freenode.net irc.freenode.net < 1099903373 0 :lindi-_!~lindi@kulho150.adsl.netsonic.fi JOIN :#esoteric < 1099903373 0 :deltab!~deltab@espians.com JOIN :#esoteric < 1099903378 0 :lindi-_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1099903449 0 :lindi-!~lindi@kulho150.adsl.netsonic.fi JOIN :#esoteric < 1099905086 0 :lindi-!unknown@unknown.invalid QUIT :tolkien.freenode.net irc.freenode.net < 1099905086 0 :deltab!unknown@unknown.invalid QUIT :tolkien.freenode.net irc.freenode.net < 1099908900 0 :lindi-!~lindi@kulho150.adsl.netsonic.fi JOIN :#esoteric < 1099913620 0 :deltab!~deltab@espians.com JOIN :#esoteric < 1099950578 0 :lindi-!unknown@unknown.invalid PRIVMSG #esoteric :mooz-: what language did you use in your 'random programs' experiment?