2015-01-19T00:10:16Z juanfra quit (Quit: juanfra) 2015-01-19T00:16:35Z juanfra joined #scheme 2015-01-19T00:20:20Z zachstone joined #scheme 2015-01-19T00:21:53Z cmatei quit (Ping timeout: 246 seconds) 2015-01-19T00:26:43Z maxigas quit (Remote host closed the connection) 2015-01-19T00:30:47Z jlongster joined #scheme 2015-01-19T00:31:57Z maxigas joined #scheme 2015-01-19T00:35:13Z jlongster quit (Ping timeout: 255 seconds) 2015-01-19T00:36:57Z aksionov joined #scheme 2015-01-19T00:37:08Z aksionov: hi 2015-01-19T00:37:46Z aksionov: Is there any way/library to do introspection in scheme? 2015-01-19T00:38:16Z kongtomorrow: aksionov: what do you have in mind? 2015-01-19T00:38:43Z aksionov: kongtomorrow: i'm trying to make completions support in slime work 2015-01-19T00:39:13Z aksionov: so, like if I can find currently available symbols, and then generate a completion list based on input 2015-01-19T00:40:37Z aksionov: e.g. if one has typed "def" in SLIME (with some CL implementation running), and press M-tab, then one get these completions: "defcas" "defclass" "defconstant" "defconstant-uneql"... 2015-01-19T00:41:39Z racycle quit (Quit: ZZZzzz…) 2015-01-19T00:44:03Z stepnem quit (Ping timeout: 252 seconds) 2015-01-19T00:47:16Z Bahman quit (Quit: Ave atque vale) 2015-01-19T00:47:16Z enitiz quit (Quit: Leaving) 2015-01-19T00:49:15Z Riastradh: aksionov: For what Scheme system? No standard way to do most of the nonsense that Common Lisp standardizes in this respect. 2015-01-19T00:49:28Z aksionov: I'm using Sagittarius 2015-01-19T00:51:41Z Riastradh: No idea, sorry, never heard of that one. 2015-01-19T00:52:31Z aksionov: okay, np. thanks for the reply. 2015-01-19T00:52:32Z aksionov: https://bitbucket.org/ktakashi/sagittarius-scheme/wiki/Home 2015-01-19T00:53:03Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-19T00:54:27Z _5kg quit (Ping timeout: 264 seconds) 2015-01-19T00:57:27Z daviis quit (Ping timeout: 264 seconds) 2015-01-19T00:57:51Z DrDuck quit (Ping timeout: 256 seconds) 2015-01-19T00:58:44Z _5kg joined #scheme 2015-01-19T00:58:59Z choas quit (Ping timeout: 256 seconds) 2015-01-19T01:01:10Z kongtomorrow quit 2015-01-19T01:03:42Z robot-beethoven joined #scheme 2015-01-19T01:03:47Z _5kg quit (Ping timeout: 244 seconds) 2015-01-19T01:05:51Z badkins quit 2015-01-19T01:05:54Z jumblerg joined #scheme 2015-01-19T01:06:00Z DrDuck joined #scheme 2015-01-19T01:06:11Z choas joined #scheme 2015-01-19T01:08:25Z _5kg joined #scheme 2015-01-19T01:12:17Z choas quit (Ping timeout: 265 seconds) 2015-01-19T01:12:47Z enitiz joined #scheme 2015-01-19T01:14:15Z maxigas quit (Ping timeout: 264 seconds) 2015-01-19T01:16:11Z zadock quit (Ping timeout: 250 seconds) 2015-01-19T01:18:49Z choas joined #scheme 2015-01-19T01:21:45Z zwer_h is now known as zwer 2015-01-19T01:23:04Z aksionov quit (Quit: God sees the truth, but waits) 2015-01-19T01:27:41Z joan quit (Ping timeout: 272 seconds) 2015-01-19T01:30:48Z jlongster joined #scheme 2015-01-19T01:35:04Z jlongster quit (Ping timeout: 255 seconds) 2015-01-19T01:37:26Z maxigas joined #scheme 2015-01-19T01:41:05Z hiyosi quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-19T01:41:18Z joan joined #scheme 2015-01-19T01:41:29Z slucx joined #scheme 2015-01-19T01:46:01Z Sgeo quit (Read error: Connection reset by peer) 2015-01-19T01:47:45Z echo-area joined #scheme 2015-01-19T01:55:20Z maxigas quit (Ping timeout: 246 seconds) 2015-01-19T02:00:19Z jeapostrophe quit (Ping timeout: 252 seconds) 2015-01-19T02:00:56Z Shadox joined #scheme 2015-01-19T02:00:59Z acarrico left #scheme 2015-01-19T02:01:23Z maxigas joined #scheme 2015-01-19T02:02:14Z karswell quit (Read error: Connection reset by peer) 2015-01-19T02:02:30Z karswell joined #scheme 2015-01-19T02:05:56Z racycle joined #scheme 2015-01-19T02:06:03Z acarrico joined #scheme 2015-01-19T02:09:14Z slucx quit (Remote host closed the connection) 2015-01-19T02:16:25Z Sgeo joined #scheme 2015-01-19T02:20:15Z Vutral quit (Ping timeout: 272 seconds) 2015-01-19T02:21:04Z tobik quit (Ping timeout: 245 seconds) 2015-01-19T02:23:35Z tobik joined #scheme 2015-01-19T02:24:27Z excelsior joined #scheme 2015-01-19T02:24:36Z acarrico quit (Quit: Leaving.) 2015-01-19T02:26:14Z Vutral joined #scheme 2015-01-19T02:27:29Z acarrico joined #scheme 2015-01-19T02:31:52Z maxigas quit (Ping timeout: 240 seconds) 2015-01-19T02:32:12Z maxigas joined #scheme 2015-01-19T02:36:38Z enitiz quit (Ping timeout: 246 seconds) 2015-01-19T02:40:17Z zv quit (Ping timeout: 245 seconds) 2015-01-19T02:41:52Z frkout_ joined #scheme 2015-01-19T02:43:53Z kongtomorrow joined #scheme 2015-01-19T02:45:47Z frkout quit (Ping timeout: 252 seconds) 2015-01-19T02:49:26Z kongtomorrow quit 2015-01-19T02:57:52Z maxigas quit (Ping timeout: 240 seconds) 2015-01-19T02:58:15Z turtleman_ quit (Ping timeout: 264 seconds) 2015-01-19T03:02:14Z adu joined #scheme 2015-01-19T03:03:20Z enitiz joined #scheme 2015-01-19T03:05:42Z maxigas joined #scheme 2015-01-19T03:16:54Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-19T03:16:57Z BitPuffin quit (Ping timeout: 252 seconds) 2015-01-19T03:20:10Z jumblerg joined #scheme 2015-01-19T03:24:35Z jlongster joined #scheme 2015-01-19T03:29:06Z maxigas quit (Ping timeout: 276 seconds) 2015-01-19T03:46:25Z maxigas joined #scheme 2015-01-19T03:53:41Z davexunit quit (Quit: Later) 2015-01-19T04:03:54Z cosmez joined #scheme 2015-01-19T04:04:52Z kibo quit (Ping timeout: 240 seconds) 2015-01-19T04:07:43Z araujo quit (Quit: Leaving) 2015-01-19T04:09:23Z zachstone quit (Ping timeout: 252 seconds) 2015-01-19T04:17:19Z adu quit (Quit: adu) 2015-01-19T04:26:11Z alexei_ joined #scheme 2015-01-19T04:29:27Z alexei quit (Ping timeout: 245 seconds) 2015-01-19T04:30:30Z kongtomorrow joined #scheme 2015-01-19T04:35:09Z enitiz quit (Ping timeout: 272 seconds) 2015-01-19T04:38:26Z maxigas quit (Ping timeout: 246 seconds) 2015-01-19T04:45:04Z uber_hulk joined #scheme 2015-01-19T04:45:16Z maxigas joined #scheme 2015-01-19T05:04:00Z jlongster quit (Ping timeout: 276 seconds) 2015-01-19T05:04:46Z daviid joined #scheme 2015-01-19T05:05:31Z jrslepak quit (Quit: leaving) 2015-01-19T05:06:16Z jrslepak joined #scheme 2015-01-19T05:08:51Z adu joined #scheme 2015-01-19T05:12:29Z ijp quit (Quit: brb writing connect4 fanfic) 2015-01-19T05:12:56Z Shadox quit (Quit: Leaving) 2015-01-19T05:18:46Z jlongster joined #scheme 2015-01-19T05:28:43Z kongtomorrow quit 2015-01-19T05:31:20Z BitPuffin joined #scheme 2015-01-19T05:36:11Z BitPuffin quit (Ping timeout: 265 seconds) 2015-01-19T05:37:28Z kongtomorrow joined #scheme 2015-01-19T05:42:11Z AkashicLegend quit (Quit: AkashicLegend) 2015-01-19T05:45:52Z maxigas quit (Ping timeout: 240 seconds) 2015-01-19T05:46:08Z jlongster quit (Remote host closed the connection) 2015-01-19T05:46:51Z daviid quit (Ping timeout: 264 seconds) 2015-01-19T05:47:03Z theseb joined #scheme 2015-01-19T05:48:39Z fsckd quit (Ping timeout: 264 seconds) 2015-01-19T05:52:32Z maxigas joined #scheme 2015-01-19T05:53:00Z oleo quit (Quit: Verlassend) 2015-01-19T05:55:33Z mumptai joined #scheme 2015-01-19T06:06:29Z slucx joined #scheme 2015-01-19T06:10:39Z maxigas quit (Ping timeout: 256 seconds) 2015-01-19T06:15:51Z Sgeo quit (Ping timeout: 244 seconds) 2015-01-19T06:20:24Z zachstone joined #scheme 2015-01-19T06:21:49Z maxigas joined #scheme 2015-01-19T06:28:17Z slucx quit (Read error: Connection reset by peer) 2015-01-19T06:28:48Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-19T06:35:26Z nowhere_man joined #scheme 2015-01-19T06:37:56Z Sgeo joined #scheme 2015-01-19T06:58:30Z theseb quit (Quit: Leaving) 2015-01-19T07:06:08Z jumblerg joined #scheme 2015-01-19T07:08:49Z Riastradh quit (Remote host closed the connection) 2015-01-19T07:12:32Z Riastradh joined #scheme 2015-01-19T07:14:27Z booly-yam-4795 quit (Ping timeout: 245 seconds) 2015-01-19T07:14:41Z frkout_ quit (Remote host closed the connection) 2015-01-19T07:14:49Z nowhere_man quit (Ping timeout: 245 seconds) 2015-01-19T07:15:07Z frkout joined #scheme 2015-01-19T07:16:27Z daviid joined #scheme 2015-01-19T07:20:03Z BitPuffin joined #scheme 2015-01-19T07:23:22Z alexei_ quit (Ping timeout: 240 seconds) 2015-01-19T07:24:22Z BitPuffin quit (Ping timeout: 240 seconds) 2015-01-19T07:33:23Z maxigas quit (Ping timeout: 256 seconds) 2015-01-19T07:38:20Z uber_hulk quit (Quit: Connection closed for inactivity) 2015-01-19T07:40:01Z maxigas joined #scheme 2015-01-19T07:43:10Z daviid quit (Ping timeout: 244 seconds) 2015-01-19T07:44:00Z xyh joined #scheme 2015-01-19T07:55:21Z civodul joined #scheme 2015-01-19T07:58:12Z zachstone quit (Ping timeout: 245 seconds) 2015-01-19T07:58:17Z gnomon quit (Ping timeout: 265 seconds) 2015-01-19T08:01:37Z kazimir42 joined #scheme 2015-01-19T08:02:37Z excelsior quit (Quit: Lost terminal) 2015-01-19T08:06:04Z taylanub joined #scheme 2015-01-19T08:07:14Z hellofunk quit (Remote host closed the connection) 2015-01-19T08:08:37Z hellofunk joined #scheme 2015-01-19T08:09:12Z msgodf joined #scheme 2015-01-19T08:15:17Z benregn joined #scheme 2015-01-19T08:20:55Z adu quit (Quit: adu) 2015-01-19T08:21:15Z booly-yam-4795 joined #scheme 2015-01-19T08:21:31Z stepnem joined #scheme 2015-01-19T08:25:03Z maxigas quit (Ping timeout: 272 seconds) 2015-01-19T08:25:19Z excelsior joined #scheme 2015-01-19T08:25:40Z maxigas joined #scheme 2015-01-19T08:27:08Z masm joined #scheme 2015-01-19T08:39:26Z gnomon joined #scheme 2015-01-19T08:41:56Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-19T08:42:36Z racycle quit (Quit: ZZZzzz…) 2015-01-19T08:49:54Z srenatus joined #scheme 2015-01-19T08:50:51Z maxigas quit (Ping timeout: 276 seconds) 2015-01-19T08:51:25Z maxigas joined #scheme 2015-01-19T08:51:29Z srenatus: Hi. I'm kind of stuck with sxml-match. It seems like I can ignore attributes (see (Name "name")), but not other nodes...? http://hastebin.com/zacoguxudo.erl (using racket and jim/sxml-match 1.1) 2015-01-19T08:59:17Z vdamewood joined #scheme 2015-01-19T09:03:15Z vdamewood quit (Client Quit) 2015-01-19T09:04:58Z jumblerg joined #scheme 2015-01-19T09:07:24Z fgudin joined #scheme 2015-01-19T09:08:49Z BitPuffin joined #scheme 2015-01-19T09:09:48Z zacts: I'm reading realm of racket 2015-01-19T09:12:28Z leppie quit (Ping timeout: 264 seconds) 2015-01-19T09:13:41Z BitPuffin quit (Ping timeout: 265 seconds) 2015-01-19T09:17:39Z leppie joined #scheme 2015-01-19T09:18:53Z redeemed joined #scheme 2015-01-19T09:21:39Z ventonegro joined #scheme 2015-01-19T09:26:04Z zadock joined #scheme 2015-01-19T09:54:05Z srenatus: hmm ok, so only attribute order is unimportant, the order of nodes is not. just listed all those in between of the two things I care about, works. 2015-01-19T09:55:53Z zachstone joined #scheme 2015-01-19T10:00:22Z zachstone quit (Ping timeout: 240 seconds) 2015-01-19T10:09:39Z wingo quit (Ping timeout: 264 seconds) 2015-01-19T10:14:13Z xyh quit (Remote host closed the connection) 2015-01-19T10:15:58Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-19T10:16:28Z nowhere_man joined #scheme 2015-01-19T10:18:52Z jumblerg joined #scheme 2015-01-19T10:24:18Z taraz` joined #scheme 2015-01-19T10:24:43Z wingo joined #scheme 2015-01-19T10:27:11Z nowhere_man quit (Read error: Connection reset by peer) 2015-01-19T10:27:27Z nowhere_man joined #scheme 2015-01-19T10:29:41Z jgrant quit (Read error: Connection reset by peer) 2015-01-19T10:31:14Z maxigas quit (Ping timeout: 246 seconds) 2015-01-19T10:31:23Z jgrant joined #scheme 2015-01-19T10:31:26Z echo-area quit (Remote host closed the connection) 2015-01-19T10:46:24Z excelsior quit (Quit: Lost terminal) 2015-01-19T10:48:17Z Bahman joined #scheme 2015-01-19T10:51:31Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-19T10:52:47Z jrslepak quit (Ping timeout: 245 seconds) 2015-01-19T10:53:40Z jrslepak joined #scheme 2015-01-19T10:55:00Z maxigas joined #scheme 2015-01-19T10:59:01Z kongtomorrow quit 2015-01-19T11:11:37Z nowhere_man quit (Ping timeout: 265 seconds) 2015-01-19T11:16:03Z gravicappa joined #scheme 2015-01-19T11:16:58Z BitPuffin joined #scheme 2015-01-19T11:20:46Z nowhere_man joined #scheme 2015-01-19T11:32:58Z jeapostrophe joined #scheme 2015-01-19T11:32:58Z jeapostrophe quit (Changing host) 2015-01-19T11:32:58Z jeapostrophe joined #scheme 2015-01-19T11:41:36Z zwer_s joined #scheme 2015-01-19T11:44:05Z zwer quit (Ping timeout: 250 seconds) 2015-01-19T11:44:12Z pnkfelix joined #scheme 2015-01-19T11:44:15Z maxigas quit (Remote host closed the connection) 2015-01-19T11:50:24Z uris77 joined #scheme 2015-01-19T11:51:00Z uris77 quit (Client Quit) 2015-01-19T11:55:49Z maxigas joined #scheme 2015-01-19T11:57:22Z zachstone joined #scheme 2015-01-19T12:01:38Z zachstone quit (Ping timeout: 245 seconds) 2015-01-19T12:10:40Z taraz` quit (Ping timeout: 264 seconds) 2015-01-19T12:13:52Z maxigas quit (Ping timeout: 240 seconds) 2015-01-19T12:15:46Z maxigas joined #scheme 2015-01-19T12:16:39Z hiyosi joined #scheme 2015-01-19T12:20:14Z taraz` joined #scheme 2015-01-19T12:20:40Z davexunit joined #scheme 2015-01-19T12:23:46Z jgrant quit (Remote host closed the connection) 2015-01-19T12:23:50Z slucx joined #scheme 2015-01-19T12:23:51Z slucx quit (Changing host) 2015-01-19T12:23:51Z slucx joined #scheme 2015-01-19T12:23:59Z alezost joined #scheme 2015-01-19T12:27:48Z psy_ quit (Read error: Connection reset by peer) 2015-01-19T12:28:31Z nowhere_man quit (Quit: Konversation terminated!) 2015-01-19T12:28:45Z jgrant joined #scheme 2015-01-19T12:35:52Z robot-beethoven quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-01-19T12:37:07Z BitPuffin quit (Ping timeout: 256 seconds) 2015-01-19T12:37:40Z fridim_ joined #scheme 2015-01-19T12:55:34Z mlaine quit (Quit: Veni, vidi, vici) 2015-01-19T12:56:55Z mlaine joined #scheme 2015-01-19T12:58:42Z fsckd joined #scheme 2015-01-19T13:05:17Z maxigas quit (Remote host closed the connection) 2015-01-19T13:06:36Z slucxx joined #scheme 2015-01-19T13:07:34Z vanila joined #scheme 2015-01-19T13:08:40Z jeapostrophe quit (Ping timeout: 244 seconds) 2015-01-19T13:09:52Z slucx quit (Ping timeout: 240 seconds) 2015-01-19T13:10:36Z maxigas joined #scheme 2015-01-19T13:10:59Z sonstwo joined #scheme 2015-01-19T13:11:29Z ffs quit (Ping timeout: 265 seconds) 2015-01-19T13:13:21Z AkashicLegend joined #scheme 2015-01-19T13:13:53Z AkashicLegend quit (Client Quit) 2015-01-19T13:17:02Z ijp joined #scheme 2015-01-19T13:18:09Z turtleman_ joined #scheme 2015-01-19T13:21:02Z Shadox joined #scheme 2015-01-19T13:23:03Z vanila: any compiler folk around? 2015-01-19T13:23:10Z vanila: confused about appels work 2015-01-19T13:27:37Z badkins joined #scheme 2015-01-19T13:32:13Z psy_ joined #scheme 2015-01-19T13:34:35Z maxigas quit (Remote host closed the connection) 2015-01-19T13:38:51Z jeapostrophe joined #scheme 2015-01-19T13:40:01Z maxigas joined #scheme 2015-01-19T13:45:11Z taylanub quit (Disconnected by services) 2015-01-19T13:45:43Z taylanub joined #scheme 2015-01-19T13:47:03Z enitiz joined #scheme 2015-01-19T13:51:35Z uris77 joined #scheme 2015-01-19T13:53:19Z maxigas quit (Remote host closed the connection) 2015-01-19T13:53:27Z jeapostrophe quit (Ping timeout: 264 seconds) 2015-01-19T13:53:40Z maxigas joined #scheme 2015-01-19T13:57:19Z z0d: vanila: if you stick around, there'll be someone to answer 2015-01-19T13:57:31Z vanila: thanks :) 2015-01-19T13:57:37Z LeoNerd: What's an "appel" ? 2015-01-19T13:57:52Z jeapostrophe joined #scheme 2015-01-19T13:57:53Z vanila: andrew appel 2015-01-19T13:58:54Z zachstone joined #scheme 2015-01-19T14:00:37Z jumblerg joined #scheme 2015-01-19T14:01:06Z ijp: an appel a day keeps the doctorate away 2015-01-19T14:03:15Z zachstone quit (Ping timeout: 256 seconds) 2015-01-19T14:04:24Z cmatei joined #scheme 2015-01-19T14:05:13Z maxigas quit (Ping timeout: 252 seconds) 2015-01-19T14:05:50Z slucxx quit (Remote host closed the connection) 2015-01-19T14:09:27Z kaihaosw joined #scheme 2015-01-19T14:10:46Z wingo: vanila: always best to ask directly rather than ask to ask; you might get an async answer :) 2015-01-19T14:11:22Z vanila: oh well I just dont' understand his new thing about not using the stack 2015-01-19T14:11:47Z vanila: kranz, orbit goes to such lengths to use the stack well - but Appels new thing sseems to be sticking to registers and heap 2015-01-19T14:12:00Z wingo: new thing? 2015-01-19T14:12:08Z vanila: I thought not using the stack was what made my stuff so horribly slow 2015-01-19T14:12:45Z vanila: his papers (that came after his books) on implementing closures all avoid stack 2015-01-19T14:13:00Z vanila: and I can't get my head around it, since my understanding is that stack allocation is much faster 2015-01-19T14:13:11Z vanila: so you'd want to use it when ever possible, this is against my intuition 2015-01-19T14:13:20Z wingo: are you writing a whole-program or incremental compiler? 2015-01-19T14:13:43Z kaihaosw quit (Client Quit) 2015-01-19T14:15:32Z vanila: whole program 2015-01-19T14:15:58Z vanila: it would be really nice to do incremental, I haven't thought about that in detail yet but I will look into it 2015-01-19T14:16:03Z wingo: with aggressive lambda lifting you can often remove closures entirely 2015-01-19T14:16:06Z wingo: see docs on mlton 2015-01-19T14:16:16Z kaihaosw joined #scheme 2015-01-19T14:16:25Z wingo: then closure parameters become normal first-order function parameters that you can do register allocation on 2015-01-19T14:16:51Z maxigas joined #scheme 2015-01-19T14:17:22Z jeapostrophe quit (Ping timeout: 240 seconds) 2015-01-19T14:17:43Z kaihaosw quit (Client Quit) 2015-01-19T14:18:15Z adu joined #scheme 2015-01-19T14:18:21Z fridim_ quit (Remote host closed the connection) 2015-01-19T14:19:35Z vanila: yeah I like this idea, there was some really good tips about it in the O(0) paper you pointed me to as well 2015-01-19T14:24:28Z wingo: i think mlton is free software, you might want to just spelunk its source for a week or so 2015-01-19T14:24:42Z wingo: mlton is one of the fastest ml implementations afaik 2015-01-19T14:25:11Z vanila: I do have mlton but trying to read source code fo a real compiler is so hard X( 2015-01-19T14:25:13Z vanila: i should try 2015-01-19T14:25:17Z vanila: its just scary 2015-01-19T14:25:42Z wingo: it's a crucial skill tho :) 2015-01-19T14:25:50Z wingo: probably will save you time in the end too 2015-01-19T14:28:54Z BitPuffin joined #scheme 2015-01-19T14:29:05Z adu quit (Quit: adu) 2015-01-19T14:35:14Z xyh joined #scheme 2015-01-19T14:38:37Z psy_ quit (Ping timeout: 245 seconds) 2015-01-19T14:39:00Z enitiz quit (Quit: Leaving) 2015-01-19T14:44:34Z oleo joined #scheme 2015-01-19T14:44:51Z adu joined #scheme 2015-01-19T14:45:14Z adu quit (Client Quit) 2015-01-19T14:51:59Z taraz` quit (Ping timeout: 246 seconds) 2015-01-19T14:56:43Z jeapostrophe joined #scheme 2015-01-19T14:56:43Z jeapostrophe quit (Changing host) 2015-01-19T14:56:43Z jeapostrophe joined #scheme 2015-01-19T15:04:41Z hellofun` joined #scheme 2015-01-19T15:06:05Z maxigas quit (Ping timeout: 252 seconds) 2015-01-19T15:06:09Z hellofunk quit (Ping timeout: 256 seconds) 2015-01-19T15:09:30Z jgrant quit (Remote host closed the connection) 2015-01-19T15:10:58Z zadock quit (Quit: Leaving) 2015-01-19T15:11:24Z gravicappa quit (Remote host closed the connection) 2015-01-19T15:17:48Z taraz` joined #scheme 2015-01-19T15:18:52Z jeapostrophe quit (Ping timeout: 244 seconds) 2015-01-19T15:19:22Z jgrant joined #scheme 2015-01-19T15:20:46Z pera joined #scheme 2015-01-19T15:22:43Z developernotes joined #scheme 2015-01-19T15:26:13Z snits joined #scheme 2015-01-19T15:28:14Z ijp` joined #scheme 2015-01-19T15:29:39Z maxigas joined #scheme 2015-01-19T15:33:11Z ijp quit (Ping timeout: 272 seconds) 2015-01-19T15:50:17Z BitPuffin quit (Read error: Connection reset by peer) 2015-01-19T15:50:54Z excelsior joined #scheme 2015-01-19T15:53:37Z kazimir42 quit (Remote host closed the connection) 2015-01-19T15:53:56Z ijp` quit (Remote host closed the connection) 2015-01-19T15:53:58Z ijp`` joined #scheme 2015-01-19T15:57:03Z booly-yam-4795 quit (Ping timeout: 245 seconds) 2015-01-19T15:59:52Z uris77 quit (Ping timeout: 240 seconds) 2015-01-19T16:00:25Z zachstone joined #scheme 2015-01-19T16:01:45Z benregn quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-19T16:03:37Z zwer_s is now known as zwer 2015-01-19T16:04:52Z zachstone quit (Ping timeout: 240 seconds) 2015-01-19T16:05:18Z uris77 joined #scheme 2015-01-19T16:05:35Z daviid joined #scheme 2015-01-19T16:15:05Z theseb joined #scheme 2015-01-19T16:25:57Z taraz`` joined #scheme 2015-01-19T16:26:27Z taraz` quit (Ping timeout: 264 seconds) 2015-01-19T16:30:51Z aretecode quit (Read error: Connection reset by peer) 2015-01-19T16:33:28Z aretecode joined #scheme 2015-01-19T16:34:14Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-19T16:34:54Z khisanth_ joined #scheme 2015-01-19T16:37:33Z Khisanth quit (Ping timeout: 276 seconds) 2015-01-19T16:41:17Z racycle joined #scheme 2015-01-19T16:42:19Z Bahman_ joined #scheme 2015-01-19T16:42:41Z uris77 quit (Read error: Connection reset by peer) 2015-01-19T16:42:57Z theseb quit (Remote host closed the connection) 2015-01-19T16:45:53Z Bahman quit (Ping timeout: 256 seconds) 2015-01-19T16:46:39Z uris77 joined #scheme 2015-01-19T16:52:44Z turtleman_ quit (Ping timeout: 245 seconds) 2015-01-19T16:53:48Z booly-yam-4795 joined #scheme 2015-01-19T17:01:00Z redeemed quit (Quit: q) 2015-01-19T17:01:03Z msgodf quit (Remote host closed the connection) 2015-01-19T17:02:29Z civodul quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-01-19T17:06:29Z theseb joined #scheme 2015-01-19T17:06:32Z psy_ joined #scheme 2015-01-19T17:11:54Z ijp`` is now known as ijp 2015-01-19T17:18:12Z gravicappa joined #scheme 2015-01-19T17:18:35Z enitiz joined #scheme 2015-01-19T17:19:52Z b4283 joined #scheme 2015-01-19T17:25:39Z turtleman_ joined #scheme 2015-01-19T17:27:44Z alexei_ joined #scheme 2015-01-19T17:34:25Z hellofun` is now known as hellofunk 2015-01-19T17:37:10Z khisanth_ is now known as Khisanth 2015-01-19T17:43:24Z vanila quit (Quit: Leaving) 2015-01-19T17:52:22Z wingo quit (Ping timeout: 245 seconds) 2015-01-19T17:53:31Z ijp quit (Quit: brb running for election) 2015-01-19T18:02:00Z zachstone joined #scheme 2015-01-19T18:04:46Z hellofunk quit (Remote host closed the connection) 2015-01-19T18:06:25Z zachstone quit (Ping timeout: 255 seconds) 2015-01-19T18:09:25Z booly-yam-4795 quit (Ping timeout: 252 seconds) 2015-01-19T18:10:04Z hellofunk joined #scheme 2015-01-19T18:11:06Z booly-yam-4795 joined #scheme 2015-01-19T18:11:10Z hellofunk quit (Remote host closed the connection) 2015-01-19T18:11:53Z hellofunk joined #scheme 2015-01-19T18:13:26Z srenatus quit (Quit: Connection closed for inactivity) 2015-01-19T18:14:00Z theseb quit (Remote host closed the connection) 2015-01-19T18:16:33Z Isp-sec joined #scheme 2015-01-19T18:22:45Z alexei_ quit (Ping timeout: 265 seconds) 2015-01-19T18:32:51Z hiyosi quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-19T18:33:52Z alexei_ joined #scheme 2015-01-19T18:35:43Z b4283 quit (Quit: Konversation terminated!) 2015-01-19T18:40:56Z theseb joined #scheme 2015-01-19T18:51:06Z kazimir42 joined #scheme 2015-01-19T18:52:02Z developernotes quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) 2015-01-19T18:54:52Z uris77 quit (Quit: leaving) 2015-01-19T19:08:59Z zbrown left #scheme 2015-01-19T19:09:13Z sheilong joined #scheme 2015-01-19T19:13:34Z taraz`` quit (Ping timeout: 245 seconds) 2015-01-19T19:22:32Z developernotes joined #scheme 2015-01-19T19:22:53Z developernotes quit (Remote host closed the connection) 2015-01-19T19:28:16Z uris77 joined #scheme 2015-01-19T19:32:49Z enitiz quit (Ping timeout: 255 seconds) 2015-01-19T19:33:24Z racycle quit (Quit: ZZZzzz…) 2015-01-19T19:36:11Z lrs joined #scheme 2015-01-19T19:36:13Z pnkfelix quit (Ping timeout: 265 seconds) 2015-01-19T19:36:17Z lrs: Can someone help me with this problem? 2015-01-19T19:36:48Z lrs: I want so that when i do 2015-01-19T19:36:49Z lrs: (check '(+ int int)) 2015-01-19T19:36:51Z lrs: It gives int 2015-01-19T19:36:56Z lrs: and so on 2015-01-19T19:37:14Z lrs: http://lpaste.net/118776 2015-01-19T19:37:21Z lrs: This is what Ive done so far 2015-01-19T19:40:02Z pjb: You cannot redefine a standard function such as eval. 2015-01-19T19:40:09Z pjb: If you want (check …) why do you define eval ??? 2015-01-19T19:40:25Z pjb: Can you see how amazingly crazy this is? 2015-01-19T19:40:35Z lrs: pjb, CHange that to check 2015-01-19T19:40:59Z pera quit (Ping timeout: 256 seconds) 2015-01-19T19:41:10Z gnomon: oh boy 2015-01-19T19:41:44Z lrs: pjb, http://lpaste.net/118776 :) 2015-01-19T19:42:56Z pjb: lrs: you don't have any case to process (check 'int) 2015-01-19T19:43:36Z lrs: pjb, Where should that case be? 2015-01-19T19:43:45Z pjb: This is the good question. 2015-01-19T19:44:11Z turbofail: also you're returning the result of (+ (check (cadr exp)) (check (caddr exp))), which you've clearly decided are ints already 2015-01-19T19:44:19Z turbofail: which results in trying to evaluate (+ 'int 'int) 2015-01-19T19:44:19Z pjb: int is a type. check seems to take expressions. But you are mixing types and expressions. So you have to ensure sanity there. 2015-01-19T19:45:44Z turbofail: you should just take out that (+ (check ...) (check ...)) line, it doesn't make sense 2015-01-19T19:46:34Z turbofail: you're clearly trying to return a different value earlier in that same cond clause 2015-01-19T19:47:23Z daviid quit (Ping timeout: 246 seconds) 2015-01-19T19:48:57Z pjb: What would be a good way to proceed, is to have some definitions and rules. For example, you could define sexp to be usual lisp sexps evaluating to some value; type expression to be either a type atom, a lisp sexp, or a list containing a lisp operator and a list of type expression arguments. Then you could define a function taking such a type expression and returning a type atom. 2015-01-19T19:49:32Z pjb: You would have a set of rules giving for a lisp operator and a list of types, the type of the result of applying this lisp operators to sexps of the given list of types. 2015-01-19T19:49:42Z LeoNerd: .oO( type-eval ... ) 2015-01-19T19:49:52Z pjb: For example: (--> (+ int int) int) could be such a rule. 2015-01-19T19:50:22Z pjb: (--> (/ int non-zero-int) ratio) could be another. 2015-01-19T19:50:27Z pjb: etc. 2015-01-19T19:51:47Z jeapostrophe joined #scheme 2015-01-19T19:52:51Z alexei_ quit (Ping timeout: 264 seconds) 2015-01-19T19:53:41Z lrs: pjb, Can you explain what you just said, but imagine im a retard 2015-01-19T19:53:42Z lrs: Whats sexp 2015-01-19T19:54:02Z lrs: You want me to define 'int ? 2015-01-19T19:54:04Z lrs: As something 2015-01-19T19:54:04Z pjb: sexp = symbolic expression = what lisp is made of. 2015-01-19T19:54:11Z lrs: Thing is i looked in SICP 2015-01-19T19:54:21Z pjb: yes, define int as beying a type atom. 2015-01-19T19:54:23Z lrs: And if you want to define 'int or whatever, its some real abstract stuff that im not supposed to do 2015-01-19T19:54:37Z pjb: by definition, int, real, string could be lisp atoms. 2015-01-19T19:55:04Z pjb: Ooooh! You're supposed to do things… 2015-01-19T19:55:14Z pjb: I'll let you do what you're supposed to do then. 2015-01-19T19:57:35Z kongtomorrow joined #scheme 2015-01-19T19:58:34Z lrs: pjb, WHats lisp atoms? 2015-01-19T19:58:34Z civodul joined #scheme 2015-01-19T20:03:28Z zachstone joined #scheme 2015-01-19T20:06:14Z pjb: atoms are what are not cons cells. But in that case, we're considering only symbols. 2015-01-19T20:07:53Z zachstone quit (Ping timeout: 245 seconds) 2015-01-19T20:08:29Z kazimir42 quit (Ping timeout: 250 seconds) 2015-01-19T20:08:52Z lrs: pjb, Im trying to find the chapter in SICP but i cant find it. Basically it was some fucked up way of redefining integers or something. 2015-01-19T20:09:19Z turbofail: that's not what pjb is talking about at all 2015-01-19T20:09:25Z lrs: pjb, Ok. Can you give me an example of what atoms is? 2015-01-19T20:10:47Z npr joined #scheme 2015-01-19T20:11:01Z pjb: 432 "hello" this-is-an-atom #(1 2 3 is an atom too) 2015-01-19T20:11:51Z pjb: lrs: programming is inventing your own world. best language to invent world is mathematical language: defininitions & rules. 2015-01-19T20:13:18Z lrs: pjb, Right. And I am a math major. So. 2015-01-19T20:13:27Z lrs: But I dont get what you mean about what you just wrote 2015-01-19T20:13:54Z pjb: Once you have your definitions, it's a trivial matter to translate them into code. 2015-01-19T20:16:39Z lrs: pjb, Right. BUt how do i do the definitions. 2015-01-19T20:16:47Z lrs: I guess that should have been my original question. 2015-01-19T20:17:59Z pjb: Simple. If you define the type atoms to be either int real or string, then you write: (define (type-atom? x) (member x '(int real string))) 2015-01-19T20:18:05Z z0d quit (Ping timeout: 252 seconds) 2015-01-19T20:18:22Z pjb: then you can use (type-atom? (cadr texpr)) to check whether the first argument to a type expression is a type atom. 2015-01-19T20:18:29Z booly-yam-4795 quit (Remote host closed the connection) 2015-01-19T20:20:52Z pjb: For the type expression, you could define a predicate too, but since you want to operate on the type expressions, you will use the definition to build the operating function: each alternative of the definition of type expressions will correspond to a branch of a cond form. 2015-01-19T20:22:01Z pjb: I added a complexity in my definition, that a sexp can be used as a type expression: (check '(+ 2 (* 3 4))) --> int 2015-01-19T20:22:20Z pjb: but we can remove it if it's beyond the scope of your exercise. 2015-01-19T20:22:39Z z0d joined #scheme 2015-01-19T20:22:39Z z0d quit (Changing host) 2015-01-19T20:22:39Z z0d joined #scheme 2015-01-19T20:22:45Z alexei_ joined #scheme 2015-01-19T20:22:53Z pjb: So if we define type-expression = type atom or a list containing a lisp operator and a list of type expression arguments. 2015-01-19T20:24:12Z lrs: I added a complexity in my definition, that a sexp can be used as a type expression: (check '(+ 2 (* 3 4))) --> int < I dont get this and why you write member x and '(int real string) 2015-01-19T20:24:12Z pjb: then: (define (check texp) (cond ((type-atom? texp) texp) (else (let ((op (car texp)) (args (cdr texp))) (apply-rules op (map check args)))))) 2015-01-19T20:24:32Z pjb: So that: (check '(+ real real)) --> real 2015-01-19T20:24:43Z pjb: and (check '(substring string int int)) --> string 2015-01-19T20:25:32Z pjb: As for (check '(+ 2 (* 3 4))), don't you want the function check to give you the type of random lisp expressions? 2015-01-19T20:25:55Z lrs: apply-rules unbound identifier 2015-01-19T20:27:41Z pjb: yes, you are the programmmer, program! 2015-01-19T20:29:30Z pjb: Now you have a set of rules such as: (define rules '((--> (+ int int) int) (--> (+ real real) real) (--> (/ int non-zero-int) ratio) (--> (substring string int int) string))) and you have to implement a function apply-rule suchas (apply-rules '+ '(int int)) --> int 2015-01-19T20:29:36Z gnomon quit (Ping timeout: 276 seconds) 2015-01-19T20:29:38Z pjb: Do think you could do that? 2015-01-19T20:30:33Z lrs: pjb, Will you be here in a while? 2015-01-19T20:30:40Z lrs: I need to let this sink in and look at the code 2015-01-19T20:30:55Z pjb: I'll be here, intermitently. 2015-01-19T20:30:59Z lrs: pjb, Im gonna write what you just wrote and then im gonna look at it and think for a while, ok? 2015-01-19T20:31:14Z lrs: Cool 2015-01-19T20:31:18Z pjb: Yes, insert newlines in the code, and have emacs justify it correctly :-) 2015-01-19T20:31:36Z lrs: I use DrRacket so I just press shift :P 2015-01-19T20:36:54Z gnomon joined #scheme 2015-01-19T20:36:57Z booly-yam-5194 joined #scheme 2015-01-19T20:40:03Z MichaelRaskin joined #scheme 2015-01-19T20:44:58Z Bahman_ is now known as Bahman 2015-01-19T20:45:20Z enitiz joined #scheme 2015-01-19T20:48:25Z gnomon quit (Ping timeout: 255 seconds) 2015-01-19T20:49:14Z racycle joined #scheme 2015-01-19T20:49:45Z excelsior quit (Quit: Lost terminal) 2015-01-19T20:49:48Z gnomon joined #scheme 2015-01-19T20:50:42Z pera joined #scheme 2015-01-19T20:51:18Z senoj joined #scheme 2015-01-19T20:52:53Z gravicappa quit (Remote host closed the connection) 2015-01-19T20:59:46Z karswell quit (Read error: Connection reset by peer) 2015-01-19T21:00:03Z karswell joined #scheme 2015-01-19T21:02:34Z araujo joined #scheme 2015-01-19T21:02:34Z araujo quit (Changing host) 2015-01-19T21:02:34Z araujo joined #scheme 2015-01-19T21:03:49Z wingo joined #scheme 2015-01-19T21:08:32Z jcowan joined #scheme 2015-01-19T21:08:46Z jcowan quit (Client Quit) 2015-01-19T21:36:56Z gnomon quit (Ping timeout: 246 seconds) 2015-01-19T21:43:12Z mumptai quit (Ping timeout: 245 seconds) 2015-01-19T21:50:30Z lrs: pjb, There? 2015-01-19T21:58:19Z Isp-sec quit (Ping timeout: 265 seconds) 2015-01-19T21:59:03Z hellofunk quit (Remote host closed the connection) 2015-01-19T21:59:40Z echo-area joined #scheme 2015-01-19T22:02:26Z hiroakip joined #scheme 2015-01-19T22:04:32Z hellofunk joined #scheme 2015-01-19T22:04:57Z alezost quit (Quit: I use GNU Guix ) 2015-01-19T22:05:04Z zachstone joined #scheme 2015-01-19T22:08:26Z mrowe_away is now known as mrowe 2015-01-19T22:09:35Z zachstone quit (Ping timeout: 252 seconds) 2015-01-19T22:09:42Z oleo is now known as Guest17124 2015-01-19T22:11:18Z oleo__ joined #scheme 2015-01-19T22:11:35Z pjb: lrs: yes. 2015-01-19T22:12:02Z lrs: pjb, Im not really sure I get what you mean (define rules '((--> (+ int int) int) (--> (+ real real) real) (--> (/ int non-zero-int) ratio) (--> (substring string int int) string))) 2015-01-19T22:12:05Z lrs: The --> 2015-01-19T22:12:20Z pjb: it's gratuituous syntax. 2015-01-19T22:12:24Z pjb: You could remove it. 2015-01-19T22:12:34Z Guest17124 quit (Ping timeout: 255 seconds) 2015-01-19T22:12:43Z lrs: BUt I dont get what it means 2015-01-19T22:12:50Z pjb: or you could write your rules as: ((+ int int) returns a int) 2015-01-19T22:13:09Z pjb: it means "returns" or "produces" or "has type". 2015-01-19T22:13:19Z lrs: I dont get it. Do I have these rules?? 2015-01-19T22:13:24Z pjb: Yes. 2015-01-19T22:13:29Z lrs: Where? 2015-01-19T22:13:42Z pjb: What is the type of the result of (+ 2.1 3) ? 2015-01-19T22:13:57Z lrs: Not an integer 2015-01-19T22:14:05Z pjb: yes. What is it? 2015-01-19T22:14:10Z lrs: A real number ? 2015-01-19T22:14:14Z pjb: yes. 2015-01-19T22:14:25Z pjb: So you have a rule (+ real int) --> real 2015-01-19T22:14:44Z pjb: or written as Polish notation sexps: (--> (+ real int) real) 2015-01-19T22:15:00Z pjb: you have this rule in your head. You need to write it down in lisp. 2015-01-19T22:16:16Z lrs: pjb, Ok, so I have (define (apply-rules op1 op2) 2015-01-19T22:16:17Z lrs: (cond (+ real int) real) 2015-01-19T22:16:17Z lrs: (cond (+ int int) int) 2015-01-19T22:16:25Z pjb: This is invalid lisp. 2015-01-19T22:16:48Z pjb: and apply-rules, as used in my function above, takes an op and a list of argument types. 2015-01-19T22:18:28Z lrs: So defome (apply-rules op1 lst then 2015-01-19T22:19:14Z senoj quit (Read error: Connection reset by peer) 2015-01-19T22:23:37Z wingo quit (Ping timeout: 256 seconds) 2015-01-19T22:29:44Z turtleman_ quit (Ping timeout: 265 seconds) 2015-01-19T22:30:38Z stamourv: mumptai: Re research on building languages: http://www.ccs.neu.edu/racket/pubs/pldi11-thacff.pdf 2015-01-19T22:30:53Z stamourv is a couple of days late. 2015-01-19T22:31:44Z civodul quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-01-19T22:31:54Z badkins quit (Ping timeout: 245 seconds) 2015-01-19T22:32:19Z karswell quit (Ping timeout: 252 seconds) 2015-01-19T22:32:28Z lrs: pjb, God. I am so bad at this. 2015-01-19T22:32:43Z pjb: lrs: notice that you can write a functional abstraction to access the rules: (define (rule-operator rule) …) (define (rule-argument-types rule) …) (define (rule-result-type rule) …), so you may change the format of the rules. 2015-01-19T22:33:16Z pjb: Then you need a function to match a rule to op and arg-types, and you just need to find the first rule that matches. 2015-01-19T22:33:20Z lrs: pjb, This sounds complicated. Why do I need to do that? 2015-01-19T22:33:29Z pjb: functional abstraction simplify things. 2015-01-19T22:33:46Z z0d quit (Ping timeout: 252 seconds) 2015-01-19T22:34:09Z z0d joined #scheme 2015-01-19T22:34:09Z z0d quit (Changing host) 2015-01-19T22:34:09Z z0d joined #scheme 2015-01-19T22:34:32Z pjb: Instead of writing code full of cadr, caddr, etc, you have code that reads clearly: (cond ((and (eql? operator (rule-operator rule)) (equal? arg-types (rule-argument-types rule))) (rule-result-type rule)) …) 2015-01-19T22:35:25Z pjb: Just introducing this functional abstraction, you have half apply-rules written. 2015-01-19T22:36:59Z lrs: I dont follow you 2015-01-19T22:37:10Z lrs: What is rule-operator, what is arg-types, what is rule in this context 2015-01-19T22:38:01Z pjb: (define (apply-rules operator arg-types) …) 2015-01-19T22:38:22Z pjb: rule-operator is a functional abstraction. (rule-operator '(--> (+ int int) int)) --> + 2015-01-19T22:38:35Z pjb: (rule-argument-types '(--> (+ int int) int)) --> (int int) 2015-01-19T22:38:44Z pjb: (rule-result-type '(--> (+ int int) int)) --> int 2015-01-19T22:38:57Z pjb: those functions give you access to the components of a rule. 2015-01-19T22:42:46Z sheilong quit (Quit: Konversation terminated!) 2015-01-19T22:42:47Z jeapostrophe quit (Ping timeout: 245 seconds) 2015-01-19T22:44:12Z pjb: they're abstraction, because we don't care how they're implemented. Their implementation could change, the rest of the program would stay the same (they would change to match the rules format). 2015-01-19T22:44:13Z lrs: (define (apply-rules operator arg-types) …) < Why operator? And where is rule-operator called? 2015-01-19T22:44:45Z pjb: So there's this global variable named rules that contains a list of rules. 2015-01-19T22:45:11Z pjb: apply-rules will have to find a rule with the rule-operator operator, and with the rule-argument-types arg-types, and return the rule-result-type of that rule. 2015-01-19T22:45:27Z pjb: So apply-rules will have to try in turn each rule in the rules list. 2015-01-19T22:45:59Z pjb: and test the test I gave you above. And if that test fails, it has to try continue with the rest of the rules. 2015-01-19T22:46:15Z lrs: I am completely losing track of everything. Can you explain the hierarchy this works 2015-01-19T22:46:29Z pjb: How do you search an element in a list? 2015-01-19T22:46:42Z lrs: By iterating through it 2015-01-19T22:47:44Z pjb: Ok. So write a function (find-if predicate? list) that iterates thru the list and returns the first element x of the list for which (predicate? x) is true. 2015-01-19T22:48:10Z pjb: if no such element is found, the it should return the symbol nil. 2015-01-19T22:49:51Z pjb: Then you can write (define (apply-rules operator arg-types) (let ((matching-rule (find-if (lambda (rule) (and (eql? operator (rule-operator rule)) (equal? arg-types (rule-argument-types rule)))) rules))) (if (eq? 'nil matching-rule) (error "type error") (rule-result-type matching-rule)))). 2015-01-19T22:51:44Z boycottg00gle joined #scheme 2015-01-19T22:55:42Z racycle quit (Quit: ZZZzzz…) 2015-01-19T23:01:01Z lrs: pjb, Can you tell me the direction this program takes? 2015-01-19T23:01:07Z lrs: As in what sends to what 2015-01-19T23:02:16Z pjb: check calls apply-rules, apply-rules calls find-if 2015-01-19T23:02:49Z pjb: This call to find-if returns a rule, apply-rules returns a type or signals an error, check returns a type. 2015-01-19T23:04:30Z theseb quit (Quit: Leaving) 2015-01-19T23:05:41Z lrs: pjb, Ok, give me a while to think about this for a second 2015-01-19T23:06:58Z adu joined #scheme 2015-01-19T23:10:22Z badkins joined #scheme 2015-01-19T23:13:52Z iKlsR joined #scheme 2015-01-19T23:14:43Z booly-yam-5194 quit (Remote host closed the connection) 2015-01-19T23:16:22Z booly-yam-5194 joined #scheme 2015-01-19T23:18:15Z kongtomorrow: lrs: what are you trying to program? 2015-01-19T23:18:53Z lrs: kongtomorrow, A program that when i write (check '(+ int int)) gives int 2015-01-19T23:19:02Z lrs: Or (check '(= (< (+ int int) (quotient int int)) (> int int))) 2015-01-19T23:19:03Z lrs: Bool 2015-01-19T23:20:32Z daviid joined #scheme 2015-01-19T23:24:40Z pjb: lrs: no, this is an error. 2015-01-19T23:24:46Z pjb: = doesn't work on booleans. 2015-01-19T23:25:28Z lrs: pjb, Well... This is suppsoed to work 2015-01-19T23:25:38Z turbofail: well `=' in scheme doesn't, but perhaps it does in the type language he's implementing 2015-01-19T23:25:54Z booly-yam-5194_ joined #scheme 2015-01-19T23:26:01Z pjb: Then just add a rule for =. So you need a lot of rules: (--> (quotient int non-zero-int) int) (--> (> int int) boolean) (--> (< int int) boolean) (--> (= boolean boolean) boolean) 2015-01-19T23:26:22Z lrs: Oh, right 2015-01-19T23:26:37Z lrs: + 1 * / quotient < = and or 2015-01-19T23:26:43Z lrs: Are operators that need to work in this program 2015-01-19T23:27:47Z booly-yam-5194 quit (Ping timeout: 245 seconds) 2015-01-19T23:27:50Z hiyosi joined #scheme 2015-01-19T23:32:36Z booly-yam-5194_ quit (Max SendQ exceeded) 2015-01-19T23:34:15Z booly-yam-5194_ joined #scheme 2015-01-19T23:36:56Z lrs: pjb, matching-rule? 2015-01-19T23:37:17Z pjb: What have you to say about my variable names? 2015-01-19T23:38:31Z npr left #scheme 2015-01-19T23:39:35Z tm_ joined #scheme 2015-01-19T23:39:46Z lrs: pjb, What does it do? 2015-01-19T23:41:43Z pjb: it binds to the rule that match, the matching rule. 2015-01-19T23:41:52Z pjb: the rule that matches. 2015-01-19T23:44:11Z lrs: Ok, so matching-rule is a function that has a connection to rule or what 2015-01-19T23:44:54Z jeapostrophe joined #scheme 2015-01-19T23:44:54Z jeapostrophe quit (Changing host) 2015-01-19T23:44:54Z jeapostrophe joined #scheme 2015-01-19T23:49:09Z gnomon joined #scheme 2015-01-19T23:49:29Z boycottg00gle quit (Remote host closed the connection) 2015-01-19T23:50:27Z hive-mind quit (Ping timeout: 276 seconds) 2015-01-19T23:51:57Z jeapostrophe quit (Ping timeout: 245 seconds) 2015-01-19T23:52:06Z hive-mind joined #scheme 2015-01-19T23:52:31Z lrs: pjb, Gah this is so hard. Will you be here tomorrow? Can I ask you about this then? 2015-01-19T23:52:57Z lrs: I think Im gonna go to sleep, its pretty late here. Im gonna spend tomorrow and think about this problem a bit more then maybe I can ask you for help if thats ok?