03:33:19 <levi> OCaml has got some interesting things recently, like polymorphic variant types and GADTs.
03:33:36 <levi> And it has first-class modules now, too.
03:34:10 <stepkut> yeah
03:34:47 <stepkut> it's a bit like deciding which supermodel you want to date
03:34:56 <levi> And two different monadic asynchronous programming extensions! :P
03:35:52 <levi> They seem to be much more lax about obeying monad laws, though.
03:40:49 <stepkut> personally, I am more interested in things like Agda, Epigram, etc
03:47:44 <levi> Yeah. I am doing a bit of OCaml in order to finally understand the module system properly, though.
03:48:25 <levi> I am also going through 'Software Foundations' which is in Coq. Hopefully some of that will translate to more directly practical languages with dependent types.
13:44:29 <Entroacceptor> there isn't a way to just pop all remaining path elements?
13:45:12 <Entroacceptor> like path, only giving back every/thing/left
14:42:11 <donri> Entroacceptor: uriRest or rqPaths <$> askRq
14:43:49 <Entroacceptor> uriRest takes the parameters too, right?
14:44:03 <donri> yes
14:44:30 <Entroacceptor> I don't want those
14:44:43 <Entroacceptor> but I probably want that path in the post body anyway. mhm
14:45:24 <donri> rqPaths is the list of remaining path segments
14:46:00 <Entroacceptor> thanks