2017-08-16T00:03:10Z rRru quit (Quit: rRru) 2017-08-16T00:08:42Z cemerick joined #scheme 2017-08-16T00:13:14Z lambda-11235 joined #scheme 2017-08-16T00:15:03Z pilne joined #scheme 2017-08-16T00:23:33Z pie_ quit (Ping timeout: 255 seconds) 2017-08-16T00:49:31Z cemerick quit (Ping timeout: 240 seconds) 2017-08-16T00:49:41Z pierpa quit (Quit: Page closed) 2017-08-16T00:59:41Z badkins joined #scheme 2017-08-16T01:10:03Z jcowan_ joined #scheme 2017-08-16T01:11:40Z sethalves quit (Remote host closed the connection) 2017-08-16T01:24:07Z ertes joined #scheme 2017-08-16T01:26:14Z beekill joined #scheme 2017-08-16T01:26:30Z lritter_ quit (Read error: Connection reset by peer) 2017-08-16T01:27:05Z lritter_ joined #scheme 2017-08-16T01:27:14Z kvda joined #scheme 2017-08-16T01:35:49Z hjek joined #scheme 2017-08-16T01:40:35Z keep_learning joined #scheme 2017-08-16T01:43:08Z brendos joined #scheme 2017-08-16T01:57:52Z hjek quit (Quit: Leaving.) 2017-08-16T02:02:58Z emma__ joined #scheme 2017-08-16T02:04:11Z emma__ is now known as emma 2017-08-16T02:04:56Z em quit (Disconnected by services) 2017-08-16T02:05:00Z emma is now known as em 2017-08-16T02:05:32Z ArneBab joined #scheme 2017-08-16T02:09:31Z ArneBab_ quit (Ping timeout: 240 seconds) 2017-08-16T02:20:24Z badkins quit (Remote host closed the connection) 2017-08-16T02:23:28Z MrBismuth quit (Quit: https://www.youtube.com/watch?v=xIIqYqtR1lY -- Suicide is Painless - Johnny Mandel) 2017-08-16T02:24:38Z Riastradh joined #scheme 2017-08-16T03:14:01Z Fare quit (Ping timeout: 240 seconds) 2017-08-16T03:27:11Z pilne quit (Quit: Quitting!) 2017-08-16T03:27:50Z sleffy joined #scheme 2017-08-16T03:44:18Z sleffy quit (Ping timeout: 276 seconds) 2017-08-16T03:45:08Z sleffy joined #scheme 2017-08-16T03:47:45Z vtomole quit (Ping timeout: 260 seconds) 2017-08-16T04:07:06Z lritter_ quit (Quit: Leaving) 2017-08-16T04:15:52Z pie_ joined #scheme 2017-08-16T04:20:24Z emacsomancer quit (Ping timeout: 240 seconds) 2017-08-16T04:24:01Z pie_ quit (Ping timeout: 240 seconds) 2017-08-16T04:24:38Z nomicflux joined #scheme 2017-08-16T04:25:21Z vtomole joined #scheme 2017-08-16T04:31:34Z nomicflux quit (Quit: nomicflux) 2017-08-16T04:33:04Z jao quit (Ping timeout: 246 seconds) 2017-08-16T04:47:43Z bhrgunatha joined #scheme 2017-08-16T04:52:57Z bhrgunatha quit (Quit: ChatZilla 0.9.93 [Firefox 54.0.1/20170630112252]) 2017-08-16T04:58:57Z dmiles quit (Ping timeout: 255 seconds) 2017-08-16T05:00:01Z beekill quit (Ping timeout: 240 seconds) 2017-08-16T05:01:25Z sleffy quit (Ping timeout: 246 seconds) 2017-08-16T05:02:41Z dmiles joined #scheme 2017-08-16T05:05:37Z marvin2 quit (Ping timeout: 246 seconds) 2017-08-16T05:06:29Z jcowan joined #scheme 2017-08-16T05:08:27Z jcowan_ quit (Ping timeout: 246 seconds) 2017-08-16T05:12:18Z LeoNerd quit (Ping timeout: 246 seconds) 2017-08-16T05:12:30Z LeoNerd joined #scheme 2017-08-16T05:32:23Z daviid quit (Ping timeout: 260 seconds) 2017-08-16T05:39:40Z MrBusiness joined #scheme 2017-08-16T05:42:05Z vtomole quit (Ping timeout: 260 seconds) 2017-08-16T05:52:14Z lritter joined #scheme 2017-08-16T07:01:53Z beekill joined #scheme 2017-08-16T07:17:49Z lambda-11235 quit (Quit: WeeChat 1.9) 2017-08-16T07:20:02Z kvda quit (Quit: My MacBook has gone to sleep. ZZZzzz…) 2017-08-16T07:21:43Z kvda joined #scheme 2017-08-16T08:19:23Z jonaslund joined #scheme 2017-08-16T08:25:23Z lvo joined #scheme 2017-08-16T08:27:51Z Steverman joined #scheme 2017-08-16T08:35:26Z marvin2 joined #scheme 2017-08-16T08:43:19Z arbv quit (Ping timeout: 246 seconds) 2017-08-16T08:44:15Z arbv joined #scheme 2017-08-16T08:46:17Z rRru joined #scheme 2017-08-16T08:46:39Z vicenteH joined #scheme 2017-08-16T09:03:16Z beekill quit (Quit: Leaving) 2017-08-16T09:05:09Z kvda quit (Quit: My MacBook has gone to sleep. ZZZzzz…) 2017-08-16T09:05:23Z Steverman quit (Quit: WeeChat 1.9) 2017-08-16T09:07:41Z beekill joined #scheme 2017-08-16T09:27:06Z Murii joined #scheme 2017-08-16T09:30:35Z jao joined #scheme 2017-08-16T09:36:31Z jao quit (Ping timeout: 255 seconds) 2017-08-16T10:04:36Z beekill quit (Quit: Leaving) 2017-08-16T10:06:06Z cemerick joined #scheme 2017-08-16T10:13:22Z lockywolf_ joined #scheme 2017-08-16T10:17:02Z lockywolf_ is now known as lockywolf 2017-08-16T10:38:02Z rRru quit (Quit: rRru) 2017-08-16T10:50:25Z lockywolf quit (Ping timeout: 240 seconds) 2017-08-16T11:04:11Z lvo quit (Remote host closed the connection) 2017-08-16T11:26:07Z kvda joined #scheme 2017-08-16T11:30:19Z Fare joined #scheme 2017-08-16T11:48:50Z Fare quit (Ping timeout: 246 seconds) 2017-08-16T11:55:27Z nomicflux joined #scheme 2017-08-16T11:56:53Z cemerick quit (Ping timeout: 240 seconds) 2017-08-16T11:57:22Z cemerick joined #scheme 2017-08-16T12:06:01Z ejt: is there a function for grouping elements of a list 2017-08-16T12:06:07Z ejt: ? 2017-08-16T12:13:42Z kvda quit (Quit: My MacBook has gone to sleep. ZZZzzz…) 2017-08-16T12:14:51Z ecraven: group in what way? 2017-08-16T12:15:23Z ecraven: https://srfi.schemers.org/srfi-1/srfi-1.html#partition 2017-08-16T12:15:33Z ecraven: if you only need in and out elements 2017-08-16T12:15:38Z ejt: http://hackage.haskell.org/package/base-4.10.0.0/docs/Data-List.html#v:group 2017-08-16T12:16:04Z ejt checks partition 2017-08-16T12:16:47Z ecraven: that haskell group is different than partition 2017-08-16T12:16:53Z ejt: y 2017-08-16T12:16:59Z ejt: np, I'll write my own 2017-08-16T12:17:07Z ecraven: yea, most people do ;) 2017-08-16T12:17:18Z ecraven: maybe your Scheme has something, most have extensive "non-standard" libraries 2017-08-16T12:22:44Z ejt: nope 2017-08-16T12:22:59Z ejt: which is fine, I want a small lang 2017-08-16T12:24:00Z jonaslund quit (Ping timeout: 240 seconds) 2017-08-16T12:27:41Z jcowan quit (Ping timeout: 246 seconds) 2017-08-16T12:32:03Z jao joined #scheme 2017-08-16T12:45:39Z Doshi joined #scheme 2017-08-16T12:45:54Z nomicflux quit (Quit: nomicflux) 2017-08-16T13:16:42Z jcowan joined #scheme 2017-08-16T13:17:23Z Doshi quit (Ping timeout: 240 seconds) 2017-08-16T13:25:05Z lritter quit (Ping timeout: 240 seconds) 2017-08-16T13:31:21Z Fare joined #scheme 2017-08-16T13:32:40Z qu1j0t3: = i love reimplementing things myself 2017-08-16T13:49:57Z groovy2shoes quit (Quit: Leaving) 2017-08-16T13:50:29Z groovy2shoes joined #scheme 2017-08-16T13:50:37Z jcowan: ecraven: Not "most", alas. 2017-08-16T13:50:44Z jcowan: That's part of the point of R7RS-large. 2017-08-16T13:53:26Z ejt: qu1j0t3: yes, I do 2017-08-16T13:58:12Z qu1j0t3: jolly good 2017-08-16T14:00:05Z cromachina quit (Quit: Leaving) 2017-08-16T14:10:12Z lockywolf joined #scheme 2017-08-16T14:16:47Z Riastradh quit (Ping timeout: 260 seconds) 2017-08-16T14:18:45Z BitPuffin|osx joined #scheme 2017-08-16T14:26:37Z badkins joined #scheme 2017-08-16T14:28:23Z cemerick quit (Ping timeout: 240 seconds) 2017-08-16T14:29:10Z cemerick joined #scheme 2017-08-16T14:31:54Z hive-mind quit (Remote host closed the connection) 2017-08-16T14:32:03Z felipedvorak quit (Ping timeout: 240 seconds) 2017-08-16T14:32:13Z hooverville joined #scheme 2017-08-16T14:32:34Z hive-mind joined #scheme 2017-08-16T14:44:52Z felipedvorak joined #scheme 2017-08-16T14:48:14Z daviid joined #scheme 2017-08-16T15:03:07Z jonaslund joined #scheme 2017-08-16T15:05:07Z sethalves joined #scheme 2017-08-16T15:07:46Z dbmikus joined #scheme 2017-08-16T15:10:08Z smazga joined #scheme 2017-08-16T15:11:39Z cemerick quit (Read error: Connection reset by peer) 2017-08-16T15:12:25Z cemerick joined #scheme 2017-08-16T15:24:51Z edgar-rft quit (Quit: edgar-rft) 2017-08-16T15:32:40Z Riastradh joined #scheme 2017-08-16T15:33:00Z happy_gnu quit (Ping timeout: 255 seconds) 2017-08-16T15:38:36Z BitPuffin|osx quit (Ping timeout: 248 seconds) 2017-08-16T15:48:58Z jcowan_ joined #scheme 2017-08-16T15:49:36Z Riastradh quit (Ping timeout: 246 seconds) 2017-08-16T15:52:16Z jcowan quit (Ping timeout: 255 seconds) 2017-08-16T15:53:35Z brendos quit (Ping timeout: 276 seconds) 2017-08-16T16:05:07Z jcowan joined #scheme 2017-08-16T16:07:24Z jcowan_ quit (Ping timeout: 248 seconds) 2017-08-16T16:08:00Z Riastradh joined #scheme 2017-08-16T16:11:01Z badkins quit (Remote host closed the connection) 2017-08-16T16:26:28Z Murii quit (Ping timeout: 255 seconds) 2017-08-16T16:28:17Z terpri joined #scheme 2017-08-16T17:00:04Z ecraven: jcowan: I'm guessing r7rs-large is not going to make Scheme less monomorphic? 2017-08-16T17:00:08Z ecraven: not even as an option? 2017-08-16T17:01:18Z jcowan: Well, not with a conventional class hierarchy anyway, because nobody agrees on what the hierarchy should be (cf. Common Lisp's tangled heterarchy) 2017-08-16T17:01:33Z jcowan: But I do hope to include predicate generic functions a la Chibi. 2017-08-16T17:01:35Z ecraven: well, it'd be nice enough to just have one "length" function 2017-08-16T17:01:51Z ecraven: or not even just one function, but one gf that I *can* use if I want to 2017-08-16T17:01:54Z jcowan: As long as the types are mutually exclusive, that's easy 2017-08-16T17:02:09Z ecraven: jcowan: yes, but as long as it's not "standardized" it doesn't help much 2017-08-16T17:02:28Z jcowan: Agreed. 2017-08-16T17:02:47Z jcowan: the PGF SRFI will probably have lots of such standardized PGFs 2017-08-16T17:03:01Z jcowan: which is why I am in no hurry to write it 2017-08-16T17:03:04Z ecraven: ;) 2017-08-16T17:14:18Z badkins joined #scheme 2017-08-16T17:20:21Z Riastradh: How about a heresiarchy? 2017-08-16T17:21:09Z ecraven: the dylan book talks a lot about heterarchy 2017-08-16T17:36:03Z X-Scale joined #scheme 2017-08-16T17:37:22Z vicenteH quit (Ping timeout: 240 seconds) 2017-08-16T17:44:46Z wigust joined #scheme 2017-08-16T17:51:24Z lockywolf quit (Ping timeout: 248 seconds) 2017-08-16T17:54:04Z Fare quit (Ping timeout: 248 seconds) 2017-08-16T17:54:21Z lockywolf joined #scheme 2017-08-16T17:54:22Z weltung joined #scheme 2017-08-16T17:55:59Z jonaslund quit (Ping timeout: 246 seconds) 2017-08-16T18:00:07Z alezost joined #scheme 2017-08-16T18:05:35Z jonaslund joined #scheme 2017-08-16T18:08:43Z Fare joined #scheme 2017-08-16T18:10:06Z badkins quit (Remote host closed the connection) 2017-08-16T18:12:13Z Menche quit (Quit: Leaving) 2017-08-16T18:14:00Z sethalves quit (Remote host closed the connection) 2017-08-16T18:18:05Z badkins joined #scheme 2017-08-16T18:22:59Z weltung_ joined #scheme 2017-08-16T18:23:18Z badkins quit (Remote host closed the connection) 2017-08-16T18:24:30Z weltung quit (Ping timeout: 240 seconds) 2017-08-16T18:28:09Z terpri quit (Ping timeout: 246 seconds) 2017-08-16T18:42:26Z jonaslund quit (Ping timeout: 255 seconds) 2017-08-16T18:47:01Z badkins joined #scheme 2017-08-16T18:47:06Z badkins quit (Read error: Connection reset by peer) 2017-08-16T18:47:35Z badkins joined #scheme 2017-08-16T18:48:08Z wigust quit (Ping timeout: 246 seconds) 2017-08-16T18:49:30Z jonaslund joined #scheme 2017-08-16T18:58:22Z weltung joined #scheme 2017-08-16T18:58:40Z daviid quit (Ping timeout: 255 seconds) 2017-08-16T18:59:22Z weltung_ quit (Ping timeout: 240 seconds) 2017-08-16T19:04:41Z weltung_ joined #scheme 2017-08-16T19:06:23Z weltung quit (Ping timeout: 240 seconds) 2017-08-16T19:17:18Z weltung joined #scheme 2017-08-16T19:18:53Z weltung_ quit (Ping timeout: 240 seconds) 2017-08-16T19:29:57Z weltung_ joined #scheme 2017-08-16T19:31:51Z weltung quit (Ping timeout: 246 seconds) 2017-08-16T19:35:08Z GGMethos quit (Ping timeout: 255 seconds) 2017-08-16T19:38:47Z Fare quit (Ping timeout: 260 seconds) 2017-08-16T19:39:03Z GGMethos joined #scheme 2017-08-16T19:42:07Z alezost quit (Quit: I live in GuixSD and Emacs ) 2017-08-16T19:42:21Z Fare joined #scheme 2017-08-16T19:47:32Z pie_ joined #scheme 2017-08-16T19:51:23Z Fare quit (Ping timeout: 240 seconds) 2017-08-16T19:52:00Z pie_ quit (Ping timeout: 240 seconds) 2017-08-16T19:53:42Z pie_ joined #scheme 2017-08-16T19:56:56Z weltung joined #scheme 2017-08-16T19:59:12Z weltung_ quit (Ping timeout: 260 seconds) 2017-08-16T20:00:39Z badkins quit (Remote host closed the connection) 2017-08-16T20:03:21Z zacts quit (Ping timeout: 246 seconds) 2017-08-16T20:04:26Z zacts joined #scheme 2017-08-16T20:04:58Z vicenteH joined #scheme 2017-08-16T20:06:15Z Fare joined #scheme 2017-08-16T20:22:32Z acarrico quit (Ping timeout: 260 seconds) 2017-08-16T20:26:26Z terpri joined #scheme 2017-08-16T20:28:31Z weltung_ joined #scheme 2017-08-16T20:31:23Z weltung quit (Ping timeout: 240 seconds) 2017-08-16T20:36:34Z vtomole joined #scheme 2017-08-16T20:46:44Z rRru joined #scheme 2017-08-16T20:51:00Z turbofail quit (Remote host closed the connection) 2017-08-16T21:03:49Z daviid joined #scheme 2017-08-16T21:04:07Z wigust joined #scheme 2017-08-16T21:05:32Z jonaslund quit (Ping timeout: 255 seconds) 2017-08-16T21:11:36Z hooverville quit (Ping timeout: 246 seconds) 2017-08-16T21:20:43Z wigust quit (Ping timeout: 240 seconds) 2017-08-16T21:23:52Z lockywolf quit (Ping timeout: 240 seconds) 2017-08-16T21:28:14Z vtomole quit (Ping timeout: 260 seconds) 2017-08-16T21:38:13Z pierpa joined #scheme 2017-08-16T21:38:17Z turbofail joined #scheme 2017-08-16T21:44:53Z weltung_ quit (Ping timeout: 246 seconds) 2017-08-16T22:02:14Z t7 joined #scheme 2017-08-16T22:02:48Z t7: what is this: `((,x . ,v) . ,s) 2017-08-16T22:02:53Z t7: what are the commas? 2017-08-16T22:03:13Z ijp: rudybot: `(2 + 2 = ,(+ 2 2)) 2017-08-16T22:03:14Z rudybot: ijp: ; Value: '(2 + 2 = 4) 2017-08-16T22:04:15Z ijp: t7: ` (QUASIQUOTE) is like ' (QUOTE) except that you can use , (UNQUOTE) to specify that certain forms should be evaluated rather than kept unevaluated 2017-08-16T22:04:43Z t7: aha 2017-08-16T22:04:47Z ijp: so that code is basically just saying (cons (cons x v) s) 2017-08-16T22:06:39Z whoman quit (Remote host closed the connection) 2017-08-16T22:06:59Z whoman joined #scheme 2017-08-16T22:07:08Z t7: thanks 2017-08-16T22:07:20Z t7: also do you guys know minikanren and/or microkanren? 2017-08-16T22:18:24Z jcowan: Riastradh: I am already a heresiarch to many 2017-08-16T22:25:40Z arbv quit (Ping timeout: 255 seconds) 2017-08-16T22:25:52Z arbv joined #scheme 2017-08-16T22:39:41Z smazga quit (Quit: leaving) 2017-08-16T22:58:41Z nomicflux joined #scheme 2017-08-16T23:08:34Z qu1j0t3: t7: yes... though i haven't played with it in a little while 2017-08-16T23:14:26Z t7: qu1j0t3: i had a go at implementing in haskell: http://lpaste.net/357754 2017-08-16T23:16:06Z qu1j0t3: t7: i impl a microkanren in scala and upgraded it to ~ minikanren 2017-08-16T23:16:55Z qu1j0t3: looks legit... did you write any tests? :) 2017-08-16T23:19:24Z jcowan quit (Ping timeout: 248 seconds) 2017-08-16T23:19:26Z t7: qu1j0t3: not yet! im not even really sure how the original should work 2017-08-16T23:24:38Z qu1j0t3: t7: there's a few places you can look -- Byrd's thesis, which you're probably already reading, and The Reasoned Schemer 2017-08-16T23:24:53Z qu1j0t3: t7: are you following the µ-kanren paper? 2017-08-16T23:25:36Z t7: yeah trying to, my scheme knowledge is awful though so its quite hard to understand 2017-08-16T23:26:43Z qu1j0t3: yeah it helps to know scheme and also to have played with prolog, and minikanren in scheme, for a bit. 2017-08-16T23:26:53Z qu1j0t3: t7: i can link you to some small minikanren test programs i wrote. 2017-08-16T23:27:33Z qu1j0t3: i really learned prolog first, and that helped a lot, then i translated some prolog solutions into minikanren 2017-08-16T23:27:52Z qu1j0t3: t7: there's also #prolog on Freenode 2017-08-16T23:30:58Z t7: great i will pester you tomorrow 2017-08-16T23:31:02Z t7: i need to sleep 2017-08-16T23:31:04Z t7: thanks! 2017-08-16T23:31:08Z t7 quit (Quit: ChatZilla 0.9.93 [Firefox 54.0/20170612121707]) 2017-08-16T23:35:54Z pilne joined #scheme 2017-08-16T23:36:17Z lritter joined #scheme 2017-08-16T23:50:28Z cromachina joined #scheme 2017-08-16T23:54:46Z Riastradh quit (Ping timeout: 255 seconds)