00:00:00 --- log: started forth/17.02.23 00:05:04 pointfree: Excellent explanation. 01:20:50 --- quit: nighty (Quit: Disappears in a puff of smoke) 01:21:39 --- quit: ACE_Recliner (Remote host closed the connection) 01:23:08 --- join: nighty (~nighty@d246113.ppp.asahi-net.or.jp) joined #forth 01:27:54 --- join: true-grue (~true-grue@176.14.222.10) joined #forth 01:39:48 --- quit: proteusguy (Remote host closed the connection) 01:48:29 --- quit: nighty (Quit: Disappears in a puff of smoke) 01:50:15 --- quit: mnemnia (Remote host closed the connection) 02:53:26 --- join: nighty (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 03:01:51 --- join: GeDaMo (~GeDaMo@212.225.112.221) joined #forth 03:55:11 --- quit: true-grue (Ping timeout: 255 seconds) 04:04:20 --- quit: wa5qjh (Remote host closed the connection) 04:08:25 --- join: wa5qjh (~Thunderbi@121.54.90.139) joined #forth 04:17:14 --- join: true-grue (~true-grue@176.14.222.10) joined #forth 04:44:37 --- join: ASau (~user@netbsd/developers/asau) joined #forth 04:50:06 --- quit: MrBusiness (Ping timeout: 260 seconds) 05:17:42 --- quit: ASau (Remote host closed the connection) 05:36:02 --- join: ASau (~user@netbsd/developers/asau) joined #forth 06:13:09 --- join: vsg1990 (~vsg1990@static-72-88-80-103.bflony.fios.verizon.net) joined #forth 06:23:16 --- quit: ASau (Remote host closed the connection) 06:23:40 --- join: ASau (~user@netbsd/developers/asau) joined #forth 06:30:50 --- quit: ASau (Remote host closed the connection) 06:42:04 --- join: ASau (~user@netbsd/developers/asau) joined #forth 06:48:43 --- quit: ASau (Remote host closed the connection) 06:52:04 --- join: ASau (~user@netbsd/developers/asau) joined #forth 06:58:52 --- quit: zy]x[yz (Changing host) 06:58:53 --- join: zy]x[yz (~corey@unaffiliated/cmtptr) joined #forth 07:05:33 --- quit: DKordic (Quit: ERC Version 5.3 (IRC client for Emacs)) 07:08:19 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:6897:39f4:cf1f:6857) joined #forth 07:12:44 --- quit: mnemnion (Ping timeout: 255 seconds) 07:15:15 --- join: DKordic (~user@93-87-176-86.dynamic.isp.telekom.rs) joined #forth 07:20:20 --- join: neceve (~ncv@86.125.230.85) joined #forth 07:20:21 --- quit: neceve (Changing host) 07:20:21 --- join: neceve (~ncv@unaffiliated/neceve) joined #forth 07:22:37 --- quit: ASau (Remote host closed the connection) 07:25:09 --- join: ASau (~user@netbsd/developers/asau) joined #forth 07:59:09 --- join: rgrinberg (~rgrinberg@24-246-56-85.cable.teksavvy.com) joined #forth 08:25:12 --- join: mnemnion (~mnemnion@71.198.73.193) joined #forth 08:30:04 --- quit: mnemnion (Ping timeout: 260 seconds) 08:39:39 --- join: proteusguy (~proteus-g@49.228.112.134) joined #forth 08:39:40 --- mode: ChanServ set +v proteusguy 09:18:42 --- join: Zarutian (~zarutian@168-110-22-46.fiber.hringdu.is) joined #forth 09:32:40 --- quit: djinni (Quit: Leaving) 09:35:56 --- quit: neceve (Quit: Konversation terminated!) 09:36:02 --- join: djinni (~djinni@68.ip-149-56-14.net) joined #forth 09:38:20 --- join: luser1 (~user@h69-21-248-248.crlbnm.broadband.dynamic.tds.net) joined #forth 09:41:14 --- quit: luser1 (Remote host closed the connection) 10:09:01 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:4cb9:98a3:c6f:d9fb) joined #forth 10:09:06 --- quit: gravicappa (Ping timeout: 240 seconds) 10:13:38 --- quit: mnemnion (Ping timeout: 255 seconds) 10:17:42 * Zarutian is looking for the definitions of ]] and [[ 10:29:57 something like? : ]] BEGIN >IN @ BL WORD S" [[" COMPARE 0= IF DROP EXIT THEN >IN ! [COMPILE] POSTPONE AGAIN ; IMMEDIATE 10:30:43 s/[COMPILE}// 10:31:09 I think you do want [COMPILE] there, right? postpone would be immediate 10:31:17 right 10:31:26 wasnt quite sure 10:33:13 also what's the stack signature of your WORD that it needs ">IN @" and ">IN !"? I ask because I saw that stuff going on in another forth I was trying to understand, but the forths I've seen have a WORD that looks like ( -- str len ) 10:33:15 Zarutian: postpone effectively undoes immediate mode for immediate words, and the reverse for non-immediate words. Maybe toggle that state with ]] and alias [[ to ]] because it also toggles. 10:33:57 something like the { and } metacompiler words in cmForth. 10:34:29 "the reverse for non-immediate words" is not how I understood it 10:40:48 With POSTPONE, immediate words get compiled into definition instead of executed. regular forth words ---> get compiled with yet another level of indirection instead of executed. So, contrary to what I just said, POSTPONE adds another level of indirection so that it gets postponed. 10:41:28 yeah, that's a better way of describing it that I failed to come up with before: it bumps the level of indirection 10:45:25 --- join: gravicappa (~gravicapp@ppp83-237-166-116.pppoe.mtu-net.ru) joined #forth 10:47:38 Just a thought: It could be interesting to have a way to bump the level of indirection in a way that is not dependent on the factoring, because I think people expect words to be nothing more than abbreviations. Maybe by marking where you want to postpone and where you want to stop postponing. 10:49:45 I stopped using Sam Falvo's outer exit pattern https://sam-falvo.github.io/2010/02/27/declarative-imperative-then-inquisitive for this reason: it's tied to the factoring of the code and makes words less composable. 11:03:46 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:390a:8550:bef6:beb4) joined #forth 11:07:43 --- quit: mnemnion (Ping timeout: 240 seconds) 11:08:49 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:390a:8550:bef6:beb4) joined #forth 11:10:12 --- quit: DKordic (Quit: ERC Version 5.3 (IRC client for Emacs)) 11:12:11 --- join: DKordic (~user@93-87-176-86.dynamic.isp.telekom.rs) joined #forth 12:06:32 --- quit: rgrinberg (Remote host closed the connection) 12:29:55 --- join: ACE_Recliner (~ACE_Recli@c-50-165-178-74.hsd1.in.comcast.net) joined #forth 12:45:55 --- join: dual (~bonafide@cpe-74-75-153-119.maine.res.rr.com) joined #forth 13:23:28 --- quit: gravicappa (Ping timeout: 260 seconds) 13:34:20 --- quit: dys (Ping timeout: 255 seconds) 13:42:35 --- quit: GeDaMo (Remote host closed the connection) 13:51:55 --- quit: true-grue (Read error: Connection reset by peer) 14:41:19 --- quit: dual (Ping timeout: 240 seconds) 15:37:02 --- quit: nighty (Quit: Disappears in a puff of smoke) 16:37:28 --- quit: wa5qjh (Remote host closed the connection) 16:39:13 --- join: wa5qjh (~Thunderbi@121.54.90.139) joined #forth 16:42:39 --- join: impomatic_ (~impomatic@host86-164-38-224.range86-164.btcentralplus.com) joined #forth 16:43:47 --- quit: impomatic (Ping timeout: 255 seconds) 16:43:49 --- nick: impomatic_ -> impomatic 17:23:23 --- quit: ACE_Recliner (Ping timeout: 255 seconds) 17:23:55 --- join: ACE_Recliner (~ACE_Recli@c-50-165-178-74.hsd1.in.comcast.net) joined #forth 17:25:10 --- join: nighty (~nighty@d246113.ppp.asahi-net.or.jp) joined #forth 17:43:15 --- quit: Zarutian (Quit: Zarutian) 18:05:39 --- quit: wa5qjh (Remote host closed the connection) 18:12:29 --- join: impomatic_ (~impomatic@host86-164-38-224.range86-164.btcentralplus.com) joined #forth 18:15:35 --- quit: impomatic (Ping timeout: 268 seconds) 18:15:40 --- nick: impomatic_ -> impomatic 18:16:38 --- join: wa5qjh (~Thunderbi@121.54.90.139) joined #forth 18:43:34 --- quit: karswell` (Ping timeout: 260 seconds) 19:18:46 --- join: neceve (~ncv@unaffiliated/neceve) joined #forth 19:38:48 --- join: rgrinberg (~rgrinberg@24-246-56-85.cable.teksavvy.com) joined #forth 19:57:06 --- join: luser1 (~user@h69-21-248-248.crlbnm.broadband.dynamic.tds.net) joined #forth 20:18:27 --- join: dual (~bonafide@subzeroup.core.rzwireless.net) joined #forth 20:19:42 --- quit: neceve (Remote host closed the connection) 20:21:05 --- quit: ACE_Recliner (Ping timeout: 240 seconds) 20:24:01 --- join: ACE_Recliner (~ACE_Recli@c-50-165-178-74.hsd1.in.comcast.net) joined #forth 21:01:03 --- quit: ASau (Ping timeout: 240 seconds) 21:21:18 --- quit: ACE_Recliner (Ping timeout: 260 seconds) 21:55:50 --- join: ACE_Recliner (~ACE_Recli@c-50-165-178-74.hsd1.in.comcast.net) joined #forth 22:15:45 --- join: dys (~dys@x5f71f8ee.dyn.telefonica.de) joined #forth 22:35:19 --- quit: vsg1990 (Quit: Leaving) 23:05:03 --- quit: rgrinberg (Ping timeout: 260 seconds) 23:59:59 --- log: ended forth/17.02.23