2014-06-07 03:37:45 +0000GrooveStomp(~GrooveSto@216-13-179-82.dedicated.allstream.net)
2014-06-07 03:40:43 +0000 <akurilin> bitemyapp: I think I finally go what you were saying about not grouping tree nodes all under one sum type
2014-06-07 03:41:09 +0000 <akurilin> because then you're still dealing with one type
2014-06-07 03:42:15 +0000 <akurilin> I think I can just use a Tree parametric over separate types
2014-06-07 03:43:19 +0000 <akurilin> not sure I quite need to proxy anything yet
2014-06-07 03:43:21 +0000 <akurilin> we'll see
2014-06-07 03:43:26 +0000 <akurilin> but I have that post of yours for reference
2014-06-07 03:43:32 +0000GrooveStomp(~GrooveSto@216-13-179-82.dedicated.allstream.net) (Ping timeout: 245 seconds)
2014-06-07 03:52:40 +0000 <akurilin> Hm yeah that won't work necessarily without proxying as far as I can tell, I want to make functions that can only take a certain type of nodes, so having a single node type won't work, but also I can't have a heterogenous tree
2014-06-07 04:11:42 +0000GrooveStomp(~GrooveSto@69.172.162.199)
2014-06-07 04:30:27 +0000 <carter> ReinH: bitemyapp so tekmo finally figured out a way to push me into blogging now rather than alter :)
2014-06-07 04:30:28 +0000 <carter> *later
2014-06-07 04:47:06 +0000 <chirpsalot> carter oh?
2014-06-07 04:47:09 +0000 <tnks_> bitemyapp: I know it feels like it's stalled, but I keep on getting more people saying they can help.
2014-06-07 04:47:30 +0000 <carter> chirpsalot: i'm writing numerical haskell
2014-06-07 04:47:33 +0000 <tnks_> I was just talking to them about this today.
2014-06-07 04:47:36 +0000 <carter> and people have been pestering me to blog more
2014-06-07 04:47:44 +0000tnks_tnks
2014-06-07 04:47:46 +0000 <chirpsalot> carter: make all the blogs :D.
2014-06-07 04:47:52 +0000 <carter> pay me
2014-06-07 04:47:53 +0000 <carter> :P
2014-06-07 04:48:08 +0000 <chirpsalot> Is that how they convinced you?
2014-06-07 04:48:21 +0000 <carter> nope
2014-06-07 04:48:52 +0000 <chirpsalot> :O. Was it scandalous?
2014-06-07 04:49:19 +0000 <carter> :P
2014-06-07 04:49:33 +0000chirpsalotis legitimately curious about what was persuasive.
2014-06-07 04:49:53 +0000 <carter> i was planning on blogging more soon anyways
2014-06-07 04:50:09 +0000 <carter> tekmo just disclosed some market rate information that made me go "oh fuck, blogging matters"
2014-06-07 04:50:18 +0000 <carter> so i shifted my priorities a teeny bit
2014-06-07 04:50:22 +0000 <chirpsalot> carter: oh?
2014-06-07 04:50:44 +0000 <chirpsalot> I'm currently making a crappy blog with Hakyll for fun.
2014-06-07 04:50:56 +0000 <chirpsalot> I suspect nobody will read it :).
2014-06-07 04:52:45 +0000 <carter> chirpsalot: i've spend ~ 2 manyears getting numerical haskell into being a protean thing
2014-06-07 04:52:46 +0000 <aspidites> chirpsalot: if you build it, they will come
2014-06-07 04:52:53 +0000 <carter> i wanna capture all the eyballs