| --- Log opened Wed Oct 03 00:00:33 2007 |
| 00:23 | <@gnolam> | It's a pretty... broad... field. |
| 00:23 | <@gnolam> | Ach. He quit anyway. |
| 00:39 | | gnolam [lenin@Nightstar-10613.8.5.253.static.se.wasadata.net] has quit [Quit: Z?] |
| 01:34 | | * McMartin flails briefly at OCaml, then realizes it was his own blinding stupidity |
| 01:34 | <@McMartin> | Mental note: When copying bits of code into the file you are editing as reference, comment those bits out. |
| 01:36 | <@Vornicus> | heh |
| 01:58 | <@McMartin> | Also, wtf, the String module doesn't have split or join. |
| 01:59 | <@McMartin> | Granted, they're, like, four lines each, but. |
| 03:16 | | Raif [~corvusign@Nightstar-25074.hsd1.wa.comcast.net] has quit [Killed (NickServ (GHOST command used by Raif_))] |
| 03:17 | | Raif_ [~corvusign@Nightstar-25074.hsd1.wa.comcast.net] has joined #Code |
| 03:17 | | Raif_ is now known as Raif |
| 03:17 | | Pi-2 [~sysop@Nightstar-6875.hsd1.wa.comcast.net] has joined #code |
| 03:17 | | Pi [~sysop@Nightstar-6875.hsd1.wa.comcast.net] has quit [Ping Timeout] |
| 04:37 | | Forj [~Forj@Nightstar-10836.ue.woosh.co.nz] has joined #code |
| 04:37 | | mode/#code [+o Forj] by ChanServ |
| 04:44 | | GeekSoldier is now known as GeekSoldier|work |
| 04:47 | | Pi-2 is now known as Pi |
| 05:01 | | ToxicFrog [~ToxicFrog@Admin.Nightstar.Net] has quit [Operation timed out] |
| 05:03 | | ToxicFrog [~ToxicFrog@Admin.Nightstar.Net] has joined #code |
| 05:03 | | mode/#code [+o ToxicFrog] by ChanServ |
| 06:53 | < GeekSoldier|work> | augh. IDLE does not want to work in Vista. |
| 06:53 | <@McMartin> | o_O |
| 06:54 | < GeekSoldier|work> | Vista doesn't want to let it open a socket to itself. |
| 06:54 | | * jerith hands GeekSoldier|work vim and ipython. :-P |
| 06:55 | < GeekSoldier|work> | heh. |
| 06:55 | < GeekSoldier|work> | it's tempting. |
| 06:56 | < GeekSoldier|work> | if IDLE isn't working, I doubt Eclipse+pydev will even work. |
| 07:31 | | GeekSoldier|work [~Rob@Nightstar-4489.pools.arcor-ip.net] has quit [Connection reset by peer] |
| 08:30 | | Vornicus is now known as Vornicus-Latens |
| 08:31 | <@Chalcedon> | o.O |
| 08:32 | <@Chalcedon> | remind me not to touch vista if I ever become daft enough to contemplate it. |
| 08:51 | | You're now known as TheWatcher |
| 09:28 | | gnolam [lenin@Nightstar-10613.8.5.253.static.se.wasadata.net] has joined #Code |
| 09:28 | | mode/#code [+o gnolam] by ChanServ |
| 09:46 | | Chalcedon [~Chalcedon@Nightstar-10836.ue.woosh.co.nz] has quit [Quit: Gone] |
| 10:11 | | Forj [~Forj@Nightstar-10836.ue.woosh.co.nz] has quit [Quit: Gone] |
| 12:50 | | Attilla_ [~The.Attil@194.72.70.ns-11849] has joined #code |
| 12:51 | | Attilla [~The.Attil@194.72.70.ns-11849] has quit [Ping Timeout] |
| 13:49 | | gnolam is now known as gnaeon_flux |
| 13:53 | <@ToxicFrog> | Oh yes, that reminds me. |
| 13:54 | | * ToxicFrog kills the fuck out of Vista for generating CDs with some wacky filesystem nothing else can read |
| 13:55 | <@gnaeon_flux> | D'uh. It's Vista. |
| 13:56 | <@ToxicFrog> | They claim to be to UDF, but if Leela is to be believed they aren't UDF |
| 14:43 | | Attilla_ is now known as Attilla |
| 15:16 | | ReivZzz is now known as ReivSLEP |
| 15:17 | | GeekSoldier|work [~Rob@Nightstar-4826.pools.arcor-ip.net] has joined #code |
| 15:18 | < ReivSLEP> | UDF? |
| 15:21 | < GeekSoldier|work> | undocumented design feature? |
| 15:24 | | GeekSoldier|work is now known as GeekSoldier |
| 15:36 | <@ToxicFrog> | A CD/DVD filesystem. |
| 17:13 | | * ToxicFrog throttles Haskell's pattern matching |
| 17:13 | <@ToxicFrog> | I can't do, say: |
| 17:13 | <@ToxicFrog> | left (Foo l _) = l |
| 17:13 | <@ToxicFrog> | left (Bar l _) = l |
| 17:13 | <@ToxicFrog> | Because after the first one, it type-infers left to have signature left :: Foo a -> a |
| 17:16 | | You're now known as TheWatcher[afk] |
| 17:20 | | Zemyla [~nsJChat@168.53.174.ns-23174] has joined #code |
| 18:04 | | Vornicus-Latens is now known as Vornicus |
| 18:04 | | Zemyla [~nsJChat@168.53.174.ns-23174] has quit [Connection reset by peer] |
| 18:08 | | Zemyla [~nsJChat@168.53.174.ns-23174] has joined #code |
| 18:13 | | AnnoDomini [AnnoDomini@Nightstar-29547.neoplus.adsl.tpnet.pl] has quit [Ping Timeout] |
| 18:18 | | AD [AnnoDomini@Nightstar-29622.neoplus.adsl.tpnet.pl] has joined #Code |
| 18:22 | | You're now known as TheWatcher |
| 18:24 | | Forj [~Forj@Nightstar-10836.ue.woosh.co.nz] has joined #code |
| 18:24 | | mode/#code [+o Forj] by ChanServ |
| 18:44 | <@ToxicFrog> | Haskell's function signatures bug me. |
| 18:44 | <@ToxicFrog> | Rather than, say: |
| 18:45 | <@ToxicFrog> | Rather. |
| 18:45 | <@ToxicFrog> | Say you have a function that maps a showable object a to a string |
| 18:45 | <@ToxicFrog> | You can go: |
| 18:45 | <@ToxicFrog> | f :: a -> String |
| 18:45 | <@ToxicFrog> | Which is valid, but doesn't guarantee showability. |
| 18:45 | <@ToxicFrog> | So instead you go: |
| 18:45 | <@ToxicFrog> | f :: Showable a -> String |
| 18:46 | <@ToxicFrog> | Which isn't valid Haskell. |
| 18:46 | <@ToxicFrog> | Neither is f :: Showable -> String, although one would think it would be |
| 18:46 | <@ToxicFrog> | Instead you have to go: f :: (Showable a) => a -> String |
| 18:48 | | Forj [~Forj@Nightstar-10836.ue.woosh.co.nz] has quit [Quit: Gone] |
| 18:50 | | * Vornicus dislikes. |
| 18:52 | < Attilla> | Is there no end to your hate? |
| 19:25 | | AD is now known as AnnoDomini |
| 19:25 | < Zemyla> | Hey Anno. |
| 19:25 | < AnnoDomini> | Hello. |
| 19:34 | | GeekSoldier is now known as GeekSoldier|bed |
| 19:37 | <@McMartin> | The fact that you have to write signatures instead of letting the inference engine handle it bothers me, too. |
| 20:00 | | mode/#code [+o AnnoDomini] by ChanServ |
| 20:21 | < MyCatVerbs> | McMartin: uh... no, you don't. |
| 20:21 | < MyCatVerbs> | McMartin: if your function ever calls "show" on the parameter being passed in, the inferrer can work out that it needs to be of class Show, since "show" is defined in the class Show. ^_^ |
| 20:22 | < MyCatVerbs> | McMartin: it's just that the syntax for specifying typeclasses is a little, eh. |
| 20:26 | < MyCatVerbs> | Mainly because you can require multiple that a particular type is within multiple classes. Hypothetical crap example, a function that assembles a splay tree and then pretty prints it. |
| 20:27 | < MyCatVerbs> | It'll need ordering to be defined on the elements to be put into the tree, as well as textual output to be defined on them. So it'll have type f :: (Show a, Ord a) => a -> String |
| 20:28 | < MyCatVerbs> | If you don't put that in, Haskell's inferrer will work it out on your behalf, because you will have to make use of (<=) and show in order to write that function in the first place. |
| 20:29 | < MyCatVerbs> | (But it makes things a bit quicker and helps document your intentions if you put the type annotation in yourself, and, more importantly, will make any type errors you might get when using that code later more, ah, informative.) |
| 20:55 | | * McMartin nods |
| 20:55 | <@McMartin> | (My experience, as backscroll will show, is with ML, where you put all the exported signatures elsewhere) |
| 21:01 | <@McMartin> | (It's unnervingly Pascal-ly) |
| 21:03 | | gnaeon_flux is now known as gnolam |
| 21:26 | <@McMartin> | "let fmt indent s = (String.make indent ' ') ^ match s with ..." |
| 21:26 | <@McMartin> | Not sure whether this is using my powers for good or evil |
| 22:45 | < MyCatVerbs> | McMartin: dunno, what's (^)? |
| 22:45 | < MyCatVerbs> | Also, doesn't it conflict with the (^) exponentiation operator in Prelude? |
| 22:45 | < MyCatVerbs> | (Or are you talking ML, sorry?) |
| 22:47 | | You're now known as TheWatcher[afk] |
| 22:47 | | You're now known as TheWatcher[T-2] |
| 22:54 | | You're now known as TheWatcher[zZzZ] |
| 23:21 | | Takyoji [~caleblang@Nightstar-25812.dhcp.roch.mn.charter.com] has joined #code |
| 23:21 | < Takyoji> | Anyone know the significance of the C:/Windows/i386 folder? |
| 23:21 | | Zemyla [~nsJChat@168.53.174.ns-23174] has quit [Connection reset by peer] |
| 23:32 | < MyCatVerbs> | Takyoji: yes, it's a sign that some cotton-pickin' varmint has gone and installed broken crap on an otherwise perfectly servicable computer. </joke plea="please do not kill me"> |
| 23:32 | | * Takyoji sues eMachine |
| 23:34 | < MyCatVerbs> | I thought they went out of business? |
| 23:34 | < Takyoji> | I honestly don't know |
| 23:42 | | Chalcedon [~Chalcedon@Nightstar-10836.ue.woosh.co.nz] has joined #code |
| 23:42 | | mode/#code [+o Chalcedon] by ChanServ |
| --- Log closed Thu Oct 04 00:00:39 2007 |