00:00:00 --- log: started forth/18.05.17 00:00:39 btw, not even Google knows anything about dhall, it's not just me! 00:01:25 found 00:01:51 --- quit: dave0 (Ping timeout: 265 seconds) 00:03:18 :) 00:03:34 dhall is gaining in popularity because it's very useful 00:05:26 --- quit: pierpal (Read error: Connection reset by peer) 00:07:25 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 00:08:48 looking at it now. But why did you start this conversation in #forth ? we will be kicked :) 00:08:57 no we won't 00:09:29 i started this conversation because it's about general programming language design, and there are people here who are very smart about this topic 00:09:32 that's why i asked 00:09:51 --- join: dave0 (~dave@207.213.dsl.syd.iprimus.net.au) joined #forth 00:10:10 it's fine, don't worry, lol 00:10:18 re 00:15:47 --- quit: pierpal (Ping timeout: 256 seconds) 00:20:24 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 00:25:01 --- quit: pierpal (Ping timeout: 260 seconds) 00:26:53 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 01:22:35 --- quit: mnemnion (Remote host closed the connection) 02:02:35 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:f5ef:295a:e79d:688b) joined #forth 02:32:54 --- quit: mnemnion (Ping timeout: 255 seconds) 02:51:27 --- quit: proteusguy (Remote host closed the connection) 03:08:14 --- join: proteusguy (~proteus-g@cm-134-196-84-54.revip18.asianet.co.th) joined #forth 03:08:14 --- mode: ChanServ set +v proteusguy 03:09:27 hey proteusguy 03:09:36 you seen my question from earlier? 04:04:40 --- quit: nighty- (Quit: Disappears in a puff of smoke) 04:30:02 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:45f3:72a2:712f:897b) joined #forth 04:30:30 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 05:01:59 cheater: Check out "total functional programming" https://en.wikipedia.org/wiki/Total_functional_programming 05:02:29 --- quit: mnemnion (Ping timeout: 265 seconds) 05:22:49 --- quit: pierpal (Ping timeout: 240 seconds) 05:52:56 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 05:57:48 --- join: nighty- (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 06:05:50 --- quit: pierpal (Read error: Connection reset by peer) 06:06:16 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 06:15:38 --- quit: pierpal (Quit: Poof) 06:15:56 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 06:27:47 --- quit: pierpal (Read error: Connection reset by peer) 06:28:39 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 06:35:41 pointfree: total functional programming can very well encode Peano arithmetic. 06:35:52 as can some strictly weaker types of languages, too 06:36:00 such as primitively recursive languages 06:58:52 --- quit: mtsd (Quit: Leaving) 06:59:19 --- quit: jlf (Ping timeout: 240 seconds) 07:30:48 --- join: jlf (~jlf@157-131-216-42.dedicated.static.sonic.net) joined #forth 07:30:48 --- quit: jlf (Changing host) 07:30:48 --- join: jlf (~jlf@pdpc/supporter/active/jlf) joined #forth 08:02:52 You just reminded me of the Charity programming language http://pll.cpsc.ucalgary.ca/charity1/www/home.html 08:03:10 cheater: Maybe you could implement a regular language for more general use than sanitizing web forms. A regular language forth -- that would be interesting! 08:13:11 I'm not the only one thinking that Turing completeness should be considered harmful. 08:13:47 isnt PRA often enough for many purposes? 09:01:00 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:f5ef:295a:e79d:688b) joined #forth 09:06:03 --- quit: mnemnion (Ping timeout: 276 seconds) 09:07:40 (Primitive Recursive Algorithms) 09:21:50 primitive recursive can implement peano arithmetics. i don't want that. 09:22:11 i need something less. 09:24:05 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:45f3:72a2:712f:897b) joined #forth 09:32:49 --- quit: pierpal (Ping timeout: 240 seconds) 09:33:30 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 09:34:48 --- quit: mnemnion (Remote host closed the connection) 09:35:21 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:45f3:72a2:712f:897b) joined #forth 09:35:29 cheater: Finite State Machine? 09:36:13 yeah, i wonder if an FSM can express PA 09:36:19 but i'd like something more than an FSM 09:36:32 i wonder if an Applicative can express PA.. 09:37:22 Augmented FSM? (that is just FSM with a timer iirc) 09:37:43 Push Down Automata (add as finite stack to a FSM) 09:41:17 hm.. 09:41:20 interesting 09:41:42 i'd like a language where i can take finite data structures and do things like map and fold 09:41:51 i wonder if this can be done with PDA's 09:44:32 --- quit: pierpal (Quit: Poof) 09:44:59 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 09:47:10 --- quit: pierpal (Read error: Connection reset by peer) 09:56:18 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 11:22:15 --- quit: dys (Ping timeout: 248 seconds) 11:37:20 --- quit: pierpal (Read error: Connection reset by peer) 11:37:36 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 11:39:05 --- join: kumool (~kumool@adsl-64-237-233-163.prtc.net) joined #forth 11:40:52 --- join: dys (~dys@tmo-106-246.customers.d1-online.com) joined #forth 11:46:56 --- quit: pierpal (Read error: Connection reset by peer) 11:49:49 --- quit: dys (Ping timeout: 240 seconds) 11:52:57 --- join: dys (~dys@tmo-109-162.customers.d1-online.com) joined #forth 12:15:00 --- quit: kumool (Ping timeout: 268 seconds) 12:32:06 --- nick: Zarutian_PI -> Zarutian 14:54:46 --- join: kumool (~kumool@adsl-64-237-233-163.prtc.net) joined #forth 15:55:14 --- join: Zarutian_PI (~3.1415@173-133-17-89.fiber.hringdu.is) joined #forth 15:55:16 --- quit: Zarutian (Read error: Connection reset by peer) 15:55:17 --- nick: Zarutian_PI -> Zarutian_TAU 16:18:54 --- quit: nighty- (Quit: Disappears in a puff of smoke) 16:45:43 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 16:59:48 --- quit: pierpal (Read error: Connection timed out) 17:17:27 --- quit: Zarutian_TAU (Ping timeout: 248 seconds) 17:18:33 --- join: Zarutian_PI (~3.1415@173-133-17-89.fiber.hringdu.is) joined #forth 17:25:14 --- join: nighty- (~nighty@kyotolabs.asahinet.com) joined #forth 18:10:12 --- quit: mnemnion (Remote host closed the connection) 18:28:44 --- join: TCZ (~Johnny@ip-91.189.219.171.skyware.pl) joined #forth 18:33:10 --- quit: jlf (Ping timeout: 256 seconds) 18:44:13 --- join: pierpa (57100917@gateway/web/freenode/ip.87.16.9.23) joined #forth 19:21:03 --- quit: epony (Quit: QUIT) 19:28:41 --- join: jlf (~jlf@99-16-97-123.lightspeed.snrsca.sbcglobal.net) joined #forth 19:28:41 --- quit: jlf (Changing host) 19:28:41 --- join: jlf (~jlf@pdpc/supporter/active/jlf) joined #forth 19:34:34 --- quit: TCZ (Quit: Leaving) 19:42:06 --- quit: dddddd (Remote host closed the connection) 20:43:50 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:45f3:72a2:712f:897b) joined #forth 20:55:32 --- join: epony (~nym@79-100-134-61.ip.btc-net.bg) joined #forth 21:21:06 --- quit: pierpa (Quit: Page closed) 21:42:55 hi 21:44:07 --- quit: proteus-guy (Ping timeout: 248 seconds) 21:44:23 --- join: proteus-guy (~proteusgu@14.207.173.102) joined #forth 22:04:27 --- quit: djinni (Quit: Leaving) 22:06:37 --- quit: kumool (Quit: Leaving) 22:16:19 --- join: djinni (~djinni@68.ip-149-56-14.net) joined #forth 22:34:49 --- quit: proteus-guy (Ping timeout: 256 seconds) 22:42:54 --- join: proteus-guy (~proteusgu@180.183.49.148) joined #forth 23:16:38 --- quit: epony (Read error: Connection reset by peer) 23:17:02 --- join: epony (~nym@79-100-134-61.ip.btc-net.bg) joined #forth 23:19:00 --- quit: epony (Read error: Connection reset by peer) 23:19:18 --- join: epony (~nym@79-100-134-61.ip.btc-net.bg) joined #forth 23:42:58 --- quit: proteusguy (Remote host closed the connection) 23:52:43 --- quit: dys (Ping timeout: 240 seconds) 23:59:59 --- log: ended forth/18.05.17