00:00:00 --- log: started forth/16.02.17 00:02:23 --- join: asagk (~asagk@i59F6A374.versanet.de) joined #forth 00:02:28 --- join: ASau (~user@netbsd/developers/asau) joined #forth 00:09:22 --- quit: qih (Remote host closed the connection) 00:13:38 --- quit: dys (Ping timeout: 265 seconds) 00:20:29 --- join: dys (~dys@ip-109-41-238-12.web.vodafone.de) joined #forth 00:38:36 --- quit: ASau (Ping timeout: 276 seconds) 00:38:46 --- quit: Kumool_ (Ping timeout: 265 seconds) 00:39:22 --- join: ASau (~user@netbsd/developers/asau) joined #forth 01:11:06 --- join: probnyj (~user@176.2.98.159) joined #forth 01:11:21 --- quit: probnyj (Remote host closed the connection) 01:17:53 --- quit: sbp (Read error: Connection reset by peer) 01:35:30 --- join: sbp (~sbp@tea.infomesh.net) joined #forth 01:50:38 --- quit: mnemnion (Remote host closed the connection) 01:52:59 --- quit: diginet2 (*.net *.split) 01:52:59 --- quit: ggherdov` (*.net *.split) 01:53:01 --- quit: kulp (*.net *.split) 01:53:03 --- quit: crc (*.net *.split) 01:53:03 --- quit: dzho (*.net *.split) 01:53:11 --- join: dzho (~dzho@unaffiliated/dzho) joined #forth 01:53:18 --- join: diginet2 (~diginet@107.170.146.29) joined #forth 01:54:22 --- join: kulp (kulp@unaffiliated/kulp) joined #forth 02:03:56 --- quit: ASau (*.net *.split) 02:03:57 --- quit: newcup (*.net *.split) 02:04:16 --- join: ASau (~user@netbsd/developers/asau) joined #forth 02:04:24 --- join: ggherdov` (sid11402@gateway/web/irccloud.com/x-rldnyyislfwhkmdl) joined #forth 02:08:32 --- quit: dys (*.net *.split) 02:08:33 --- quit: proteusguy__ (*.net *.split) 02:09:18 --- join: dys (~dys@ip-109-41-238-12.web.vodafone.de) joined #forth 02:09:25 --- join: proteusguy__ (~proteusgu@ppp-110-168-229-190.revip5.asianet.co.th) joined #forth 02:11:23 --- join: crc (sid2647@gateway/web/irccloud.com/x-qnbqwafwfwuvqtvn) joined #forth 02:16:38 --- quit: ASau (Ping timeout: 252 seconds) 02:49:47 --- quit: proteusguy__ (*.net *.split) 02:49:50 --- quit: octo_ (*.net *.split) 02:49:50 --- quit: DKordic (*.net *.split) 02:49:50 --- quit: JohnMarkM (*.net *.split) 02:49:50 --- quit: irsol (*.net *.split) 02:49:50 --- quit: X-Scale (*.net *.split) 02:49:52 --- quit: carc (*.net *.split) 02:50:11 --- join: JohnMarkM (~johnmark@d53-64-14-247.nap.wideopenwest.com) joined #forth 02:50:13 --- join: octo (~octo@159.203.97.79) joined #forth 02:50:45 --- join: proteusguy__ (~proteusgu@ppp-110-168-229-190.revip5.asianet.co.th) joined #forth 02:50:50 --- join: irsol (~irsol@unaffiliated/contempt) joined #forth 02:50:55 --- join: X-Scale (~ARM@2001:0:c38c:c38c:0:ac1a:fad4:ec67) joined #forth 02:50:58 --- nick: X-Scale -> Guest65751 02:52:10 --- join: carc (~carc@unaffiliated/carc) joined #forth 02:53:59 --- join: DKordic (~user@178.220.127.87) joined #forth 02:56:27 --- nick: Guest65751 -> X-Scale 03:04:37 --- quit: carc (*.net *.split) 03:04:37 --- quit: irsol (*.net *.split) 03:04:40 --- quit: cartwright (*.net *.split) 03:04:43 --- quit: Quozl` (*.net *.split) 03:05:21 --- join: irsol (~irsol@unaffiliated/contempt) joined #forth 03:07:05 --- join: cartwright (~chatting@unaffiliated/cantstanya) joined #forth 03:07:11 --- join: carc (~carc@unaffiliated/carc) joined #forth 03:26:22 --- join: newcup (newcup@peruna.fi) joined #forth 03:36:29 --- join: xyh (~chatzilla@111.50.92.76) joined #forth 03:40:17 --- quit: DKordic (*.net *.split) 03:40:18 --- quit: sbp (*.net *.split) 03:40:19 --- quit: Keshl (*.net *.split) 03:40:21 --- quit: malyn (*.net *.split) 03:40:41 --- join: sbp (~sbp@tea.infomesh.net) joined #forth 03:40:57 --- join: Keshl (~Purple@24.115.181.94.res-cmts.gld.ptd.net) joined #forth 03:41:09 --- join: DKordic (~user@178.220.127.87) joined #forth 03:50:44 --- quit: dys (*.net *.split) 03:50:45 --- quit: asagk (*.net *.split) 03:50:46 --- quit: proteusguy (*.net *.split) 03:50:49 --- quit: _longines (*.net *.split) 03:51:12 --- join: proteusguy (~proteusgu@14.207.40.141) joined #forth 03:51:12 --- mode: ChanServ set +v proteusguy 03:51:27 --- join: dys (~dys@ip-109-41-238-12.web.vodafone.de) joined #forth 03:56:09 --- join: true-grue (~true-grue@176.14.216.104) joined #forth 03:57:20 --- join: malyn (~malyn@unaffiliated/malyn) joined #forth 03:59:36 --- quit: sbp (*.net *.split) 03:59:39 --- quit: dzho (*.net *.split) 03:59:45 --- quit: segher (*.net *.split) 03:59:45 --- quit: yunfan (*.net *.split) 03:59:46 --- quit: nitrix (*.net *.split) 03:59:49 --- join: segher (segher@bombadil.infradead.org) joined #forth 03:59:51 --- join: yunfan (~roooot@unaffiliated/yunfan) joined #forth 03:59:52 --- nick: eldre_ -> eldre 04:00:02 --- join: dzho (~dzho@unaffiliated/dzho) joined #forth 04:00:24 --- join: sbp (~sbp@tea.infomesh.net) joined #forth 04:03:41 --- join: Guest76594 (~nitrix@104.236.108.9) joined #forth 04:04:25 --- join: asagk (~asagk@i59F6A374.versanet.de) joined #forth 04:06:08 --- join: _longines (~longines@static.95.25.4.46.clients.your-server.de) joined #forth 04:25:16 --- quit: carc (*.net *.split) 04:25:19 --- quit: crc (*.net *.split) 04:25:20 --- quit: kulp (*.net *.split) 04:25:22 --- quit: bluekelp (*.net *.split) 04:25:22 --- quit: djinni (*.net *.split) 04:25:28 --- quit: C-Keen (*.net *.split) 04:25:30 --- quit: ovf (*.net *.split) 04:25:46 --- join: C-Keen (cckeen@pestilenz.org) joined #forth 04:25:50 --- join: carc (~carc@unaffiliated/carc) joined #forth 04:25:50 --- join: bluekelp (~bluekelp@bluekelp.com) joined #forth 04:26:09 --- join: djinni (~djinni@167.114.152.105) joined #forth 04:26:24 --- join: kulp (kulp@unaffiliated/kulp) joined #forth 04:32:37 --- quit: octo (*.net *.split) 04:32:39 --- quit: ggherdov` (*.net *.split) 04:32:42 --- quit: eldre (*.net *.split) 04:32:43 --- quit: DGASAU (*.net *.split) 04:32:45 --- quit: xyh` (*.net *.split) 04:32:47 --- quit: cp-_ (*.net *.split) 04:32:52 --- join: DGASAU` (~user@lmpc.drb.insel.de) joined #forth 04:33:24 --- join: eldre (~eldre@195.154.75.66) joined #forth 04:33:42 --- join: cp- (~cp@www.taiyolabs.com) joined #forth 04:37:23 --- join: octo (~octo@159.203.97.79) joined #forth 04:41:06 --- nick: DGASAU` -> DGASAU 04:43:54 --- join: ovf (sid19068@gateway/web/irccloud.com/x-yvjaeoooorbwsulk) joined #forth 04:55:05 --- join: ggherdov` (sid11402@gateway/web/irccloud.com/x-krfmxnvknqjfouvq) joined #forth 04:56:18 --- join: crc (sid2647@gateway/web/irccloud.com/x-grxxvxlljqmetfbk) joined #forth 08:01:59 --- quit: xyh (Quit: ChatZilla 0.9.92 [Firefox 44.0.2/20160211213400]) 08:46:11 --- quit: Guest76594 (Changing host) 08:46:11 --- join: Guest76594 (~nitrix@unaffiliated/nitrix) joined #forth 08:46:14 --- nick: Guest76594 -> nitrix 09:11:27 --- join: little_bit (~tomkl@unaffiliated/tomkl) joined #forth 09:34:25 --- quit: ovf (Read error: Connection reset by peer) 09:44:37 --- join: ovf (sid19068@gateway/web/irccloud.com/x-rukkfwxkmiilraws) joined #forth 09:48:42 --- quit: dys (Ping timeout: 248 seconds) 11:11:23 --- join: Kumool (~kumool@adsl-64-237-239-124.prtc.net) joined #forth 11:39:10 --- join: xyh (~chatzilla@111.50.92.76) joined #forth 11:40:25 --- join: Uniju (~frog_styl@cpe-184-153-168-78.mass.res.rr.com) joined #forth 11:42:39 --- join: mnemnion (~mnemnion@c-24-7-65-213.hsd1.ca.comcast.net) joined #forth 11:43:07 --- join: dys (~dys@ip-109-41-238-12.web.vodafone.de) joined #forth 12:27:47 --- quit: xyh (Quit: ChatZilla 0.9.92 [Firefox 44.0.2/20160211213400]) 12:28:53 --- join: xyh (~chatzilla@111.50.92.76) joined #forth 13:02:20 --- join: ASau (~user@netbsd/developers/asau) joined #forth 13:08:01 --- nick: xyh -> earthwarrior-xyh 13:21:44 --- nick: earthwarrior-xyh -> xyh 13:50:10 --- join: Quozl` (~quozl@owl.laptop.org) joined #forth 13:58:39 --- join: mat4 (~Claude@ip5b4112a4.dynamic.kabel-deutschland.de) joined #forth 13:58:43 hello 13:58:45 --- quit: Quozl` (Quit: No Ping reply in 180 seconds.) 13:58:51 --- join: Quozl` (~quozl@owl.laptop.org) joined #forth 14:00:33 hi 14:00:47 I am embeding a joy like lang into js :) 14:00:58 js array as function 14:04:04 --- quit: Kumool (Ping timeout: 276 seconds) 14:09:02 hi xyh 14:15:11 does this mean you compile to Javascript and use the 'eval' function for execution ? 14:22:52 I define a function called 'eva' to eval array 14:23:02 just in js 14:23:09 no compile 14:23:21 I will write some examples later :) 14:24:33 I am wondering now how should I name these combinators 14:24:43 primrec binrec ... 14:25:43 and ifte 14:32:17 for example I can do something like :: 14:32:19 eva [ 14:32:20 [3, dup, dup], [add, add], concat, apply 14:32:22 ] 14:32:56 it is in coffeescript actually 14:34:18 and in other js functions to use argack.pop() to get the value 14:46:17 I don't know Coffescript but think your language build list of functions representing the program 14:46:49 ^lists 14:54:23 yes, in js or coffee array can be used as list 14:54:45 which is bad, but nevermind ~ 14:59:51 --- join: qih (~qh@122.58.11.125) joined #forth 15:00:03 ... seem to work :D 15:20:24 --- quit: ASau (Remote host closed the connection) 15:20:39 --- join: ASau (~user@netbsd/developers/asau) joined #forth 15:22:29 --- join: Kumool (~kumool@adsl-64-237-239-124.prtc.net) joined #forth 15:45:40 --- quit: true-grue (Read error: Connection reset by peer) 16:00:56 --- quit: mat4 (Quit: Leaving) 16:03:27 --- join: bb010g (uid21050@gateway/web/irccloud.com/x-xfqagodtdjvlysfb) joined #forth 17:11:39 xyh: looks like miniforth introed by some lua example 17:12:00 :) 17:12:03 yes 17:12:19 yunfan: do you know joy ? 17:12:44 joy is about recursive combinators :: http://www.kevinalbrecht.com/code/joy-mirror/joy.html 17:13:41 I will add (1) local variables (2) pattern match [on array only] 17:13:43 to my joy like lang 17:15:25 actually it is just an interpreter of js array 17:24:42 --- quit: Kumool (Ping timeout: 248 seconds) 18:14:10 --- join: Kumool (~kumool@adsl-64-237-237-60.prtc.net) joined #forth 18:28:23 --- quit: dys (Ping timeout: 265 seconds) 18:34:54 --- join: dys (~dys@ip-109-41-238-12.web.vodafone.de) joined #forth 18:57:12 --- quit: JohnMarkM (Quit: Leaving) 19:09:08 --- quit: bb010g (Quit: Connection closed for inactivity) 19:15:01 --- quit: little_bit (Ping timeout: 268 seconds) 19:44:33 --- join: bb010g (uid21050@gateway/web/irccloud.com/x-gyhidyhkoiumtpzg) joined #forth 20:00:28 --- join: cp-- (~cp@202.224.50.1) joined #forth 20:49:43 --- quit: Kumool (Read error: Connection reset by peer) 21:12:51 --- quit: nisstyre (Changing host) 21:12:51 --- join: nisstyre (~yourstrul@oftn/member/Nisstyre) joined #forth 21:22:58 --- quit: karswell` (Remote host closed the connection) 23:48:56 --- quit: asagk (Ping timeout: 240 seconds) 23:59:59 --- log: ended forth/16.02.17