00:00:00 --- log: started forth/17.12.20 00:19:04 also i was thinking to make a storage which using forth words as the log for recovery storage action 00:19:14 so i could support git like model with that feature 01:14:09 --- quit: proteusguy (Remote host closed the connection) 01:16:22 --- nick: yunfan -> \yunfan 01:18:41 --- join: dys (~dys@2003:5b:203b:100:6af7:28ff:fe06:801) joined #forth 01:44:01 --- join: proteusguy (~proteus-g@2405:9800:bc10:1ca:f03a:134f:52d9:2ef4) joined #forth 01:44:01 --- mode: ChanServ set +v proteusguy 02:14:42 --- quit: jedb (Read error: Connection reset by peer) 02:15:07 --- quit: proteus-guy (Ping timeout: 264 seconds) 02:15:57 --- join: proteus-guy (~proteusgu@14.207.180.231) joined #forth 02:27:22 --- join: jedb (~jedb@199.66.90.113) joined #forth 03:00:24 --- quit: nighty- (Quit: Disappears in a puff of smoke) 05:02:15 --- part: DGASAU left #forth 05:32:30 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 05:38:30 --- quit: dddddd (Ping timeout: 240 seconds) 05:53:41 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 06:09:59 --- join: nighty- (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 06:26:41 --- quit: mtsd (Quit: leaving) 06:47:22 --- join: karswell (~user@cust125-dsl91-135-5.idnet.net) joined #forth 09:39:20 --- join: jjnn (~jjn@104.254.92.62) joined #forth 10:37:57 --- quit: josh5tone (Quit: Lost terminal) 10:43:08 --- quit: dys (Ping timeout: 265 seconds) 11:13:19 --- join: dys (~dys@tmo-109-94.customers.d1-online.com) joined #forth 11:15:31 --- quit: nonlinear (Ping timeout: 256 seconds) 11:47:28 --- join: Uniju (~frog_styl@cpe-74-78-4-232.mass.res.rr.com) joined #forth 11:54:40 --- quit: jjnn (Quit: WeeChat 1.4) 12:38:05 --- join: nonlinear (~nonlinear@unaffiliated/discrttm) joined #forth 13:06:27 --- quit: dys (Ping timeout: 255 seconds) 13:07:19 --- join: dys (~dys@tmo-100-100.customers.d1-online.com) joined #forth 13:14:38 --- quit: dys (Ping timeout: 268 seconds) 13:26:28 proteus-guy: i think you need more than a strong type system. 13:26:37 i think that's not even a good beginning. 13:26:54 a strong type system in a stack based language will tell you what? 13:27:01 maybe it'll tell you a few things, but not a lot 14:08:49 and it depends if the values will have tags or not. 16:25:27 --- quit: nerfur (Ping timeout: 255 seconds) 16:25:48 --- join: nerfur (~nerfur@mail.freeside.ru) joined #forth 17:26:23 --- join: nighty-- (~nighty@kyotolabs.asahinet.com) joined #forth 17:32:34 --- quit: nighty-- (Max SendQ exceeded) 17:43:05 Zarutian_PI: tags? could you explain please? 17:43:53 cheater: tags in the form of simple type-tags on values. For instance one tag could be "this is a data pointer" or "this is a floating point number" and so on. 17:49:41 --- join: nighty-- (~nighty@210.253.246.113) joined #forth 17:55:19 how is that different from a type? 18:04:07 --- join: roundsf`` (~user@2a00:2381:1a72:10:a0d2:fb48:21f:aa76) joined #forth 18:07:37 --- quit: roundsf` (*.net *.split) 18:20:27 --- join: wa5qjh (~Thunderbi@freebsd/user/wa5qjh) joined #forth 18:36:02 cheater: it is concrete and not abstract 18:44:28 --- quit: dograt (Ping timeout: 260 seconds) 18:48:49 --- join: Gromboli (~Gromboli@static-72-88-80-103.bflony.fios.verizon.net) joined #forth 18:58:10 --- quit: wa5qjh (Remote host closed the connection) 19:01:23 --- join: ThirtyOne32nds (~rtmanpage@114.sub-174-204-19.myvzw.com) joined #forth 19:47:57 --- quit: karswell (Ping timeout: 240 seconds) 19:58:07 --- quit: proteusguy (Remote host closed the connection) 20:09:49 --- quit: dddddd (Quit: Hasta otra..) 21:12:27 --- quit: irsol (Ping timeout: 255 seconds) 21:25:20 --- join: irsol (~irsol@unaffiliated/contempt) joined #forth 22:03:37 --- join: dograt (~dograt@unaffiliated/dograt) joined #forth 22:09:36 --- join: proteusguy (~proteus-g@180.183.119.155) joined #forth 22:09:36 --- mode: ChanServ set +v proteusguy 22:12:15 --- quit: Gromboli (Quit: Leaving) 22:20:55 --- join: jedb_ (~jedb@199.66.90.113) joined #forth 22:26:32 --- quit: jedb (*.net *.split) 22:26:33 --- quit: lonjil2 (*.net *.split) 22:28:07 --- quit: irsol (Ping timeout: 248 seconds) 22:28:20 --- quit: tangentstorm (Ping timeout: 240 seconds) 22:29:00 --- join: irsol (~irsol@unaffiliated/contempt) joined #forth 22:31:03 --- join: tangentstorm (michal@2600:3c03::f03c:91ff:fec8:caab) joined #forth 22:32:08 --- join: lonjil2 (~quassel@2a02:418:6050:ed15:ed15:ed15:e741:32d6) joined #forth 22:48:52 --- quit: lonjil2 (*.net *.split) 22:58:42 --- join: dys (~dys@tmo-122-220.customers.d1-online.com) joined #forth 23:19:24 --- join: gravicappa (~gravicapp@ppp83-237-162-4.pppoe.mtu-net.ru) joined #forth 23:24:55 --- join: lonjil (~quassel@2a02:418:6050:ed15:ed15:ed15:e741:32d6) joined #forth 23:45:12 --- quit: xek (Remote host closed the connection) 23:45:25 --- join: xek (xek@nat/intel/x-sudfismgcgzoohyz) joined #forth 23:59:59 --- log: ended forth/17.12.20