01:28:22 -!- joast has quit (Ping timeout: 245 seconds). 02:18:08 -!- adu has joined. 03:06:10 -!- xkapastel has quit (Quit: Connection closed for inactivity). 04:09:21 -!- Sgeo_ has joined. 04:13:12 -!- Sgeo__ has quit (Ping timeout: 268 seconds). 04:43:55 -!- Sgeo__ has joined. 04:46:49 -!- Sgeo_ has quit (Ping timeout: 246 seconds). 04:50:28 -!- FreeFull has quit. 05:03:31 [[Keg]] https://esolangs.org/w/index.php?diff=65471&oldid=65455 * A * (+36) /* Extended command glossary */ Invented shorter name 05:35:57 -!- GeekDude has quit (Ping timeout: 258 seconds). 05:46:25 -!- GeekDude has joined. 06:06:03 -!- moei has joined. 08:18:48 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 08:20:16 -!- Lord_of_Life has joined. 08:32:25 -!- john_metcalf has joined. 09:43:56 -!- AnotherTest has joined. 11:38:04 -!- AnotherTest has quit (Ping timeout: 246 seconds). 13:29:36 -!- atriq has joined. 13:30:34 -!- Taneb has quit (Read error: Connection reset by peer). 13:35:04 -!- atriq has changed nick to Taneb. 13:39:58 -!- joast has joined. 13:44:45 [[Hello++++]] https://esolangs.org/w/index.php?diff=65472&oldid=56982 * Gamer * (+32) 13:45:04 [[Hello++++]] M https://esolangs.org/w/index.php?diff=65473&oldid=65472 * Gamer * (+2) /* Interpreters */ 14:18:56 -!- Sgeo__ has quit (Read error: Connection reset by peer). 14:19:24 -!- Sgeo__ has joined. 14:33:50 -!- xkapastel has joined. 14:54:22 -!- Sgeo_ has joined. 14:54:53 -!- cpressey has joined. 14:55:36 Good afternoon. 14:55:51 I've made another esolang. 14:55:52 Hello, cpressey 14:55:57 What is your new esolang. 14:56:01 *? 14:56:02 https://gist.github.com/cpressey/2e0cc1b07b716a7793ba2d674fa8bee9 14:56:12 It's a second-order concatenative language. 14:56:40 It's probably not Turing-complete. 14:57:34 -!- Sgeo__ has quit (Ping timeout: 246 seconds). 15:03:14 cpressey: so the type is ([Int] -> [Int]) -> ([Int] -> [Int])? 15:03:29 * int-e is trying to get the gist without reading the whole thing 15:04:31 int-e: That's correct (unbounded Int to be clear) 15:05:25 > let i = (.) (1:); s = (.) (\(a:b:ss) -> (a-b):ss) in (s . s . i) id [] 15:05:27 *Exception: :3:28-48: Non-exhaustive patterns in lambda 15:05:30 > let i = (.) (1:); s = (.) (\(a:b:ss) -> (a-b):ss) in (s . i . i) id [] 15:05:33 [0] 15:05:50 (that'd be "iis") 15:14:12 -!- wob_jonas has joined. 15:15:31 > (maxBound :: Int) 15:15:33 9223372036854775807 15:16:17 cpressey: is this a release or merely an escape? 15:16:27 cpressey: so... http://paste.debian.net/1095634/ ? 15:18:33 cpressey: I don't understand. why wouldn't second order functions be enough for turing-completeness? you can just have second order functions that implement a while loop. 15:19:47 oh, you want the second order to be a concatenative language too 15:21:04 cpressey: same code, a few more type signatures: http://paste.debian.net/1095635/ 15:21:26 cpressey: could you perhaps translate Blindfolded Arithmetic into such a thing? each ordinary instruction of Blindfolded arithmetic is a plain function that treats a fixed-size top part of the stack as the register file, and you need a single second order function to turn the whole thing into a loop 15:21:36 you'd have to change the exit condition, but that isn't much of a problem 15:22:37 oh I missed the pop operation. 15:23:35 int-e: Your code looks not dissimilar to mine 15:23:58 and I got the while wrong. Hmm. 15:24:36 wob_jonas: The last few paragraphs try to talk about why even that is difficult (how do you select the instruction, if all you have are strictly-singly-nested loops?) 15:24:41 and note that you don't even need the hard part of Blindfolded arithmetic, because you can just have built-in conditinoal functions 15:25:04 cpressey: so here's another version: http://paste.debian.net/1095636/ 15:25:10 cpressey: that's the part that doesn't matter here, because you can have value conditional (not code conditional) instructions built into your language as primitives 15:26:22 basically you translate an ordinary program to an explicit instruction pointer and a big loop that blindly loops around all instructions of the original program, but only stores the results of those instructions if the program counter points to that particular instruction 15:26:26 cpressey: funny how much clearer that makes the language to my brain :P 15:26:50 cpressey: (of course the point isn't so much the code itself as the exercise of writing it) 15:26:56 when the program counter points to somewhere else, you compute the result and ignore it. it's inefficient, but works. 15:28:43 Built-in conditionals might work, but seem a bit like cheating. 15:28:52 Alas, I must be off. A la prochaine. 15:28:54 -!- cpressey has quit (Quit: WeeChat 1.4). 15:29:32 well, if you don't want built-in conditionals, then you have to look at how you can program Blindfolded arithmetic. 15:33:00 -!- wob_jonas has quit (Remote host closed the connection). 16:22:17 -!- john_metcalf has quit (Quit: john_metcalf). 16:39:06 -!- b_jonas has joined. 17:03:15 -!- FreeFull has joined. 17:48:41 [[Special:Log/newusers]] create * Redwolf10105 * New user account 17:50:44 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=65474&oldid=65418 * Redwolf10105 * (+161) /* Introductions */ 18:36:34 [[Bootstrapping]] N https://esolangs.org/w/index.php?oldid=65475 * Lucas * (+23) Redirecting to [[Bootstrap]] 18:40:36 [[Bootstrap]] https://esolangs.org/w/index.php?diff=65476&oldid=61778 * Lucas * (+66) Link to [[Wikipedia:C (programming language)|C at Wikipedia]] 18:46:09 -!- user24 has joined. 18:46:43 -!- user24 has quit (Remote host closed the connection). 18:49:50 [[Fusion Tag]] M https://esolangs.org/w/index.php?diff=65477&oldid=57100 * Lucas * (+4) Link to [[bootstrap]] 18:50:12 [[MUMON]] M https://esolangs.org/w/index.php?diff=65478&oldid=12083 * Lucas * (+4) Link to [[bootstrap]] 18:52:02 [[Pipe]] N https://esolangs.org/w/index.php?oldid=65479 * Redwolf10105 * (+5141) Created page with "Pipe is a language designed by Programming Puzzles and Code-Golf user RedwolfPrograms. Nonnegative integers can be stored either in a stack or in a value known as the pipe. Pu..." 19:03:20 -!- xkapastel has quit (Quit: Connection closed for inactivity). 19:20:05 @tell cpressey http://paste.debian.net/1095661/ has an example of a tag system in Wagon. (This generalizes to arbitrary tag systems.) It uses two nested loops. It may be possible to get away with a single loop, actually. 19:20:05 Consider it noted. 19:35:41 [[Special:Log/newusers]] create * CrispyPin * New user account 19:38:48 -!- AnotherTest has joined. 19:42:24 -!- lldd_ has joined. 19:43:22 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=65480&oldid=65474 * CrispyPin * (+293) 20:08:07 `smlist 20:08:10 smlist: shachaf monqy elliott mnoqy Cale 20:18:17 yay 20:18:47 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 20:22:15 -!- xkapastel has joined. 20:23:34 -!- Lord_of_Life has joined. 20:52:59 -!- lldd_ has quit (Quit: Leaving). 20:54:32 -!- AnotherTest has quit (Ping timeout: 272 seconds). 22:08:46 -!- b_jonas has quit (Ping timeout: 246 seconds). 22:10:05 -!- b_jonas has joined. 22:42:42 @tell cpressey One more update for Wagon, now with an actual translation from tag systems and more comments: http://paste.debian.net/1095671/ 22:42:42 Consider it noted. 23:04:38 -!- moei has quit (Quit: Leaving...).