00:00:00 --- log: started forth/15.08.10 00:00:57 --- join: nighty^ (~nighty@hokuriku.rural-networks.com) joined #forth 00:20:59 --- quit: Mat4 (Quit: Verlassend) 00:26:33 --- quit: impomatic (Quit: ChatZilla 0.9.91.1 [Firefox 39.0.3/20150806001005]) 00:57:02 normin+ 01:14:29 --- quit: karswell (Read error: Connection reset by peer) 01:15:43 --- join: karswell (~user@226.177.199.146.dyn.plus.net) joined #forth 01:16:28 hi karswell 02:04:42 --- join: xyh (~xyh@183.61.22.7) joined #forth 02:10:17 --- quit: xyh (Ping timeout: 256 seconds) 02:46:40 --- join: xyh (~xyh@183.61.22.7) joined #forth 02:48:00 --- quit: xyh (Remote host closed the connection) 03:04:41 --- quit: atommann (Quit: Leaving) 03:05:51 --- quit: zhiayang (Quit: bye.) 03:06:37 --- quit: karswell (Read error: Connection reset by peer) 03:07:51 --- join: karswell (~user@226.177.199.146.dyn.plus.net) joined #forth 03:43:32 --- quit: ionthas (Remote host closed the connection) 03:53:59 --- join: zhiayang (~zhiayang@bb219-74-68-213.singnet.com.sg) joined #forth 04:47:04 --- quit: nighty^ (Ping timeout: 246 seconds) 05:00:14 --- join: nighty^ (~nighty@hokuriku.rural-networks.com) joined #forth 05:00:26 + 05:00:48 --- join: vsg1990 (~vsg1990@cpe-67-241-148-119.buffalo.res.rr.com) joined #forth 06:00:39 --- join: xyh (~xyh@183.61.22.7) joined #forth 06:09:53 --- quit: xyh (Ping timeout: 244 seconds) 06:46:04 --- join: Mat4 (~claude@ip5b40b95e.dynamic.kabel-deutschland.de) joined #forth 06:46:45 hello 06:49:23 hi 06:55:43 hi Quiznos 06:56:05 hi 06:57:45 --- join: kumul (~mool@adsl-72-50-84-145.prtc.net) joined #forth 06:58:42 after some constructive discussion I've decded to implement hashed dictionaries 07:00:38 top o hn https://bitbucket.org/qx89l4/nf/src (sorry if someone already posted this) 07:02:01 --- join: xyh (~xyh@59.38.97.151) joined #forth 07:02:16 more important for me: I've developed a dynamic tagging concept as alternative to a type systems after reading publications of Damas–Hindley–Milner 07:03:13 it allows detecting subrange relations between different or compatible data formats and is complete in the sense that explicit type declarations are not needed 07:03:43 hi kumul, interesting link, thanks for sharing 07:03:58 sorry a type system 07:04:05 well, not top o hn, but found in it 07:04:36 alright :) 07:11:45 kumul: I think that even my old stack-based language is more impressive than this nf :) 07:14:14 I found it interesting that he seem to use his language for building an operating system (in an interactive way) 07:14:43 let's see how far it evolve 07:15:46 Ah, I see now. It even has GUI! 07:16:32 But the OS code is in C, isn't? https://bitbucket.org/qx89l4/os64/src 07:20:41 yes, what I mean is that these language is used in a classical Forth way as shell and programming environment on top of a small kernel as far as I see 07:21:21 (somewhat similar to the gForth as linux kernel-module project) 07:21:50 So Forth here is in the role of system shell... again. Maybe this nf is not so ugly as Ficl is, but still not very impressive :) 07:24:43 well, if Ficl is the standard than chances are high that it is a better solution 07:25:10 (I mean the standard of comparison) 07:26:57 let's see 07:50:51 --- quit: karswell (Ping timeout: 256 seconds) 08:07:22 ficl seems to be a little easy to crash i find 08:09:18 to some extent this is inevitable in a forth, though at least stack underflows should be preventable. this is where my project of using memory tokens instead of addresses, type-tagging, etc was looking to improve 08:15:25 what are your experiences with type tags ? 08:15:29 hi IRIXuser 08:18:32 by the way, I know one Forth (minForth) which is (or was) able to detect all kind of runtime errors at the cost of performance of course 08:19:01 afternoon Mat4. it works well enough for me; of course, it requires some trickery for e.g. memory address arithmetic 08:25:38 I solved such issues though dynamic tagging of data formats used instead of assigning static types to data. This allows detecting arithmetic and logic errors or bad programming practice (which is done at parsing) at cost of some overhead for data analysis 08:26:27 oh, not my day it seams. I mean of course that the data analysis is done at edit time 08:26:31 ^seems 08:31:12 memory address arithmetic is bound checked in my environment and because there exist no way to access non tagged memory (and as it is a pure functional programming-language there exist also no variable state beside controlled side effects) 08:31:57 this is not a problem 08:32:52 however, dynamic data analysis is way more complex than type checking 08:37:37 the advantage is that type conversions are not needed and the programmer don't have to handle types at all (code which CAN either result to unintended, suboptimal or fault results will simply not compile) 08:38:59 --- quit: kumul (Quit: Leaving) 08:45:01 --- quit: xyh (Ping timeout: 255 seconds) 08:58:39 --- quit: protist (Ping timeout: 250 seconds) 09:01:41 --- quit: zhiayang (Read error: Connection reset by peer) 09:09:24 --- quit: darkf (Quit: Leaving) 09:24:41 --- quit: proteusguy (Ping timeout: 244 seconds) 09:37:27 --- join: proteusguy (~proteusgu@ppp-110-168-230-107.revip5.asianet.co.th) joined #forth 09:37:27 --- mode: ChanServ set +v proteusguy 09:46:57 --- join: xyh (~xyh@59.38.97.151) joined #forth 10:07:24 --- quit: Mat4 (Quit: Verlassend) 10:26:08 --- quit: xyh (Remote host closed the connection) 11:07:56 --- join: fantazo (~fantazo@089144212105.atnat0021.highway.a1.net) joined #forth 11:35:02 --- join: bedah (~bedah@dyndsl-031-150-095-226.ewe-ip-backbone.de) joined #forth 12:04:01 --- quit: fantazo (Quit: Verlassend) 12:32:07 --- join: _spt_ (~jaat@host-92-24-238-88.ppp.as43234.net) joined #forth 12:32:08 --- quit: _spt_ (Changing host) 12:32:08 --- join: _spt_ (~jaat@unaffiliated/-spt-/x-5624824) joined #forth 12:40:57 --- join: kumul (~mool@adsl-72-50-86-81.prtc.net) joined #forth 12:55:42 <_spt_> evening all 12:56:15 hi 12:57:17 * _spt_ is using windows 10 .. 12:57:25 ew 12:57:47 <_spt_> how to a get an extra plane in the file manager.. 12:57:59 duno 12:58:09 --- quit: vsg1990 (Quit: What's a Quit message?) 13:08:37 --- quit: nighty^ (Quit: Disappears in a puff of smoke) 13:11:02 today on hackerne.ws : https://bitbucket.org/qx89l4/nf/src 13:26:57 --- quit: carc (Quit: QUIT) 13:27:52 --- join: carc (~carc@unaffiliated/carc) joined #forth 13:54:18 --- quit: bedah (Quit: Ex-Chat) 13:58:05 --- quit: kumul (Read error: Connection reset by peer) 13:59:32 --- quit: defanor (Ping timeout: 245 seconds) 14:07:14 --- join: defanor (~defanor@cupcake.uberspace.net) joined #forth 14:14:40 --- join: dys (~dys@ip-109-41-158-143.web.vodafone.de) joined #forth 14:18:37 --- quit: proteusguy (Ping timeout: 265 seconds) 14:31:48 --- join: proteusguy (~proteusgu@ppp-110-168-229-32.revip5.asianet.co.th) joined #forth 14:31:48 --- mode: ChanServ set +v proteusguy 14:32:15 --- quit: proteusguy (Remote host closed the connection) 14:32:48 --- join: proteusguy (~proteusgu@ppp-110-168-229-32.revip5.asianet.co.th) joined #forth 14:32:48 --- mode: ChanServ set +v proteusguy 14:50:11 --- join: vsg1990 (~vsg1990@cpe-67-241-148-119.buffalo.res.rr.com) joined #forth 15:05:09 --- quit: FireFly (Ping timeout: 244 seconds) 15:11:47 --- join: FireFly (~firefly@firefly.xen.prgmr.com) joined #forth 15:23:39 --- quit: true-grue (Read error: Connection reset by peer) 15:47:58 --- join: kumul (~mool@adsl-72-50-85-9.prtc.net) joined #forth 15:58:25 --- join: karswell (~user@226.177.199.146.dyn.plus.net) joined #forth 16:38:28 --- join: saml_ (~saml@cpe-24-102-97-97.nyc.res.rr.com) joined #forth 17:03:37 --- quit: vsg1990 (Ping timeout: 255 seconds) 17:04:14 --- join: vsg1990 (~vsg1990@cpe-67-241-148-119.buffalo.res.rr.com) joined #forth 17:16:07 --- quit: _spt_ (Ping timeout: 240 seconds) 17:33:38 --- quit: saml_ (Remote host closed the connection) 18:39:39 --- quit: vsg1990 (Quit: Leaving) 19:17:42 --- join: atommann (~atommann@58.251.2.94) joined #forth 19:42:51 --- join: darkf (~darkf___@unaffiliated/darkf) joined #forth 20:05:57 --- join: protist (~javery@63.239.69.111.dynamic.snap.net.nz) joined #forth 22:56:56 --- quit: kumul (Quit: Leaving) 23:16:35 --- join: Shark8 (~Thunderbi@75-161-98-101.albq.qwest.net) joined #forth 23:49:00 --- quit: dys (Ping timeout: 260 seconds) 23:56:43 --- join: dys (~dys@ip-109-41-166-220.web.vodafone.de) joined #forth 23:59:59 --- log: ended forth/15.08.10