00:00:00 --- log: started forth/15.09.13 00:10:09 --- quit: mnemnion (Ping timeout: 250 seconds) 00:14:34 --- join: mnemnion (~mnemnion@2601:400:8001:14c9:f433:6f05:14c5:eac) joined #forth 01:13:26 --- quit: xyh (Remote host closed the connection) 01:34:24 --- join: xyh (~xyh@183.54.162.78) joined #forth 01:35:40 --- join: impomatic_ (~impomatic@131.182.112.87.dyn.plus.net) joined #forth 01:38:17 --- quit: impomatic (Ping timeout: 246 seconds) 01:38:22 --- nick: impomatic_ -> impomatic 01:41:38 --- join: solrize (~solrize@unaffiliated/solrize) joined #forth 01:42:06 --- part: solrize left #forth 01:58:41 --- quit: xyh (Ping timeout: 244 seconds) 02:19:47 --- join: atommann (~atommann@222.248.243.233) joined #forth 02:42:15 --- quit: Bahman (Quit: Ave atque vale) 03:03:09 --- join: Bahman (~Bahman@188.245.129.118) joined #forth 04:11:04 --- join: xyh (~xyh@183.39.239.152) joined #forth 04:33:11 --- quit: asagk (Ping timeout: 244 seconds) 04:45:38 --- quit: Bahman (Quit: Ave atque vale) 04:46:14 --- join: asagk (~asagk@i59F6AC53.versanet.de) joined #forth 04:47:57 Quozl`: Thank you! 04:59:37 --- quit: xyh (Remote host closed the connection) 05:01:06 --- join: BitPuffin|osx (~isak@199.72.208.46.dyn.plus.net) joined #forth 05:21:55 --- join: kumul (~mool@adsl-64-237-234-207.prtc.net) joined #forth 05:32:16 --- quit: atommann (Ping timeout: 246 seconds) 05:48:35 --- join: xyh (~xyh@183.39.239.152) joined #forth 06:05:46 --- quit: xyh (Remote host closed the connection) 06:10:42 --- join: xyh (~xyh@183.39.239.152) joined #forth 06:30:04 --- join: Zarutian (~zarutian@168-110-22-46.fiber.hringdu.is) joined #forth 06:35:29 --- quit: impomatic (Ping timeout: 256 seconds) 06:42:22 --- join: atommann (~atommann@222.248.243.233) joined #forth 07:23:41 --- quit: xyh (Remote host closed the connection) 07:26:00 --- join: impomatic (~impomatic@131.182.112.87.dyn.plus.net) joined #forth 07:30:48 --- join: mnemnia (~mnemnion@2601:400:8001:14c9:5113:4c53:b183:3a7e) joined #forth 07:34:25 --- quit: mnemnion (Ping timeout: 246 seconds) 07:34:48 --- join: mnemnion (~mnemnion@2601:400:8001:14c9:5113:4c53:b183:3a7e) joined #forth 07:35:49 --- quit: mnemnia (Ping timeout: 246 seconds) 07:37:34 --- quit: proteusguy (Ping timeout: 246 seconds) 07:37:36 --- join: mnemnia (~mnemnion@c-68-40-58-223.hsd1.mi.comcast.net) joined #forth 07:37:39 --- quit: proteusguy_ (Ping timeout: 245 seconds) 07:39:19 --- quit: mnemnion (Ping timeout: 246 seconds) 07:41:33 --- join: mnemnion (~mnemnion@2601:400:8001:14c9:5113:4c53:b183:3a7e) joined #forth 07:42:53 --- quit: mnemnia (Ping timeout: 252 seconds) 07:45:11 --- join: mnemnia (~mnemnion@c-68-40-58-223.hsd1.mi.comcast.net) joined #forth 07:46:08 --- quit: mnemnion (Read error: Connection reset by peer) 07:50:31 --- join: proteusguy_ (~proteusgu@ppp-110-168-230-21.revip5.asianet.co.th) joined #forth 07:50:36 --- join: proteusguy (~proteusgu@ppp-110-168-230-21.revip5.asianet.co.th) joined #forth 07:50:36 --- mode: ChanServ set +v proteusguy 08:04:02 --- join: nighty-_ (~nighty@hokuriku.rural-networks.com) joined #forth 08:09:36 --- join: bedah (~bedah@host-091-097-174-171.ewe-ip-backbone.de) joined #forth 08:21:44 --- join: xyh (~xyh@183.16.2.98) joined #forth 08:34:37 --- join: impomatic_ (~impomatic@212.159.126.45) joined #forth 08:37:22 --- quit: impomatic (Ping timeout: 255 seconds) 08:37:32 --- nick: impomatic_ -> impomatic 08:41:57 --- quit: BitPuffin|osx (Ping timeout: 264 seconds) 08:50:49 --- quit: kumul (Ping timeout: 268 seconds) 09:11:20 --- join: kumul (~mool@adsl-64-237-232-23.prtc.net) joined #forth 09:41:17 --- quit: xyh (Remote host closed the connection) 09:42:01 --- quit: atommann (Quit: Leaving) 09:50:06 --- join: xyh (~xyh@183.16.2.98) joined #forth 10:21:35 --- quit: impomatic (Ping timeout: 256 seconds) 10:46:02 --- join: Mat4 (~claude@ip5b40b95e.dynamic.kabel-deutschland.de) joined #forth 10:46:12 hello 10:49:26 --- quit: darkf (Quit: Leaving) 10:54:23 --- join: impomatic (~impomatic@212.159.126.45) joined #forth 11:18:43 --- join: vsg1990 (~vsg1990@cpe-67-241-148-119.buffalo.res.rr.com) joined #forth 11:32:06 --- quit: nighty-_ (Ping timeout: 250 seconds) 11:32:51 --- join: nighty-_ (~nighty@hokuriku.rural-networks.com) joined #forth 11:45:01 --- quit: xyh (Remote host closed the connection) 11:45:46 --- join: xyh (~xyh@183.16.2.98) joined #forth 12:11:45 --- join: rpcope1 (~rpcope1@c-73-169-98-169.hsd1.co.comcast.net) joined #forth 12:38:03 --- quit: nighty^ (Remote host closed the connection) 12:58:39 --- quit: bedah (Quit: Ex-Chat) 13:03:48 --- join: _0bitcount (~Big_Byte@81.61.34.106.dyn.user.ono.com) joined #forth 13:14:27 --- join: nighty^ (~nighty@www.taiyolabs.com) joined #forth 13:49:20 --- quit: impomatic (Read error: Connection timed out) 13:50:51 --- quit: _0bitcount (Quit: Leaving) 13:51:28 --- join: impomatic (~impomatic@212.159.126.45) joined #forth 14:32:36 --- quit: nighty-_ (Quit: Disappears in a puff of smoke) 14:32:38 --- quit: xyh (Remote host closed the connection) 15:22:48 h'lo Mat4 15:35:18 --- quit: asagk (*.net *.split) 15:35:18 --- quit: rpcope1 (*.net *.split) 15:42:00 --- join: rpcope1 (~rpcope1@c-73-169-98-169.hsd1.co.comcast.net) joined #forth 15:56:25 hi Zarutian 15:58:05 been looking at MUCK Forth (or MUF) and I am thinking that type-tagging datums isnt a bad idea 15:59:35 sorry, what doyou mean as datum ? 16:00:27 stuff like integers, floats, strings, function-handles and such 16:00:42 ah ok 16:01:52 but not abstract data types such as records or other stuff composed from aforesaid kinds of datums 16:04:00 what I have never understood why people that are proponents of static type checking insist on that variables, arguments and returns are typed. 16:05:39 I'm just take a look at the sources of PicoLisp yesterday and found that it uses type-tags for differentiate access modes (which I think is a simple and elegant solution to state andling) 16:06:00 The aforesaid variables, arguments and returns are actually slots that have guards that check if datums put in them are of certain type and can be proven at compile time that they never get assigned anything but datums that fit. 16:06:02 ^handling 16:07:39 * Zarutian really wished such static typed languages had compilers that when aforesaid property cannot be prooven at compile time emitted runtime code to check instead of just complaining. 16:08:27 that is probably a good idea 16:09:33 however some will see this cases as possible type error 16:09:38 (s) 16:10:15 and guards can check more things than just if a datum is or will be of certain type. 16:12:06 I see it as lack of inability of the compiler to check if the guard can be eliminated or not. 16:13:34 * Zarutian sees compilers as special case of interpreters that have been put through the first futamura transformation. 16:13:47 what guards have you in mind if I may ask ? type related format descriptions, assertions, contracts ? 16:14:35 type ranges 16:16:08 something simple as an assertation that variable v never gets assigned an integer outside the range described by (5 < v < 22) 16:17:00 I have yet to see an static type system outside of Haskel or Coq or Ada that does that. 16:17:58 well, Nim support all you mentioned 16:19:29 is Nim as esoteric as Haskel or Coq? 16:20:15 the compiler uses a special effect system for detecting state changes and as such can implement checks which otherwise need to be handled at runtime 16:20:39 neat 16:21:10 ^no, the synatx resembles Pascal and Python in my opinion 16:21:25 it's also not a functional language 16:22:26 (I don't now Coq so can't write anything about it) 16:24:37 --- join: asagk (~asagk@i59F6AC53.versanet.de) joined #forth 16:25:10 my personal preferation are interpreters because interpretations allows access to the whole dynamic program state. That easy optimization in my opinion and is also more ressource effective given both an incremental compiler and the interpreter is somewhat opimized 16:25:27 itself 16:27:38 with this I mean an complex static compiler can be avoided (inclusive there dynmaic memory usage) 16:28:23 because I wan't to use my environment for ressource restricted applications that's important for me 16:28:32 well it is also my preference but I wouldnt say no to an compiler that basically is an partially evaluated intepreter that lacked a program that is usually interpreted and some machinery to further evaluate and produce a 'compiled' program. 16:29:42 sorry, I seem to need some sleep, I mean of yourse that I want to use my own environment for ressource restictet applications 16:30:15 well it is getting late here also. 16:30:31 So I bid you good night and sleep tight. 16:31:19 as well 16:31:20 ciao 16:31:27 --- quit: Mat4 (Quit: Konversation terminated!) 16:32:42 --- join: vsg1990_ (~vsg1990@cpe-67-241-148-119.buffalo.res.rr.com) joined #forth 16:35:41 --- quit: vsg1990 (Ping timeout: 246 seconds) 16:41:32 --- join: vsg1990__ (~vsg1990@cpe-67-241-148-119.buffalo.res.rr.com) joined #forth 16:44:57 --- quit: vsg1990_ (Ping timeout: 264 seconds) 16:49:18 --- quit: Zarutian (Quit: Zarutian) 16:50:07 --- join: vsg1990 (~vsg1990@cpe-67-241-148-119.buffalo.res.rr.com) joined #forth 16:53:27 --- quit: vsg1990__ (Ping timeout: 240 seconds) 19:10:08 --- quit: vsg1990 (Quit: Leaving) 19:25:45 --- quit: impomatic (Ping timeout: 265 seconds) 19:35:37 --- join: gabriel_laddel (~user@unaffiliated/gabriel-laddel/x-9909917) joined #forth 20:05:14 --- quit: karswell (Remote host closed the connection) 20:06:18 --- quit: gabriel_laddel (Remote host closed the connection) 20:34:21 --- join: darkf (~darkf___@unaffiliated/darkf) joined #forth 20:54:14 --- quit: kumul (Quit: Leaving) 21:42:23 --- quit: mnemnia (Remote host closed the connection) 22:12:56 --- join: mnemnion (~mnemnion@2601:400:8001:14c9:5113:4c53:b183:3a7e) joined #forth 22:47:24 --- join: Bahman (~Bahman@188.245.129.118) joined #forth 23:07:30 --- quit: proteusguy (Remote host closed the connection) 23:43:06 --- join: impomatic (~impomatic@212.159.126.45) joined #forth 23:59:59 --- log: ended forth/15.09.13