> 1717459237 474524 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=129475&oldid=129474 5* 03Mari 5* (+6387) 10caca > 1717459340 44514 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=129476&oldid=129475 5* 03Mari 5* (+3106) 10I caca > 1717459359 800523 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=129477&oldid=129476 5* 03Mari 5* (+10) 10/* FOOD */ < 1717460644 304845 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 260 seconds < 1717460685 653532 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1717464575 568185 :amby!~ambylastn@31.205.89.228 QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement > 1717479399 578184 PRIVMSG #esolangs :14[[07Backway14]]4 10 02https://esolangs.org/w/index.php?diff=129478&oldid=129440 5* 03Yayimhere 5* (-29) 10 < 1717479669 745867 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1717481746 185462 PRIVMSG #esolangs :14[[07Doors14]]4 10 02https://esolangs.org/w/index.php?diff=129479&oldid=129387 5* 03Salpynx 5* (+302) 10Add example, interpreter link, and cats. Claiming this is a FSM, despite single unbounded register, which isn't usable for *distinguishing* infinite states > 1717482519 992666 PRIVMSG #esolangs :14[[07Talk:Doors14]]4 N10 02https://esolangs.org/w/index.php?oldid=129480 5* 03Salpynx 5* (+2126) 10Computational class > 1717483809 107432 PRIVMSG #esolangs :14[[07Category:Works-in-Progress14]]4 10 02https://esolangs.org/w/index.php?diff=129481&oldid=127896 5* 03Ractangle 5* (+31) 10 > 1717483864 956498 PRIVMSG #esolangs :14[[07Category:Works-in-Progress14]]4 10 02https://esolangs.org/w/index.php?diff=129482&oldid=129481 5* 03Ractangle 5* (+26) 10 > 1717483874 498332 PRIVMSG #esolangs :14[[07Befunge14]]4 10 02https://esolangs.org/w/index.php?diff=129483&oldid=129467 5* 03Timwi 5* (+108) 10/* Related languages */ Ndim > 1717484269 962442 PRIVMSG #esolangs :14[[07Talk:GibMeRol14]]4 N10 02https://esolangs.org/w/index.php?oldid=129484 5* 03Ractangle 5* (+176) 10Created page with "To be honest I also need to get the esolang creator role ~~~~" < 1717484272 512322 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1717484589 971643 PRIVMSG #esolangs :14[[07Uyjhmn--14]]4 10 02https://esolangs.org/w/index.php?diff=129485&oldid=129419 5* 03Ractangle 5* (+9) 10 < 1717488429 803394 :MinekPo1!~minekpo1@89-64-25-87.dynamic.chello.pl JOIN #esolangs * :Lily < 1717489303 583020 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1717493355 545875 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas < 1717493371 97761 :mcfrdy!~mcfrdy@user/mcfrdy QUIT :Quit: quit < 1717493510 305887 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I have an on-topic question. So you know how some languages like C++ have first-class support for multi-argument functions, while in others like Haskell a function takes only one argument, and you need some workaround like currying or a multi-argument type constructor to pass multiple values. < 1717493586 248336 :int-e!~noone@int-e.eu PRIVMSG #esolangs ::t printf < 1717493587 843405 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :PrintfType r => String -> r < 1717493590 603953 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :There are also some languages that have functions that are first-class multi-return (have multiple return values), including scheme, lua, perl, octave. < 1717493624 958461 :int-e!~noone@int-e.eu PRIVMSG #esolangs :> printf "%s %d" "Hello" 42 :: String < 1717493626 615542 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs : "Hello 42" < 1717493660 395179 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :My first question is, are there *typed* languages with multi-return functions? < 1717493748 626709 :int-e!~noone@int-e.eu PRIVMSG #esolangs :GHC's Haskell has unboxed tuples which are in that niche. < 1717493840 795550 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1717494105 494325 :MinekPo1!~minekpo1@89-64-25-87.dynamic.chello.pl PRIVMSG #esolangs :not a statically typed language but pythons returning multiple values also works via tuples < 1717494149 81606 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I think you can do some kind of Curry-Howard correspondence where the logic half uses multi-argument multi-return, as in define a |- provability with multiple clauses on both the left and right, and on the code side you translate it to a functional language with multi-argument multi-return functiion. < 1717494269 199026 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :int-e: hmm, I don't know if that counts or not. isn't it kind of like how C has unboxed structures as arguments to a function, but the ABI makes them so they only exist up to a fixed size like four registers or four words on the stack, and above that the ABI silently passes a copy of the structure by pointer. < 1717494524 782465 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :nope, up to two general-purpose registers or one 128-bit XMM register per argument on x86_64-linux < 1717494550 920494 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :no wait, that's still wrong < 1717494576 952933 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :up to two (general-purpose registers or 64-bit lower part of XMM register) per argument on x86_64-linux < 1717494736 616776 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1717494863 998681 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And Lisp somehow doesn't run into that? < 1717494925 318133 :int-e!~noone@int-e.eu PRIVMSG #esolangs :The point is that when returning an unboxed tuple, GHC avoids packing up those results as a heap object. < 1717494947 529808 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And I think even will pass a couple of them in registers rather than the stack. < 1717494982 734141 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :yeah, in a language like GHC that normally puts every object into the heap that probably counts < 1717495060 481572 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :and you can't just transparently use the unboxed tuple as if it were a single value, but you can forward it in tail call context, right? < 1717495107 598595 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :or maybe you can use it as a single value because the compiler knows how to store unboxed tuples as temporaries or let variables? < 1717495122 264916 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :you just can't use them as a value of a generic type < 1717495277 176189 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm. It looks like the source language allows you to have an unboxed tuple value. I suspect it's split into its components before code is generated. < 1717495484 289460 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :whereas in scheme, lua, octave you can't just store all the return values to a single variable like you'd store one return value, but you can forward multiple return values in a tail call, and in lua you can also transparently pass multiple return values directly to a function as multiple arguments if the multi-return call is the last argument (and < 1717495484 869728 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :in perl you can even concatenate multiple multi-returns into the argument list), but I think in scheme and octave you can't just do that < 1717495594 171909 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :and then there's prolog where any argument can be input or output or neither/both, so you can effectively have multi-return functions, but you can't just forward multiple returns in tail call context without listing them individually or packing them up < 1717495628 875047 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :even though prolog does have tail calls and you can forward input or output arguments individually through them < 1717495697 683637 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I'm asking this because I was thinking of some potential esoteric languages that could be created, and I'm wondering how much multi-return could make sense < 1717495938 661066 :int-e!~noone@int-e.eu PRIVMSG #esolangs :IIRC GHC used to not have unboxed tuple values, and in fact forced you to use `case ... of (# ... #) -> ...` to immediately deconstruct the result. And it wouldn't let you pass them as arguments either. Both these restrictions have been lifted at some point. > 1717497038 224059 PRIVMSG #esolangs :14[[07Turin14]]4 10 02https://esolangs.org/w/index.php?diff=129486&oldid=99229 5* 03Kaveh Yousefi 5* (+290) 10Supplemented a second example involving the hexadecimal output mode. > 1717497087 682714 PRIVMSG #esolangs :14[[07Turin14]]4 10 02https://esolangs.org/w/index.php?diff=129487&oldid=129486 5* 03Kaveh Yousefi 5* (+161) 10Added a hyperlink to my implementation of the Turin programming language on GitHub and changed the category tag Unimplemented to Implemented. > 1717497387 619482 PRIVMSG #esolangs :14[[07User talk:PkmnQ/Quines14]]4 10 02https://esolangs.org/w/index.php?diff=129488&oldid=129430 5* 03Gilbert189 5* (+208) 10 < 1717497924 279379 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :int-e: thank you > 1717499919 903104 PRIVMSG #esolangs :14[[07ACCUMULATOR14]]4 10 02https://esolangs.org/w/index.php?diff=129489&oldid=128754 5* 03UndoneStudios 5* (+34) 10update > 1717499936 740540 PRIVMSG #esolangs :14[[07ACCUMULATOR14]]4 10 02https://esolangs.org/w/index.php?diff=129490&oldid=129489 5* 03UndoneStudios 5* (+2) 10 < 1717500264 112687 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a JOIN #esolangs Thelie :Thelie > 1717500372 922537 PRIVMSG #esolangs :14[[07Talk:Minipy14]]4 N10 02https://esolangs.org/w/index.php?oldid=129491 5* 03None1 5* (+119) 10Created page with "Why not use one character for the functions. --~~~~" > 1717500376 97830 PRIVMSG #esolangs :14[[07Esolang talk:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=129492&oldid=124987 5* 03GUAqwq 5* (+297) 10 < 1717500704 565082 :lisbeths!~user@c-174-164-24-226.hsd1.wa.comcast.net JOIN #esolangs lisbeths :unknown < 1717500764 734821 :lisbeths!~user@c-174-164-24-226.hsd1.wa.comcast.net PRIVMSG #esolangs :have u herd of fastlisp? < 1717504032 617740 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1717504242 746988 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed < 1717504305 91502 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1717504699 952515 PRIVMSG #esolangs :14[[07Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=129493&oldid=129435 5* 03None1 5* (+154) 10/* Commands */ > 1717504744 467052 PRIVMSG #esolangs :14[[07Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=129494&oldid=129493 5* 03None1 5* (-214) 10/* Computational class */ < 1717505674 902064 :MinekPo1!~minekpo1@89-64-25-87.dynamic.chello.pl QUIT :Ping timeout: 268 seconds > 1717506797 484183 PRIVMSG #esolangs :14[[07Turin14]]4 10 02https://esolangs.org/w/index.php?diff=129495&oldid=129487 5* 03Kaveh Yousefi 5* (+873) 10Divided the text into sections and supplemented further information. < 1717506950 371050 :MinekPo1!~minekpo1@89-64-25-87.dynamic.chello.pl JOIN #esolangs * :Lily < 1717507224 767729 :cpressey!~user@33b62f0c.skybroadband.com JOIN #esolangs cpressey :user < 1717507364 116908 :mcfrdy!~mcfrdy@user/mcfrdy JOIN #esolangs mcfrdy :mcfrdy < 1717507566 928303 :cpressey!~user@33b62f0c.skybroadband.com PRIVMSG #esolangs :Turing machine except all the states are numbered and all the state transitions are given by deltas, and transitioning to the new state is modulo total_number_of_states. < 1717507609 792865 :cpressey!~user@33b62f0c.skybroadband.com PRIVMSG #esolangs :This gives you an easy way to concatenate two Turing machines (or their finite control mechanisms anyway). < 1717507674 433766 :cpressey!~user@33b62f0c.skybroadband.com PRIVMSG #esolangs :I should write this in my ideas file instead of just randomly blurting it on this channel. < 1717507723 220519 :cpressey!~user@33b62f0c.skybroadband.com PRIVMSG #esolangs :But it would just languish in the ideas file anyway, because what am I ever going to do with it? < 1717507749 198287 :cpressey!~user@33b62f0c.skybroadband.com PRIVMSG #esolangs :Or, I should dump my ideas file on the wiki. < 1717507765 272202 :cpressey!~user@33b62f0c.skybroadband.com PRIVMSG #esolangs :Where it can languish in public. < 1717507823 198148 :cpressey!~user@33b62f0c.skybroadband.com QUIT :Quit: WeeChat 4.3.0 > 1717509292 305398 PRIVMSG #esolangs :14[[07Isomorphism/More Syntax14]]4 N10 02https://esolangs.org/w/index.php?oldid=129496 5* 03PrySigneToFry 5* (+2291) 10Created page with "Main page: [[Isomorphism]] == foldn(c, h, n) function == We defined the number likes these:
one = succ zero two = succ (succ zero) three = succ (succ (succ zero)) ......In mathematics, we uses n` but not succ n to e > 1717509304 660186 PRIVMSG #esolangs :14[[07Isomorphism14]]4 10 02https://esolangs.org/w/index.php?diff=129497&oldid=129173 5* 03PrySigneToFry 5* (+9) 10 < 1717509306 519887 :recook!~wolflike@91.red-79-156-144.staticip.rima-tde.net JOIN #esolangs * :purple < 1717509318 400269 :recook!~wolflike@91.red-79-156-144.staticip.rima-tde.net PART :#esolangs > 1717509367 212371 PRIVMSG #esolangs :14[[07Isomorphism14]]4 10 02https://esolangs.org/w/index.php?diff=129498&oldid=129497 5* 03PrySigneToFry 5* (+68) 10 > 1717510135 601892 PRIVMSG #esolangs :14[[07BS14]]4 10 02https://esolangs.org/w/index.php?diff=129499&oldid=108007 5* 03Tux1 5* (-22) 10fixed example (whitespace + greek question mark) < 1717510756 336753 :riv!river@tilde.team/user/river JOIN #esolangs river :My real name < 1717511821 155570 :cpressey!~weechat@33b62f0c.skybroadband.com JOIN #esolangs cpressey :weechat < 1717511828 470668 :cpressey!~weechat@33b62f0c.skybroadband.com QUIT :Client Quit < 1717512114 69529 :MinekPo1!~minekpo1@89-64-25-87.dynamic.chello.pl QUIT :Quit: Lost terminal > 1717512263 553485 PRIVMSG #esolangs :14[[07Template:WIPsec14]]4 10 02https://esolangs.org/w/index.php?diff=129500&oldid=129017 5* 03MihaiEso 5* (+1) 10Indented < 1717512320 531830 :cpressey!~weechat@33b62f0c.skybroadband.com JOIN #esolangs cpressey :weechat < 1717512474 712944 :cpressey!~weechat@33b62f0c.skybroadband.com QUIT :Client Quit < 1717512490 110661 :cpressey!~weechat@33b62f0c.skybroadband.com JOIN #esolangs cpressey :weechat < 1717512878 410092 :cpressey!~weechat@33b62f0c.skybroadband.com PRIVMSG #esolangs :https://cs.stackexchange.com/questions/168182/why-is-the-turing-machine-considered-effective-computation-if-its-not-realizabl < 1717513107 508736 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Quit: ZNC 1.8.2+deb3.1 - https://znc.in < 1717513207 585327 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Remote host closed the connection < 1717513846 821860 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1717514883 12847 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1717515156 561987 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas < 1717515185 404914 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`olist 1303 < 1717515187 699143 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :olist