< 1565659702 214247 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com QUIT :Ping timeout: 245 seconds < 1565662688 631982 :adu!~ajr@pool-173-73-86-191.washdc.fios.verizon.net JOIN :#esoteric < 1565665570 224310 :xkapastel!uid17782@gateway/web/irccloud.com/x-lnkoguuypbpkfmnl QUIT :Quit: Connection closed for inactivity < 1565669361 238100 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1565669592 677342 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1565671435 73072 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1565671609 202449 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1565671828 221976 :FreeFull!~freefull@defocus/sausage-lover QUIT : > 1565672611 820700 PRIVMSG #esoteric :14[[07Keg14]]4 10 02https://esolangs.org/w/index.php?diff=65471&oldid=65455 5* 03A 5* (+36) 10/* Extended command glossary */ Invented shorter name < 1565674557 854105 :GeekDude!~G33kDude@unaffiliated/g33kdude QUIT :Ping timeout: 258 seconds < 1565675185 823862 :GeekDude!~G33kDude@unaffiliated/g33kdude JOIN :#esoteric < 1565676363 763265 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1565684328 675646 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1565684416 204930 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1565685145 295720 :john_metcalf!~digital_w@host86-173-73-232.range86-173.btcentralplus.com JOIN :#esoteric < 1565689436 193708 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric < 1565696284 193239 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 246 seconds < 1565702976 208262 :atriq!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1565703034 686641 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 QUIT :Read error: Connection reset by peer < 1565703304 836730 :atriq!~Taneb@runciman.hacksoc.org NICK :Taneb < 1565703598 865344 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric > 1565703885 662561 PRIVMSG #esoteric :14[[07Hello++++14]]4 10 02https://esolangs.org/w/index.php?diff=65472&oldid=56982 5* 03Gamer 5* (+32) 10 > 1565703904 465481 PRIVMSG #esoteric :14[[07Hello++++14]]4 M10 02https://esolangs.org/w/index.php?diff=65473&oldid=65472 5* 03Gamer 5* (+2) 10/* Interpreters */ < 1565705936 938640 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1565705964 236566 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1565706830 913852 :xkapastel!uid17782@gateway/web/irccloud.com/x-xacjqvmqbssnrdij JOIN :#esoteric < 1565708062 118657 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1565708093 932891 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1565708136 577157 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Good afternoon. < 1565708151 197092 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I've made another esolang. < 1565708152 841420 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hello, cpressey < 1565708157 901700 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What is your new esolang. < 1565708161 431535 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :*? < 1565708162 53714 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :https://gist.github.com/cpressey/2e0cc1b07b716a7793ba2d674fa8bee9 < 1565708172 949548 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :It's a second-order concatenative language. < 1565708200 213261 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :It's probably not Turing-complete. < 1565708254 201773 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1565708594 938189 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: so the type is ([Int] -> [Int]) -> ([Int] -> [Int])? < 1565708609 786860 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION is trying to get the gist without reading the whole thing
< 1565708671 412717 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: That's correct (unbounded Int to be clear) < 1565708725 382354 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> let i = (.) (1:); s = (.) (\(a:b:ss) -> (a-b):ss) in (s . s . i) id [] < 1565708727 874524 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *Exception: :3:28-48: Non-exhaustive patterns in lambda < 1565708730 942497 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> let i = (.) (1:); s = (.) (\(a:b:ss) -> (a-b):ss) in (s . i . i) id [] < 1565708733 663844 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [0] < 1565708750 97156 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(that'd be "iis") < 1565709252 637988 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1565709331 383472 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :> (maxBound :: Int) < 1565709333 730997 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 9223372036854775807 < 1565709377 637108 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: is this a release or merely an escape? < 1565709387 868383 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: so... http://paste.debian.net/1095634/ ? < 1565709513 32851 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :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. < 1565709587 398117 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh, you want the second order to be a concatenative language too < 1565709664 794960 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: same code, a few more type signatures: http://paste.debian.net/1095635/ < 1565709686 473384 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :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 < 1565709696 308996 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you'd have to change the exit condition, but that isn't much of a problem < 1565709757 970084 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oh I missed the pop operation. < 1565709815 925087 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: Your code looks not dissimilar to mine < 1565709838 226104 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and I got the while wrong. Hmm. < 1565709876 631931 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :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?) < 1565709881 369652 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and note that you don't even need the hard part of Blindfolded arithmetic, because you can just have built-in conditinoal functions < 1565709904 747538 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: so here's another version: http://paste.debian.net/1095636/ < 1565709910 252576 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :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 < 1565709982 252657 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :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 < 1565709986 271195 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: funny how much clearer that makes the language to my brain :P < 1565710010 181033 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: (of course the point isn't so much the code itself as the exercise of writing it) < 1565710016 211896 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :when the program counter points to somewhere else, you compute the result and ignore it. it's inefficient, but works. < 1565710123 529373 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Built-in conditionals might work, but seem a bit like cheating. < 1565710132 980148 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Alas, I must be off. A la prochaine. < 1565710134 187504 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: WeeChat 1.4 < 1565710172 579015 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :well, if you don't want built-in conditionals, then you have to look at how you can program Blindfolded arithmetic. < 1565710380 972697 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1565713337 531885 :john_metcalf!~digital_w@host86-173-73-232.range86-173.btcentralplus.com QUIT :Quit: john_metcalf < 1565714346 204926 :b_jonas!~x@catv-176-63-24-4.catv.broadband.hu JOIN :#esoteric < 1565715795 658326 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric > 1565718521 658407 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Redwolf10105 5* 10New user account > 1565718644 19383 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=65474&oldid=65418 5* 03Redwolf10105 5* (+161) 10/* Introductions */ > 1565721394 685002 PRIVMSG #esoteric :14[[07Bootstrapping14]]4 N10 02https://esolangs.org/w/index.php?oldid=65475 5* 03Lucas 5* (+23) 10Redirecting to [[Bootstrap]] > 1565721636 639090 PRIVMSG #esoteric :14[[07Bootstrap14]]4 10 02https://esolangs.org/w/index.php?diff=65476&oldid=61778 5* 03Lucas 5* (+66) 10Link to [[Wikipedia:C (programming language)|C at Wikipedia]] < 1565721969 583907 :user24!~user24@p4FCA30BF.dip0.t-ipconnect.de JOIN :#esoteric < 1565722003 783192 :user24!~user24@p4FCA30BF.dip0.t-ipconnect.de QUIT :Remote host closed the connection > 1565722190 933645 PRIVMSG #esoteric :14[[07Fusion Tag14]]4 M10 02https://esolangs.org/w/index.php?diff=65477&oldid=57100 5* 03Lucas 5* (+4) 10Link to [[bootstrap]] > 1565722212 875967 PRIVMSG #esoteric :14[[07MUMON14]]4 M10 02https://esolangs.org/w/index.php?diff=65478&oldid=12083 5* 03Lucas 5* (+4) 10Link to [[bootstrap]] > 1565722322 995567 PRIVMSG #esoteric :14[[07Pipe14]]4 N10 02https://esolangs.org/w/index.php?oldid=65479 5* 03Redwolf10105 5* (+5141) 10Created 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..." < 1565723000 891517 :xkapastel!uid17782@gateway/web/irccloud.com/x-xacjqvmqbssnrdij QUIT :Quit: Connection closed for inactivity < 1565724005 409848 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@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. < 1565724005 545963 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. > 1565724941 509133 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03CrispyPin 5* 10New user account < 1565725128 519398 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric < 1565725344 243690 :lldd_!~atrapado@unaffiliated/atrapado JOIN :#esoteric > 1565725402 200563 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=65480&oldid=65474 5* 03CrispyPin 5* (+293) 10 < 1565726887 976962 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :`smlist < 1565726890 723121 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :smlist: shachaf monqy elliott mnoqy Cale < 1565727497 993639 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yay < 1565727527 187004 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1565727735 646734 :xkapastel!uid17782@gateway/web/irccloud.com/x-njksjacxabdrgdna JOIN :#esoteric < 1565727814 843866 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1565729579 840585 :lldd_!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1565729672 526065 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 272 seconds < 1565734126 193223 :b_jonas!~x@catv-176-63-24-4.catv.broadband.hu QUIT :Ping timeout: 246 seconds < 1565734205 655275 :b_jonas!~x@catv-176-63-24-4.catv.broadband.hu JOIN :#esoteric < 1565736162 755371 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@tell cpressey One more update for Wagon, now with an actual translation from tag systems and more comments: http://paste.debian.net/1095671/ < 1565736162 918938 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1565737478 597952 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving...