00:00:00 --- log: started forth/18.08.20 00:11:02 --- join: [1]MrMobius (~default@c-73-134-82-217.hsd1.va.comcast.net) joined #forth 00:14:40 --- quit: MrMobius (Ping timeout: 256 seconds) 00:14:40 --- nick: [1]MrMobius -> MrMobius 00:46:33 --- join: ncv (~neceve@2a02:c7d:c5c9:a900:6eaf:6ef7:3b81:d5f6) joined #forth 00:46:34 --- quit: ncv (Changing host) 00:46:34 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 00:55:07 --- quit: dys (Ping timeout: 260 seconds) 01:08:36 --- quit: pierpal (Quit: Poof) 01:08:53 --- join: pierpal (~pierpal@host84-235-dynamic.181-80-r.retail.telecomitalia.it) joined #forth 02:03:58 --- quit: ashirase (Ping timeout: 272 seconds) 02:06:40 --- join: ashirase (~ashirase@modemcable098.166-22-96.mc.videotron.ca) joined #forth 02:42:19 --- quit: nighty- (Quit: Disappears in a puff of smoke) 03:11:49 --- join: nighty- (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 03:58:20 --- quit: proteus-guy (Ping timeout: 276 seconds) 04:09:34 --- join: proteus-guy (~proteusgu@2403:6200:88a6:329f:c856:d424:9ab0:9183) joined #forth 04:25:40 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 04:32:29 --- quit: pierpal (Quit: Poof) 04:32:46 --- join: pierpal (~pierpal@host84-235-dynamic.181-80-r.retail.telecomitalia.it) joined #forth 04:42:28 --- quit: pierpal (Ping timeout: 268 seconds) 04:51:24 --- quit: tusj (Remote host closed the connection) 04:51:53 --- join: tusj (~tusj@185.176.245.99) joined #forth 04:54:39 --- quit: tusj (Remote host closed the connection) 04:55:08 --- join: tusj (~tusj@185.176.245.99) joined #forth 04:56:32 --- quit: tusj (Remote host closed the connection) 04:58:43 --- join: tusj (~tusj@185.176.245.99) joined #forth 04:59:56 --- quit: tusj (Remote host closed the connection) 05:00:23 --- join: tusj (~tusj@185.176.245.99) joined #forth 05:03:38 --- quit: tusj (Remote host closed the connection) 05:04:28 --- join: tusj (~tusj@185.176.245.99) joined #forth 05:04:52 --- quit: tusj (Remote host closed the connection) 05:05:20 --- join: tusj (~tusj@185.176.245.99) joined #forth 05:08:43 --- quit: tusj (Remote host closed the connection) 05:09:10 --- join: tusj (~tusj@185.176.245.99) joined #forth 05:09:36 --- quit: tusj (Remote host closed the connection) 05:10:13 --- join: tusj (~tusj@185.176.245.99) joined #forth 05:13:00 --- quit: jedb (Ping timeout: 260 seconds) 05:25:55 --- join: jedb (~jedb@199.66.90.209) joined #forth 05:39:21 --- join: pierpal (~pierpal@host84-235-dynamic.181-80-r.retail.telecomitalia.it) joined #forth 05:41:49 --- quit: pierpal (Remote host closed the connection) 05:46:21 --- join: pierpal (~pierpal@host84-235-dynamic.181-80-r.retail.telecomitalia.it) joined #forth 06:08:25 --- quit: reepca-laptop (Ping timeout: 260 seconds) 07:11:14 --- quit: tusj (Remote host closed the connection) 07:30:08 --- join: tusj (~tusj@185.176.245.99) joined #forth 08:16:02 --- quit: pierpal (Quit: Poof) 08:16:19 --- join: pierpal (~pierpal@host84-235-dynamic.181-80-r.retail.telecomitalia.it) joined #forth 08:33:29 --- quit: pierpal (Quit: Poof) 08:33:48 --- join: pierpal (~pierpal@host84-235-dynamic.181-80-r.retail.telecomitalia.it) joined #forth 09:18:26 --- quit: pierpal (Quit: Poof) 09:18:42 --- join: pierpal (~pierpal@host84-235-dynamic.181-80-r.retail.telecomitalia.it) joined #forth 09:25:11 --- quit: ncv (Ping timeout: 260 seconds) 10:00:31 --- join: Mat4 (~pi@ip5b410422.dynamic.kabel-deutschland.de) joined #forth 10:07:36 --- quit: Mat4 (Quit: leaving) 10:23:54 --- join: dys (~dys@tmo-102-255.customers.d1-online.com) joined #forth 10:37:19 --- quit: dys (Ping timeout: 240 seconds) 10:39:30 --- join: impomatic (~digital_w@host109-150-0-69.range109-150.btcentralplus.com) joined #forth 11:04:28 --- join: dys (~dys@tmo-107-4.customers.d1-online.com) joined #forth 11:30:42 --- quit: X-Scale (Ping timeout: 268 seconds) 12:38:11 --- join: X-Scale (~ARM@46.50.1.66) joined #forth 12:54:37 --- join: amuck_ (~amuck@152.243.185.35.bc.googleusercontent.com) joined #forth 12:55:50 --- quit: amuck (Ping timeout: 256 seconds) 12:55:52 --- nick: amuck_ -> amuck 12:58:19 --- quit: malyn (Ping timeout: 240 seconds) 12:59:09 --- join: malyn (~malyn@unaffiliated/malyn) joined #forth 13:31:18 --- quit: mark4 (Ping timeout: 276 seconds) 14:48:10 --- quit: pierpal (Ping timeout: 260 seconds) 15:20:43 --- quit: impomatic (Ping timeout: 268 seconds) 15:25:03 --- quit: cheater (Ping timeout: 276 seconds) 15:26:40 --- join: cheater (~cheater@unaffiliated/cheater) joined #forth 15:36:38 --- quit: cheater (Ping timeout: 256 seconds) 15:38:28 --- join: cheater (~cheater@unaffiliated/cheater) joined #forth 16:18:24 --- join: pierpa (50b5eb54@gateway/web/freenode/ip.80.181.235.84) joined #forth 16:25:47 --- quit: nighty- (Quit: Disappears in a puff of smoke) 16:28:44 --- join: reepca (~user@208.89.170.250) joined #forth 16:35:00 --- quit: reepca (Ping timeout: 244 seconds) 17:28:29 --- join: reepca (~user@208.89.170.250) joined #forth 17:40:12 --- join: dave9 (~dave@90.20.215.218.dyn.iprimus.net.au) joined #forth 17:40:57 hi 17:48:01 --- join: nighty- (~nighty@kyotolabs.asahinet.com) joined #forth 17:55:14 zy]x[yz: I wonder if using some sort of constant pool such that there is an unnamed "word" for every constant used would make it reasonable to parse. 18:07:56 the thing is that you have to know when a cell is an argument, and without knowing what a word does there's no way to know 18:08:35 you can know that LIT, BRANCH, and LITSTRING have arguments following them, but the user can also define words that parse execution-stream arguments 18:09:26 so to do what you suggest, you'd have to canonicalize how execution-stream arguments are encoded and the user would have to conform to that 18:09:31 I guess that's possible 18:10:57 it's just that going down that road kind of breaks the dumb simplicity of the language 18:23:07 I'm recalling a paper (I think it was the one about gotos) by knuth that advocates programs that transform programs. But I imagine in order to do that, it's necessary for one program to be able to make any kind of sense of the other. It seems like the one-pass approach doesn't really work well with it. Nor does representing code linearly. I probably sound like I should just be using lisp, but there isn't the same kind of low-level 18:23:07 control to make many optimizations. 18:26:06 I know exactly what you mean. that's sort of where I struggle with forth, as well. it's very alluring work so intimately with the machine, but the one-passedness really prevents you from doing a lot of fancy stuff you take for granted in most other languages 18:27:09 even my assembler can't encode the short form of a near jump if it's a forward jump because it can't know if the the destination will be near enough, so I have to fall back to just always encoding the longer form 18:31:35 --- quit: dave9 (Quit: one love) 18:32:25 I'm also pretty curious about how procedural macros would work in a lisp-like setting. Like immediate-style macros in lisp, for example. The ans forth standard, if I remember correctly, uses the phrase "append the interpretation semantics to the current definition" a couple places. Would a procedural macro just append code to the "current list"? 18:42:35 (it occurs to me that the name "procedural macro" may already be taken by the scheme community, to contrast with "hygienic macros") 19:00:49 --- join: pierpal (~pierpal@host84-235-dynamic.181-80-r.retail.telecomitalia.it) joined #forth 19:08:32 can't say I know a whole lot about lisp but yeah I guess that's what it would do 19:20:19 --- join: mark4 (~mark4@cpe-2606-A000-8096-FE00-D4DC-CE93-D690-1744.dyn6.twc.com) joined #forth 19:35:46 I thought Lisp was more of a "functional" language than procedural. 19:35:54 But they do talk about "side effects." 19:36:00 I guess that's sort of procedural. 19:51:38 --- quit: pierpa (Quit: Page closed) 20:02:16 --- quit: dddddd (Remote host closed the connection) 21:22:14 --- quit: epony (Quit: QUIT) 22:40:24 --- quit: dys (Ping timeout: 268 seconds) 22:46:46 --- join: epony (~epony@unaffiliated/epony) joined #forth 22:53:17 --- join: dys (~dys@tmo-105-99.customers.d1-online.com) joined #forth 23:57:12 --- quit: epony (Remote host closed the connection) 23:59:59 --- log: ended forth/18.08.20