00:00:00 --- log: started retro/06.12.20 00:31:52 --- join: Cheery (n=Cheery@a81-197-54-146.elisa-laajakaista.fi) joined #retro 04:06:31 --- quit: Quartus_ (Read error: 104 (Connection reset by peer)) 04:19:23 --- join: tathi (n=josh@pdpc/supporter/bronze/tathi) joined #retro 04:20:59 --- join: neceve (n=claudiu@unaffiliated/neceve) joined #retro 04:23:42 --- join: virl (n=virl@chello062178085149.1.12.vie.surfer.at) joined #retro 05:55:25 --- join: timlarson_ (n=timlarso@65.116.199.19) joined #retro 06:11:18 --- join: Ray_work (n=Raystm2@199.227.227.26) joined #retro 06:11:33 --- quit: neceve (Remote closed the connection) 06:15:37 Good morning. I love my birthday girl! Happy birthday Nanette! 06:57:16 who is nanette? sounds like a pet name for a nano-bot :-) 07:01:22 hehe. Ya, my wife might could be considered a nano-bot. She's tiny enough. :) 07:02:18 She will usually re-nick my Raystm2 account as nanstm. 07:03:01 She's gotten to know several of my chat-buds here over the years. 09:28:48 --- join: Quartus_ (n=Quartus_@209.167.5.1) joined #retro 09:33:11 --- nick: Ray_work -> twoCentAdvisor 09:33:34 --- nick: twoCentAdvisor -> Ray_work 10:27:30 --- quit: Ray_work (Read error: 104 (Connection reset by peer)) 10:27:35 --- join: Ray_work (n=Raystm2@199.227.227.26) joined #retro 10:30:52 --- quit: timlarson_ (Read error: 54 (Connection reset by peer)) 10:30:55 --- join: Quartus___ (n=Quartus_@209.167.5.2) joined #retro 10:31:08 --- join: timlarson_ (n=timlarso@65.116.199.19) joined #retro 10:34:27 --- quit: Quartus_ (Read error: 104 (Connection reset by peer)) 10:47:13 --- quit: timlarson_ (Read error: 54 (Connection reset by peer)) 10:47:20 --- join: timlarson__ (n=timlarso@65.116.199.19) joined #retro 10:49:13 --- join: Quartus_ (n=Quartus_@209.167.5.2) joined #retro 10:51:25 --- quit: Quartus___ (Read error: 104 (Connection reset by peer)) 10:57:55 --- join: snoopy_1711 (i=snoopy_1@dslb-084-058-104-089.pools.arcor-ip.net) joined #retro 11:06:13 --- quit: Snoopy42 (Read error: 145 (Connection timed out)) 11:06:16 --- nick: snoopy_1711 -> Snoopy42 11:39:27 --- quit: Quartus_ ("used jmIrc") 11:40:56 --- join: Quartus_ (n=Quartus_@209.167.5.2) joined #retro 12:09:58 --- join: neceve (n=claudiu@unaffiliated/neceve) joined #retro 12:17:16 --- quit: neceve ("Leaving") 12:17:26 --- join: neceve (n=claudiu@unaffiliated/neceve) joined #retro 12:31:44 --- quit: Quartus_ (Read error: 104 (Connection reset by peer)) 12:32:11 --- join: Ray-work (n=Raystm2@199.227.227.26) joined #retro 12:43:16 --- quit: Ray-work ("User pushed the X - because it's Xtra, baby") 12:46:52 --- quit: Ray_work (Read error: 110 (Connection timed out)) 13:21:48 --- quit: timlarson__ ("Leaving") 13:41:13 --- join: Ray_work (n=Raystm2@199.227.227.26) joined #retro 14:09:27 crc, have you ever thought about leaving away the c! w!, etc? 14:09:46 leaving away? 14:10:01 yes, dropping them from language. 14:10:09 why would he want to do that? 14:10:52 for driving people to write code which is easy to handle. 14:11:25 FFI commonly requires specific-width access. 14:11:42 hmm. your right. :( 14:12:12 I'm not clear on how removing functionality drives people to write code that's easy to handle. 14:13:43 well, I've ended up using those c! w! -things lot and hated it afterwards. 14:13:59 Perhaps you need to improve your encapsulation and abstraction. 14:14:49 *sigh*. maybe. :/ 14:15:35 but now I improve my perception and go to sleep. ;) 14:15:42 c! and c@ are the right thing to use when dealing with chars and strings. I only use w! and w@ when dealing with structs and ffi. 14:17:01 well, you could use ! and @ in those too if you'd use UTF-32 14:17:15 whether it'd be overkill or not... :) I don't know for sure. 14:17:27 In which case a char would be cell-wide, and c@ and @ and c! and ! would be synonymous. 14:17:41 I would still use c@ and c! to indicate the operation type. 14:18:02 There is also a gain in portability for systems with differing char widths. 14:18:27 why don't you have c+ or c- there then too? 14:18:42 char+ is there. 14:19:08 not in retroforth. 14:19:20 not at least in rxforth where I just tested. 14:19:21 Trivially defined, should you need it. 14:20:05 The standard has char+ and char- is : char- [ -1 chars ] literal - ; 14:20:35 oops, 1 not -1 14:20:43 : char- 1 chars - ; 14:21:00 interesting. 14:22:02 Quartus: I wonder if in forth I would have use from type inference. 14:22:06 So in rf, : char+ 1 chars + ; : char- 1 chars - ; It's x86-specific, though, so you could just ' 1- alias char- ' 1+ alias char+ 14:22:16 type inference? 14:22:49 yes, like strong static typing with inference. 14:23:05 Forth is typeless, so you'd be talking about a different kind of animal. 14:23:54 yep. 14:24:17 I saw the idea used in ocaml, and wonder whether similar could be done on forth -style syntax without doing serious limitations. 14:24:17 There have been some systems written that way. 14:24:42 I find them uninteresting, but they exist. 14:24:54 Why do you find them uninteresting? 14:25:10 I prefer Forth typeless. 14:25:15 why? 14:25:41 I don't find typing helps me in any regard. 14:26:02 I see. You breath stack items? 14:26:04 :) 14:26:17 A typed Forth still has a stack, or you're not talking about Forth in any way 14:27:32 yep, but if you end up messing up, you find it out sooner. that appears interesting for me. 14:27:46 thought such stuff makes it longer to compile. :( 14:28:03 Not just longer to compile, but slower to run. 14:28:08 and you have only that benefit and only if you make the whole rest of that beast called 'type'. 14:30:04 gah, I go to sleep before it's morning. 14:30:09 :) 14:30:15 good night Quartus. :) 14:30:20 ciao! 14:30:29 --- quit: Cheery ("Download Gaim: http://gaim.sourceforge.net/") 14:34:07 --- quit: Ray_work ("User pushed the X - because it's Xtra, baby") 15:05:47 --- join: Quartus_ (n=Quartus_@209.167.5.1) joined #retro 15:09:36 ping 15:13:36 --- quit: Raystm2 (Read error: 104 (Connection reset by peer)) 15:14:38 --- join: Raystm2 (n=NanRay@ppp-70-243-216-87.dsl.rcsntx.swbell.net) joined #retro 15:18:37 p0ng 15:25:29 well, retro is ideal for coding primitivs 15:35:20 --- join: Raystm2- (n=NanRay@ppp-70-248-33-165.dsl.rcsntx.swbell.net) joined #retro 15:52:43 --- quit: Raystm2 (Read error: 110 (Connection timed out)) 15:56:34 --- join: Raystm2 (n=NanRay@adsl-69-149-38-56.dsl.rcsntx.swbell.net) joined #retro 15:59:55 --- join: skas_wk (n=skas_wk@202.55.146.182) joined #retro 16:00:51 --- quit: Raystm2- (Read error: 110 (Connection timed out)) 16:26:00 --- quit: Raystm2 (Read error: 104 (Connection reset by peer)) 16:26:08 --- join: Raystm2 (n=NanRay@adsl-69-149-38-56.dsl.rcsntx.swbell.net) joined #retro 16:48:31 --- quit: neceve (Remote closed the connection) 16:59:25 --- quit: tathi ("leaving") 17:19:43 --- quit: virl (Remote closed the connection) 19:51:25 --- join: nighty_ (n=nighty@sushi.rural-networks.com) joined #retro 20:17:15 p 20:51:54 --- quit: nighty_ (Remote closed the connection) 22:31:28 --- quit: crc (Read error: 110 (Connection timed out)) 23:56:12 --- join: Cheery (n=Cheery@a81-197-54-146.elisa-laajakaista.fi) joined #retro 23:59:59 --- log: ended retro/06.12.20