< 1598745614 123429 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :which inner [] bind by reference < 1598745615 269778 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I can always pass the vector -say- to itself as a field? < 1598745624 87136 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yes < 1598745636 335517 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but the vector isn't part of th DAG < 1598745639 634636 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :it's separat < 1598745652 678767 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :you just have a reference to vector that is a primitive type like a number < 1598745653 936278 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah. Hmm. < 1598745664 84063 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that's what lisp does < 1598745688 803896 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and python and ruby etc > 1598745707 602442 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 M10 02https://esolangs.org/w/index.php?diff=77106&oldid=77105 5* 03SoundOfScripting 5* (+468) 10/* Language specifications */ < 1598745715 68696 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :All those languages allow cycles. Only early Lisp rewrote DAGs. < 1598745730 747627 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I don't think even early lisps did < 1598745744 568728 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah, sure. The first one did. I read the report. > 1598745745 379187 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 M10 02https://esolangs.org/w/index.php?diff=77107&oldid=77106 5* 03SoundOfScripting 5* (-1) 10 < 1598745808 762146 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I think all serious lisps have set-car and set-cdr, even the oldest ones (possibly with a different name), but these days we want programs to not use it anywhere, so that conses are known to be globally immutable and the interpreter can optimize using that < 1598745835 732719 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and yes, some toy lisps might not have it, like my toy lisp for example < 1598745853 849700 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Nono. The actual first Lisp was reference counted. < 1598745873 178513 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :By -whatshisname- McArthy. In the report. < 1598745875 275334 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yes < 1598745886 804050 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that doesn't stop this < 1598745921 286010 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :you can just end up in uncollectable cycles if your program is not careful < 1598745955 906956 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but you can free a cycle either by breaking it, or using some newer data structure that allows weak referencing < 1598745991 26528 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right. My hope was that just being pure would cut it. But it's all way to slow. If it wasn't as slow as it is now, I wouldn't add vectors. < 1598746008 805086 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and it's John McCarthy (1927..2011) < 1598746018 372474 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah right. < 1598746023 178444 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :McCarthy. < 1598746057 577046 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :if you don't want mutability, you can consider lazy promises that you have to explicitly evaluae too < 1598746073 967131 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that solves a few of the problems, though not most < 1598746098 833583 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but if you want to keep immutability completely, you can also do that < 1598746107 839334 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I would like to avoid mutability but it doesn't seem worth it. < 1598746130 323911 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1598746140 829528 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :In the sense that, I should give programmers mutable fast containers where they can't use lists. < 1598746151 176443 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But that's assuming 'programmers'. < 1598746153 944911 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Tall order. < 1598746155 72695 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I think it's worth in a non-toy language, but this is a toy language < 1598746181 674977 :Arcorann__!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1598746187 799236 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. But sometimes I flip opinion and hope it could be something like a bash or python. < 1598746190 670743 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :sorry, that's conflicting < 1598746198 154671 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :And then I think: nah. < 1598746202 702721 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I think it's worth *to adds mutable structures* in a non-toy language, but this is a toy language < 1598746212 472950 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :And then I flip opinion again. > 1598746224 862615 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 M10 02https://esolangs.org/w/index.php?diff=77108&oldid=77107 5* 03SoundOfScripting 5* (+341) 10/* Language specifications */ More instructions :) < 1598746304 174760 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I admit that olvashato doesn't have mutability, because I didn't want them for the programs I wrote, but you could add them in a library < 1598746319 76844 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :it's a bit messy because of the prolog side, but possible < 1598746346 117143 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Today I wanted to compare my abysmal performance to Python. < 1598746363 439064 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :my toy lisp does have mutability < 1598746368 667547 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Which gave an out of stack after going 900 deep into recursion. < 1598746381 97393 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :heh < 1598746383 438913 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :So then I thought: maybe there's a use case after all. < 1598746394 173330 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :And now I think: nah. < 1598746417 277881 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric : ¯\_(ツ)_/¯ < 1598746428 947790 :Heavpoot!5284dbd3@82-132-219-211.dab.02.net PRIVMSG #esoteric :what if esolang where computations have to be done with constantly changing operator precedence, and said operators modify precedence? < 1598747264 480670 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I could add explicitly managed vectors. Where you indirectly reference a vector pool with an index. And you're responsible for managing memory. < 1598747325 312615 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But if you're managing memory already you might as well make sure that your vector doesn't contain cycles. < 1598747351 378638 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah well. Gonna hack on the double semicolon, I think. > 1598747395 400473 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 M10 02https://esolangs.org/w/index.php?diff=77109&oldid=77108 5* 03SoundOfScripting 5* (+78) 10 > 1598747407 240384 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 10 02https://esolangs.org/w/index.php?diff=77110&oldid=77109 5* 03IFcoltransG 5* (+9) 10/* Language specifications */ Commented out unnecessary section > 1598747541 980037 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 M10 02https://esolangs.org/w/index.php?diff=77111&oldid=77110 5* 03SoundOfScripting 5* (+3) 10 < 1598747602 310652 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: by "explicitly managed", do you mean that the user has to free them explicitly, they're not refcounted or tracked by the refcounter or garbage collector that handles your DAG nodes? < 1598747627 228037 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :to be clear, all that mutability stuff is less important than what I mentioned earlier < 1598747651 603503 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right. You reference a vector indirectly in a pool. That way you break the cycle. But the cost for that is also that you would need to free it. < 1598747675 420813 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :hmm, that would be much more inconvenient < 1598747692 51911 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I was thinking it would at least be refcounted < 1598747712 341215 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. Doesn't seem worth it. < 1598747731 742289 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh. < 1598747735 973346 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Wait. < 1598747756 479062 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I could free it if the reference is destroyed? < 1598747762 112445 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :What voodoo is this? < 1598747772 798058 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that is the voodoo of recounting < 1598747796 958394 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I mean don't you already have something like that for the DAG nodes? < 1598747843 303148 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Uh. I abuse C++'s native refcounting. < 1598747916 339191 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :C++'s "native refcounting"? what do you mean? do you mean std::shared_ptr, which is a reference-counted smart pointer type? < 1598747922 459614 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. < 1598747929 912926 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :why is that an abuse? < 1598747941 44144 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :you can use that for the vectors too < 1598747975 756484 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Uh, yes and no. < 1598748005 795191 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I need a form of indirection over a vector pool. But that's all yes. < 1598748040 221665 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I don't see why it's an abuse, and I'm not sure in what sense it counts as "native", but then that's because I remember the past when that wasn't in the standard library yet, and also I know it's implemented as a pure library feature < 1598748062 244594 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :um... vector pool? < 1598748108 673675 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :what why? < 1598748124 660938 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Well. The thing is that in the 'graph' you construct you don't want cycles. But if a 'vector' object only stores an index into a global vector pool, you can't create cycles. < 1598748169 195811 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :sure you can, if it's reference-counted both ways, as in the vector keeps alive the dag node it points to and the dag node keeps alive the vector it points to, then it can form cycles < 1598748176 286858 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :it doesn't matter if you allocate them from a pool or not < 1598748203 903051 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Damn. < 1598748215 219336 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right. < 1598748229 359632 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :No vector pool than but unsafeness. < 1598748240 821542 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :why? what's unsafe in this? < 1598748242 832574 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Thanks for that. For a moment I thought I found a way out. < 1598748268 851624 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :make it reference-counted both ways, and document that it's only reference counted so if you leave a cycle it won't be collected and that that's the user's responsibility < 1598748272 283831 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :The unsafe part is that I would allow the programmer to form cycles in what should be a DAG. < 1598748292 212845 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right. We agree. < 1598748364 904326 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but it's not a cycle that will bother the pattern matcher or the pretty-printer or anything, because the pattern matcher doesn't go arbitrarily deep through vectors because there's no such pattern, and you can just make the pretty-printer either not print the contents of vectors at all, only a reference, like it doesn't print the content of a function now, or make it track which vector it met and not < 1598748370 902510 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :print repeated vectors < 1598748385 69148 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :so I don't see why the cycles are a problem < 1598748429 965873 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :unless this is like your PhD thesis and you have "DAG" prominently in the plan you submitted and now you have to resubmit the plan and wait for permission from a committee to be allowed to write non-DAGs < 1598748432 457817 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I think I fully agree with you. < 1598748461 575971 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Nono. If I would be doing a PhD I would already been kicked out for not having a type system. > 1598748549 545149 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 10 02https://esolangs.org/w/index.php?diff=77112&oldid=77111 5* 03IFcoltransG 5* (+875) 10/* Language specifications */ Add oculi for converting between bits and bytes < 1598748592 607713 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :well, technically there's another case when you don't want this: if you want to make a sandbox version of egel to run untrusted code by multiple users (like a javascript interpreter in an old browser that runs everything in one procesS), and want to be able to free every object created by a user by just freeing a few top-level references, in which case you need either a garbage collector, or allocate < 1598748598 634116 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :everything into arenas, different users never share an arena, and free each arena owned by a user when you're done with them < 1598748610 26140 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but you would need a lot of other changes too if you wanted that < 1598748653 295906 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Life is never easy. < 1598748694 401669 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I already regret compiling to bytecode. And I also regret having a global pool for recursive structures. < 1598748713 825776 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Life would be so much nicer without those two. < 1598748730 434848 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: ah yes, that's when you make an incompatible egel2 < 1598748745 582143 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :where you keep the ideas you like and redesigne and rewrite everything > 1598748816 362251 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 10 02https://esolangs.org/w/index.php?diff=77113&oldid=77112 5* 03IFcoltransG 5* (+291) 10Clarified Tokigun's half cell movements < 1598748824 189722 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Hmyah. I'll end up with a toy of a toy. < 1598748829 384875 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :A noble cause! < 1598748867 422982 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Anyway, you got me fired up. I am hacking on the double semicolon now. < 1598748877 796451 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :nice < 1598749186 731214 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Isn't a double semicolon just one whole colon? < 1598749237 131594 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :fizzie: no, because English sucks < 1598749248 651378 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but good point < 1598749331 958186 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: also, if you do a major rewrite where you keep some code and rewrite some of it, you will need to learn branching in version control > 1598749577 713341 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 10 02https://esolangs.org/w/index.php?diff=77114&oldid=77113 5* 03IFcoltransG 5* (+273) 10/* Language specifications */ Added equality check command < 1598750342 695767 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I have not used branched version control so far, but that would probably be one case where it could be used. < 1598750632 287976 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598750654 505605 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: using System;; 1+1;; 2+2 < 1598750654 630879 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :2 < 1598750654 734057 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :4 < 1598751022 326141 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: using String;; strlen "hello" < 1598751022 326201 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :5 < 1598751066 305360 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Well, that takes care of that. < 1598751172 84865 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1598751524 573393 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: getenv "EGEL_PS0" < 1598751561 923579 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: getenv "PATH" < 1598751561 923630 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"/home/marco/.local/bin:/home/marco/bin:/usr/share/Modules/bin:/usr/local/bin:/usr/local/sbin:/usr/bin:/usr/sbin" < 1598751591 322534 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Weird path. < 1598751598 146721 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah well. < 1598751892 933042 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: nice, that was quick < 1598751916 57838 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah, it was painless. < 1598752062 524034 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 3+3 < 1598752062 668812 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :6 < 1598752074 32255 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: getenv "HOME" < 1598752074 156872 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"/home/marco" < 1598752080 915233 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: getenv "DISPLAY" < 1598752080 915283 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :":0" < 1598752089 501370 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Hey! < 1598752089 644705 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: getenv "LANG" < 1598752089 752458 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"en_US.UTF-8" < 1598752098 52147 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: getenv "LC_ALL" < 1598752125 687385 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: {getenv "USER", getenv "TERM", getenv "LC_ALL"} < 1598752125 813709 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:cons "marco" (System:cons "xterm-256color" (System:cons System:nop System:nil))) < 1598752176 868266 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (getenv "_",) < 1598752176 993435 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:14:syntactical:primary expression expected < 1598752183 563457 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: tuple (getenv "_") < 1598752183 688985 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:tuple "./egel-bot") < 1598752243 832756 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: using Math;; sin 1.0 < 1598752243 832832 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :0.8414709848078965 < 1598752315 291374 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; let bar = [X -> 2];; foo;; bar foo < 1598752315 291461 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:31:syntactical:in expected < 1598752322 854489 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :def < 1598752330 391887 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; var bar = [X -> 2];; foo;; bar foo < 1598752330 517573 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:21:syntactical:= unexpected < 1598752336 898131 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; def bar = [X -> 2];; foo;; bar foo < 1598752337 24019 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :foo < 1598752337 24076 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :2 < 1598752357 201176 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; def bar = [X -> 2];; bar foo;; quux < 1598752357 201246 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :2 < 1598752357 201262 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:44:semantical:undeclared quux < 1598752372 699435 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; def bar = [X -> 2];; quux;; bar < 1598752372 844583 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:34:semantical:undeclared quux < 1598752381 637383 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: bar < 1598752381 765410 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :bar < 1598752384 448673 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: bar foo < 1598752384 574192 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :2 < 1598752393 403098 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :right < 1598752429 341898 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: val id = [ X -> X ];; val one = 1;; id one < 1598752429 471359 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :1 < 1598752440 168733 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Okay, that works too. < 1598752468 750514 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; def foo0 = foo;; data foo;; def isfoo = [foo -> true | _ -> false];; (foo0, foo, isfoo foo0, isfoo foo) < 1598752468 750586 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:tuple foo foo System:true System:true) < 1598752476 201528 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :hmm < 1598752484 849074 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; def foo0 = foo;; < 1598752484 849142 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:30:syntactical:primary expression expected < 1598752489 520645 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; def foo0 = foo;; 1 < 1598752489 520697 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :1 < 1598752504 401730 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; 2 < 1598752504 527009 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :2 < 1598752510 862754 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def isfoo = [foo -> true | _ -> false];; (foo0, foo, isfoo foo0, isfoo foo) < 1598752511 8531 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:tuple foo foo System:true System:true) < 1598752514 916623 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :still true < 1598752526 755311 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def foo = 5; data foo;; 2 < 1598752526 881306 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:15:syntactical:primary expression expected < 1598752531 740157 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def foo = 5;; data foo;; 2 < 1598752531 740206 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :2 < 1598752534 681734 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def isfoo = [foo -> true | _ -> false];; (foo0, foo, isfoo foo0, isfoo foo) < 1598752534 681779 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:tuple foo foo System:true System:true) < 1598752538 996303 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def foo = 5;; < 1598752538 996355 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:16:syntactical:primary expression expected < 1598752542 645049 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def foo = 5;; foo < 1598752542 645120 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :5 < 1598752545 76493 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def isfoo = [foo -> true | _ -> false];; (foo0, foo, isfoo foo0, isfoo foo) < 1598752545 76539 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:tuple 5 5 System:false System:false) < 1598752548 666619 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :what < 1598752572 965455 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :foo = 5 < 1598752578 521518 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yes < 1598752598 923343 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :So isfoo reduces to false. < 1598752600 99122 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but I thought foo0 still has the binding to the old foo, which is a different foo even if its name is the same < 1598752608 858029 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :No. < 1598752631 509638 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh well < 1598752636 742217 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :One global table for definitions you can interactively modify. < 1598752650 481838 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and anything lowercase refers to that? < 1598752651 359524 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok < 1598752665 664249 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I mean they're resolved late, even when they're already in a definition? < 1598752673 910199 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def isfoo = [foo -> true | _ -> false];; < 1598752673 910252 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:43:syntactical:primary expression expected < 1598752676 475609 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. < 1598752680 508839 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo < 1598752687 741305 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def isfoo = [foo -> true | _ -> false] < 1598752691 11822 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: isfoo < 1598752691 11872 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :isfoo < 1598752696 576492 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def Isfoo = [foo -> true | _ -> false] < 1598752696 710694 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:syntactical:combinator or operator expected < 1598752710 624978 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo < 1598752714 351556 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: isfoo foo < 1598752714 351607 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1598752734 454526 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :so isfoo has a definition that refers to foo by name and dynamically resolves it < 1598752737 499315 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok < 1598752749 590735 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Combinators lowercase, variables uppercase. It was the only thing which I thought made sense in an untyped environment. < 1598752787 902127 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yeah, it's like prolog I guess < 1598752796 480076 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :The problem is [ x -> x ], I need/want to know whether x is a variable of combinator. < 1598752805 987564 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :except for, you know, the implicit unevaluated function thing < 1598752816 419751 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah, Prolog chose the solution. < 1598752846 941663 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Well, Prolog is another operational model. This is just a broken down FP. < 1598752869 842245 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :this is not the syntax I like too much, but it works and is consistent < 1598752869 975989 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*the same solution. < 1598752920 911139 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. But `[x -> x]` right? In a typed environment you can check whether it binds correctly to a combinator or otherwise should bind to a variable. < 1598753009 454362 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I would suggest no case difference, in a pattern if a name stands alone rather than as the head of an application then it's a freshly bound variable, there's some way to disambiguate it to a constructor (with an empty parenthesis when you use parenthesis function calls, or with a namespace prefix), and a few important nullary constructors (eg. true, false, just, unit) are keywords < 1598753017 929195 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Making the distinction up front means you can visually see the difference, and simplifies the interpreter (which otherwise would need heuristics). < 1598753049 819410 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but it might not work well in egel because application doesn't use parens, so you can't use an empty paren < 1598753061 829137 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :No. But Egel is untyped. You can have a variable in the head. < 1598753084 759912 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: [ (X Y Z) -> Z Y X ] {1} < 1598753084 904676 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:nil 1 System:cons) < 1598753124 429485 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :And for orthogonality I want to keep that. < 1598753137 772396 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and constructors are not namespaced under enum typenames, so you don't have a convenient namespace syntax that you can use to name any constructor already < 1598753152 123224 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: yeah, egel does that unevaluated thing, so this wouldn't work < 1598753233 507757 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :No. It's weird stemming from Haskell/OCaml but if you see Egel as an LC+constants it's the only thing which makes sense. < 1598753242 422907 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(lambda calculus) > 1598753254 205108 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=77115&oldid=76891 5* 03Hakerh400 5* (+24) 10 > 1598753323 769353 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=77116&oldid=77115 5* 03Hakerh400 5* (-20) 10 < 1598753384 992904 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right, in an untyped LC+constants `1 2` is a term and you want to be able to pattern match on that. < 1598753429 380387 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: no, only if you allow unevaluted applications < 1598753445 942387 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I don't see that? < 1598753448 729352 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :normally `1 2` would try to call the function `1` which is an error because it's not a function < 1598753471 232437 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but in spruit you allow any application and they just default to unevaluated < 1598753476 570192 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's normally allowed by the grammar... < 1598753485 435732 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :it's not the grammar < 1598753505 783686 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :you could write (1 2) in the code, and it wouldn't even give an error until you try to evaluate it < 1598753508 531895 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :T := V | C | T T | \V. T < 1598753525 767957 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but if you want to pattern match to something, then it has to try to evaluate it, fully in an eager language, or to top level constructor in a lazy language < 1598753528 668926 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :like haskell < 1598753542 270924 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Okay. Then I just difer on what I consider an untyped LC+constants. < 1598753548 803191 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yeah < 1598753549 304463 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*differ > 1598753855 750292 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03R123124 5* 10New user account < 1598753864 487083 :Heavpoot!5284dbd3@82-132-219-211.dab.02.net QUIT :Remote host closed the connection > 1598754066 206104 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=77117&oldid=76916 5* 03R123124 5* (+108) 10/* Introductions */ > 1598758350 805834 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03RocketRace 5* 10uploaded "[[02File:Linear transformation latex.gif10]]" > 1598758458 832820 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 10 02https://esolangs.org/w/index.php?diff=77119&oldid=77114 5* 03RocketRace 5* (+321) 10\ < 1598758599 735125 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric > 1598758621 558169 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 M10 02https://esolangs.org/w/index.php?diff=77120&oldid=77119 5* 03RocketRace 5* (+26) 10/* Language specifications */ > 1598759506 684517 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 M10 02https://esolangs.org/w/index.php?diff=77121&oldid=77120 5* 03RocketRace 5* (+222) 10 > 1598759557 243472 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 M10 02https://esolangs.org/w/index.php?diff=77122&oldid=77121 5* 03RocketRace 5* (+12) 10/* Language specifications */ > 1598759853 810610 PRIVMSG #esoteric :14[[07Babalang14]]4 10 02https://esolangs.org/w/index.php?diff=77123&oldid=76378 5* 03RocketRace 5* (+0) 10Remove from 2020 category and put into 2019 category > 1598759880 633916 PRIVMSG #esoteric :14[[07Babalang14]]4 M10 02https://esolangs.org/w/index.php?diff=77124&oldid=77123 5* 03RocketRace 5* (+0) 10Undo revision 77123 by [[Special:Contributions/RocketRace|RocketRace]] ([[User talk:RocketRace|talk]]) > 1598760406 406717 PRIVMSG #esoteric :14[[07Consequential14]]4 10 02https://esolangs.org/w/index.php?diff=77125&oldid=74207 5* 03TheCoderPro 5* (+5) 10/* Instructions */ < 1598761445 34435 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1598761482 334305 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric > 1598762709 246011 PRIVMSG #esoteric :14[[07,,,14]]4 10 02https://esolangs.org/w/index.php?diff=77126&oldid=77071 5* 03TwilightSparkle 5* (+27) 10/* Syntax */ < 1598762761 690676 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds < 1598762809 340558 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1598762891 917836 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric < 1598763346 100421 :Matthias29!183ed2b4@c-24-62-210-180.hsd1.nh.comcast.net JOIN :#esoteric < 1598763360 958336 :Matthias29!183ed2b4@c-24-62-210-180.hsd1.nh.comcast.net PRIVMSG #esoteric :hey < 1598763397 62043 :Matthias29!183ed2b4@c-24-62-210-180.hsd1.nh.comcast.net PRIVMSG #esoteric :I'm writing the first implementations of .5d5dbfwmttwmtt and then compiling using .5dbfwmtt < 1598763717 304212 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :man, it takes a lot of hackery to write a reasonably fast interpreter. < 1598763861 326699 :Frater_EST!~adrianbib@172.242.0.73 PART :#esoteric < 1598767526 49653 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Ping timeout: 240 seconds < 1598767762 625228 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1598771084 783658 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1598774474 814056 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1598775012 991400 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric > 1598775020 917935 PRIVMSG #esoteric :14[[07,,,14]]4 M10 02https://esolangs.org/w/index.php?diff=77127&oldid=77126 5* 03SunnyMoon 5* (-22) 10Grammar fix! < 1598775143 819814 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds > 1598775338 816657 PRIVMSG #esoteric :14[[07,,,14]]4 M10 02https://esolangs.org/w/index.php?diff=77128&oldid=77127 5* 03SunnyMoon 5* (-1) 10Oh, the one is not needed. > 1598775622 824705 PRIVMSG #esoteric :14[[07,,,14]]4 M10 02https://esolangs.org/w/index.php?diff=77129&oldid=77128 5* 03SunnyMoon 5* (-10) 10There is hence twice on a sentence. < 1598777369 636201 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1598777576 44485 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1598780759 42408 :Matthias29!183ed2b4@c-24-62-210-180.hsd1.nh.comcast.net QUIT :Remote host closed the connection < 1598781958 800639 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit! < 1598781991 974007 :FraterEST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1598782023 96971 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric < 1598782061 495686 :FraterEST!adrianbibl@172.242.0.73 QUIT :Read error: Connection reset by peer < 1598782178 953095 :clog!~nef@bespin.org QUIT :Ping timeout: 260 seconds < 1598782320 687279 :glowcoil!sid3405@gateway/web/irccloud.com/x-fyvfdbrycpraeptr QUIT :Ping timeout: 244 seconds < 1598782351 583687 :^[_!sid43445@gateway/web/irccloud.com/x-ryhptfjhruxocndj QUIT :Ping timeout: 244 seconds < 1598782373 931778 :dnm!sid401311@gateway/web/irccloud.com/x-cpmpjjwutfkmyahj QUIT :Read error: Connection reset by peer < 1598782433 479181 :dnm!sid401311@gateway/web/irccloud.com/x-fwimylcdjiagfxof JOIN :#esoteric < 1598782435 107239 :^[_!sid43445@gateway/web/irccloud.com/x-uqfdrhmdjrcekkxs JOIN :#esoteric < 1598782963 23719 :haavard!root@haavard.me QUIT :Ping timeout: 260 seconds < 1598783167 725975 :haavard!root@haavard.me JOIN :#esoteric < 1598784281 932940 :glowcoil!sid3405@gateway/web/irccloud.com/x-mapctrqoltxczouc JOIN :#esoteric < 1598785376 965974 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Remote host closed the connection < 1598785430 24888 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1598785632 581451 :glowcoil!sid3405@gateway/web/irccloud.com/x-mapctrqoltxczouc QUIT :Ping timeout: 244 seconds < 1598785722 271111 :glowcoil!sid3405@gateway/web/irccloud.com/x-qfxpmzqxisjfxfeo JOIN :#esoteric < 1598787021 404963 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1;; raise "oops";; 2 < 1598787021 549079 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :1 < 1598787021 549114 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:6:semantical:undeclared raise < 1598787038 413883 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def raisepls = raise "oops" < 1598787038 413943 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:17:semantical:undeclared raise < 1598787048 404644 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def raisepls = (raise "oops") < 1598787048 529772 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:18:semantical:undeclared raise < 1598787056 28025 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def raisepls = (0; raise "oops"; 0) < 1598787056 137177 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:21:semantical:undeclared raise < 1598787059 414014 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :hmm < 1598787075 784016 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (print 3; raise "oops"; print 4) < 1598787075 909072 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:3:semantical:undeclared print < 1598788434 588802 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :throw < 1598788452 849460 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: (print 3; throw "oops"; print 4) < 1598788453 95653 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:3:semantical:undeclared print < 1598788468 893056 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: (say 3; throw "oops"; say 4) < 1598788468 893132 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598788469 394698 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :4 < 1598788469 925358 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception(System:nop) < 1598788476 738680 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: Io.print "hello, world" < 1598788476 863392 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared Io < 1598788495 462329 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :IO prints to stdout and isn't included in the bot. < 1598788516 754091 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :The bot uses say. I guess I could change that? < 1598788532 869735 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ah < 1598788537 917042 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: say "hello, world" < 1598788538 41806 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :hello, world < 1598788548 117596 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :wasn't there a declaration to load any module though? < 1598788577 768596 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. If you know the path on my system you can make the bot print to my stdout. < 1598788586 625583 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (say "hello, world"; raise "oops"; say "hello, world") < 1598788586 749462 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:23:semantical:undeclared raise < 1598788598 264751 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :import "path_local/io.ego" < 1598788611 802696 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (env "PWD", env "_") /* those paths? it might be able to guess. */ < 1598788611 928079 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:37:syntactical:? unexpected < 1598788621 709664 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (getenv "PWD", getenv "_") /* those paths? it might be able to guess. */ < 1598788621 833373 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:43:syntactical:? unexpected < 1598788624 770401 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :hmm < 1598788631 342461 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Use # for comments < 1598788653 9760 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I had C style syntax but I changed. Made it all much better. < 1598788672 996527 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (getenv "PWD", getenv "HOME", getenv "_") < 1598788672 996577 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:tuple "/home/marco/Programming/egel-bot/src" "/home/marco" "./egel-bot") < 1598788674 566117 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Also #!/usr/bin/env egel now works for scripting. < 1598788677 30907 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :right, so those < 1598788682 990637 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yay! < 1598788695 559845 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :does that include mixing declarations and expressions? < 1598788718 423038 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [_ -> say "hello, world"; raise "oops"; say "hello, world"] 0 < 1598788718 423093 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:28:semantical:undeclared raise < 1598788722 322476 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :what... still? < 1598788725 267411 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :throw < 1598788729 409331 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh < 1598788730 331705 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: throw 1 < 1598788730 331745 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception(1) < 1598788742 753546 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 3; throw 4; 5 < 1598788742 881160 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception(5) < 1598788751 731685 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (13; throw 14; 15) < 1598788751 855783 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception(15) < 1598788752 524751 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oops. < 1598788762 295019 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :You found a bug! < 1598788766 657446 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 3;; throw 4;; 5 < 1598788766 791560 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598788766 791607 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception(4) < 1598788766 791621 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :5 < 1598788772 819895 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that's not a bug, it's just creative precedence < 1598788790 932776 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :it interprets that as throw(4;5) < 1598788798 167153 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 3; (throw 4); 5 < 1598788798 167199 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception(4) < 1598788804 680569 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh. Right. Phew. < 1598788811 885778 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: ((say 3); (throw 4); (say 5)) < 1598788811 885828 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598788812 386662 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception(4) < 1598788816 653269 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :see < 1598788829 188181 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :So I guess I should take a look at the syntax. < 1598788831 627283 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def raisepls: throw "oops" < 1598788831 730372 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:14:syntactical:= expected < 1598788848 60463 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egel had strange precedence already when I last looked < 1598788849 540055 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :IIRC < 1598788856 295242 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Moving say to print makes sense. There's no reason it should be say in the bot. < 1598788877 239276 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: you may want both print and println though < 1598788881 530081 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :for convenience < 1598788892 909844 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah, the operator table doesn't allow for equal precedencies. < 1598788901 447859 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But that's for way later. < 1598788923 559471 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :For now, I'll change say to print and do your pretty printing hack. < 1598788924 686612 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def raisepls = (throw "oops") < 1598788940 810816 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: ((say 3); raisepls; (say 5)) < 1598788940 935949 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598788941 449133 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("oops") < 1598788961 431320 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Raisepls = (throw "Oops") in ((say 3); Raisepls; (say 5)) < 1598788961 555995 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("Oops") < 1598788982 190284 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def saypls = "please" < 1598788989 466251 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: def raise = [ X -> throw X ] < 1598788995 526567 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: raise 6 < 1598788995 650991 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception(6) < 1598789011 500166 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (say 3; 4) + (saypls; 5) < 1598789011 500249 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598789011 925245 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :9 < 1598789021 948863 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def saypls = say "please" < 1598789025 697160 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (say 3; 4) + (saypls; 6) < 1598789025 697210 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :please < 1598789026 218675 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598789026 719680 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :10 < 1598789030 501840 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :hmm < 1598789034 459064 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :creative evaluation order too < 1598789051 199134 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I know raise is popular in academia but I rather stick to the now more popular throw. < 1598789062 624549 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah, it's left to right. < 1598789064 292713 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :throw is fine, I just programmed too much python < 1598789071 999065 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Uh, right to left. < 1598789128 347994 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's a bit weird but also more orthogonal I feel. `f x y` goes from right to left. < 1598789167 844332 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :anyway, this means you can put just one word instead of two in the [ ... | _ _ -> raisebadargs] trailer in function definitions < 1598789213 639261 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :well, the evaluation order is noticable only when you use impure functions like say, and there are ways to force it in that case, so it doesn't matter too much < 1598789230 475079 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (say 3; say 4) < 1598789230 600519 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598789231 101720 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :4 < 1598789243 427257 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I was thinking on throwing exceptions now on everything, including unevaluated combinators. But I still think I'll leave it up to the programmer. < 1598789278 255136 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :There has to be some weirdity! < 1598789280 442056 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok. not great for your bot that doesn't tolerate infinite loops, but doesn't matter as much for HackEso which will just time out in like a minute < 1598789333 40671 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :(it's not really a minute, but something on that order of magnitude, don't depend on the exact timeout value) < 1598789354 558742 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Great. I'll hack on pretty printing today, I think. < 1598789380 140352 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Does the build script work for you? < 1598789459 344740 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :And install script? < 1598789478 489728 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I guess I should add a 'local' option to install once. < 1598789709 143929 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598789711 445003 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: dunno, I think I wrote a simple custom install script for HackEso, because that was simpler than modifying your install script, but I used the Makefile with some arguments to set pathnames < 1598789758 137399 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598789760 468279 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but basically I just had to invoke a make target for each library and one for the interpreter, then copy files and install a wrapper script < 1598789799 197633 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: print 5 < 1598789799 322956 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :5 < 1598789803 774352 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: agitprop < 1598789803 774399 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :visit https://egel-lang.github.io/ < 1598789838 286161 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :HackEso has somewhat unusual filesystem hierarchy for legacy reasons, so I needed custom paths anyway < 1598789914 943920 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It would be nicer if people could get just a local install by running `install local`, right? < 1598789933 73546 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :admittedly those legacy reasons include my changes... < 1598789961 378706 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: sure, that's basically what I'm doing, but you need to be able to specify make parameters for the paths, like six of them < 1598789968 680462 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1598789972 373849 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :make that eight < 1598789980 355377 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I suck? < 1598789985 898264 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1598789986 20173 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :What did I do now? < 1598790019 55116 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I'll check that. At least running build should do what it's supposed to do. < 1598790044 856837 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: quine0 < 1598790044 856911 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: print(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: print(List:foldr(+)","(List:map[K->List:nth K{","}] {3,1,1,4,1,0,0,1,2,1,0,1,1,2,1,2,1,2,1,3,1,2,1,4,1,2,1,5,1,5}))"}] {3,1,1,4,1,0,0,1,2,1,0,1,1,2,1,2,1,2,1,3,1,2,1,4,1,2,1,5,1,5})) < 1598790075 137869 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :one for where the executable goes, one for where the shared libraries go, one for where the scripts go, a prefix that you can set to /usr/local or /usr/local/egel-1.4 or /usr or ~/local can set defaults all three of those previous ones, and a shadow copy of all four of these for when you want the path to differ between installation time and runtime (though you may not need to know the runtime bin) < 1598790099 744929 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :like I said, your install.sh might work, but it was simpler for me to just copy files than to figure out how to use install.sh < 1598790105 723059 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and the Makefile just worked < 1598790118 380757 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :What if I dump everything in '~/egel/'? < 1598790128 912528 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: that's what you have the prefix for < 1598790139 187019 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Hmm. That seems a bad idea. < 1598790141 979463 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :you can set the prefix to ~/egel/ if you want to, but for HackEso we want a different path < 1598790149 24292 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah. Okay. < 1598790152 811961 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :because ~/egel/ is not a useful location to install to < 1598790170 339994 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :nor would I want to install egel to ~/egel/ on my machine, because I control the filesystem hierarchy under my ~ < 1598790188 269016 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Okay, not going to change that. < 1598790191 813955 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :(and the distribution defaults together with me control the filesystem hierarchy everywhere in general) < 1598790205 785804 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` echo $HOME # actually, what's ~? < 1598790206 788049 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/tmp < 1598790208 324284 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and of course all this is for non-windows < 1598790225 384507 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Maybe I'll once add `install.sh local path-to-install-dir`. < 1598790234 202558 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But first the pretty printing. < 1598790235 511575 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: the wiki explains some of the filesystem hierarchy of HackEso < 1598790261 720183 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. But you're to particular for me to adapt the build script to. < 1598790267 287398 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*too < 1598790279 141127 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :you don't have to adapt them, I can just set the paths and write the wrapper < 1598790291 961195 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I mean, you don't have to do anything really, I could have done all that I was just lazy < 1598790297 192533 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right. I'll think about that. < 1598790309 208201 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Pretty printing is higher on the list now. < 1598790310 770929 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but it's easier if you add make variables < 1598790313 127448 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :for all the paths < 1598790322 349464 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :because then people don't need to edit the makefile, just set make variables < 1598790351 120941 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Uh. I have two scripts. One builds, one installs. < 1598790368 778705 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :The build script should run? < 1598790377 725837 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :run what? < 1598790379 466104 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :The rest is just copying over? < 1598790390 766326 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Run a build of the system.. < 1598790428 827276 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It sounded to me like you wanted the build script to install. < 1598790434 793973 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :no < 1598790468 697375 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I'll read it again. < 1598790472 161651 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I didn't really specify that, but I just imagined a default make target called all that builds, and a make target called install that depends on all and installs, and possibly make targets for test < 1598790510 189987 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but if you have separate scripts, rather than the makefile, well then those should have some ways to set the paths < 1598790523 358925 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah. Right. < 1598790575 275552 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I just use bash for install/build because the internet meme is that recursive make is bad. < 1598790586 809005 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Better on the safe side. < 1598790612 465442 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But I'll guess it needs the variables anyway. < 1598790621 942889 :clog!~nef@bespin.org JOIN :#esoteric < 1598790736 678586 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :No. Won't change it. It's too fragile to play with given my limited understanding of make. < 1598790748 330371 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I guess pretty printing then > 1598790897 995037 PRIVMSG #esoteric :14[[07Talk:Modulous14]]4 M10 02https://esolangs.org/w/index.php?diff=77130&oldid=77038 5* 03Abyxlrz 5* (-763) 10 > 1598790915 658600 PRIVMSG #esoteric :14[[07Talk:Modulous14]]4 M10 02https://esolangs.org/w/index.php?diff=77131&oldid=77130 5* 03Abyxlrz 5* (-193) 10 > 1598791184 80060 PRIVMSG #esoteric :14[[07User:Abyxlrz14]]4 10 02https://esolangs.org/w/index.php?diff=77132&oldid=76934 5* 03Abyxlrz 5* (+216) 10 > 1598791205 590982 PRIVMSG #esoteric :14[[07User:Abyxlrz14]]4 M10 02https://esolangs.org/w/index.php?diff=77133&oldid=77132 5* 03Abyxlrz 5* (-82) 10 < 1598792763 368386 :dingwat!uid70835@gateway/web/irccloud.com/x-trbwiwomoopbzfbr QUIT :Quit: Connection closed for inactivity < 1598793476 22757 :olsner!~salparot@c80-217-180-83.bredband.comhem.se QUIT :Ping timeout: 240 seconds < 1598794348 997385 :pikhq!sid394595@gateway/web/irccloud.com/x-yletbajgqdhhhtvx QUIT :Read error: Connection reset by peer < 1598794359 42590 :pikhq!sid394595@gateway/web/irccloud.com/x-kdqspjdspdmvklvb JOIN :#esoteric < 1598794611 963459 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: would you rather be part of a clique or of an independent set? < 1598794612 234774 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: that line might evaluate to the same precision, but is a bit shorter, and let them run it off the top < 1598794687 592087 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric < 1598794703 790058 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1598794765 444480 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Are you golfing some code again? < 1598794765 820657 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :fizzie: because if he already has a speech synthesizer) chandler, touche. with an unlimited playfield it would be difficult < 1598794820 863286 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1598794965 213334 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1598795183 819632 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds > 1598795305 512527 PRIVMSG #esoteric :14[[07User:SunnyMoon14]]4 10 02https://esolangs.org/w/index.php?diff=77134&oldid=77063 5* 03SunnyMoon 5* (+12) 10Well, I am speaking the truth... > 1598795363 109751 PRIVMSG #esoteric :14[[07User:SunnyMoon14]]4 10 02https://esolangs.org/w/index.php?diff=77135&oldid=77134 5* 03SunnyMoon 5* (-23) 10This might be too much. < 1598795376 786281 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1598795593 352801 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def p X Y = (100*X)+Y < 1598795593 352860 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:8:syntactical:= expected < 1598795604 954954 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def (p X Y) = (100*X)+Y < 1598795604 955016 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:syntactical:combinator or operator expected < 1598796041 579846 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def sn8 = {0.3021,-1.0936,-0.3613,-2.8156,1.0762,0.2826,-3.0046,0.2187,0.9145,-0.2781,0.0047,0.4804,0.6407,0.3894,0.6457,0.7520,-0.5128,-0.6787} < 1598796053 624616 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: nth sn8 5 < 1598796053 624681 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared nth < 1598796062 10911 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: aref sn8 5 < 1598796062 135968 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared aref < 1598796128 695929 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: List.nth sn8 5 < 1598796128 695988 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared List < 1598796207 235746 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "from prelude";; def nth = [ 0 (cons X XX) -> X | N (cons X XX) -> nth (N - 1) XX ] < 1598796207 235813 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"from prelude" < 1598796216 882580 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: nth sn8 5 < 1598796216 882648 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(nth (System:cons 0.3021000000000000 (System:cons -1.093600000000000 (System:cons -0.3613000000000000 (System:cons -2.815600000000000 (System:cons 1.076200000000000 (System:cons 0.2826000000000000 (System:cons -3.004600000000000 (System:cons 0.2187000000000000 (System:cons 0.9145000000000000 (System:cons -0.2781000000000000 (System:cons 0.004700000000000000 (System:cons 0.4804000000000000 (System:cons 0.6407000000000000 (System:cons 0.3894000 < 1598796222 635401 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: nth 5 sn8 < 1598796222 635464 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :0.2826000000000000 < 1598796325 427312 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: sn8 < 1598796325 552581 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:cons 0.3021000000000000 (System:cons -1.093600000000000 (System:cons -0.3613000000000000 (System:cons -2.815600000000000 (System:cons 1.076200000000000 (System:cons 0.2826000000000000 (System:cons -3.004600000000000 (System:cons 0.2187000000000000 (System:cons 0.9145000000000000 (System:cons -0.2781000000000000 (System:cons 0.004700000000000000 (System:cons 0.4804000000000000 (System:cons 0.6407000000000000 (System:cons 0.389400000000 < 1598796363 583307 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? spam < 1598796366 319219 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Spam is a delicious meat product. See http://www.spamjamhawaii.com/ < 1598796408 833523 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :int-e: yeah, if only spruit11 made this bot accessible on some other channel, or if I installed egel to HackEgo, it would be better. < 1598796411 887735 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`hwrl spam < 1598796412 13139 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh well < 1598796413 7164 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/log/tip/wisdom/spam < 1598796472 544937 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm. Did I forget about the link in that wisdom... or did I genuinely never see it before... < 1598796681 529874 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :fungot, how many hours are there in 4 simultaneous 4 corner 96-hour Cubic™ Days in only 24 ohur rotation? < 1598796681 780892 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: just cobbled together. :d) there just would be one big macro?! would be rather pointless. ( or not) < 1598796767 496694 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :one big pointless macro day? ok < 1598799012 598628 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net JOIN :#esoteric > 1598799497 926547 PRIVMSG #esoteric :14[[07Conveyer14]]4 M10 02https://esolangs.org/w/index.php?diff=77136&oldid=77093 5* 03Abbin21 5* (+0) 10/* Example Code */ < 1598800219 579826 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1598800563 9294 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1598800826 182061 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598801048 549900 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Well, that sucked. But I think I have pretty printing. < 1598801077 122004 :APic!apic@apic.name PRIVMSG #esoteric :☺ < 1598801080 621657 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 nil < 1598801141 566420 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598801143 955418 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 nil < 1598801144 246568 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{1} < 1598801156 17416 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: {1,2,3,4,5} < 1598801156 268609 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{1, 2, 3, 4, 5} < 1598801165 873844 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: (1,2,3,4,5) < 1598801166 249145 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(1, 2, 3, 4, 5) < 1598801195 971429 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Well. 'pretty' < 1598801208 364825 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons cons < 1598801208 615141 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{...} < 1598801231 181822 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 cons < 1598801231 473239 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{1...} < 1598801287 159058 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It just cuts with '...' when it can't make sense of the term anymore. < 1598801311 716748 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: tuple 1 2 3 < 1598801311 967109 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(1, 2, 3) < 1598801328 750196 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: tuple < 1598801329 698 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:tuple < 1598801364 693385 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :By popular request! < 1598801373 58386 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I'll shut up now. < 1598802119 955712 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1598802926 337553 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1598804125 394300 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598804160 30983 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598805990 508010 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1598806105 385719 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1598806161 324713 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1598806881 989278 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1598807920 455644 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh nice! pretty printing < 1598807943 285079 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: cons 1 2 < 1598807943 285142 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{1...} < 1598807950 556656 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :no dotted list syntax? < 1598807954 532096 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (1,2) < 1598807954 660437 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(1, 2) < 1598807961 562421 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: tuple 8 3 2 < 1598807961 562478 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(8, 3, 2) < 1598807962 855296 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: tuple 8 3 < 1598807962 978817 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(8, 3) < 1598807964 27481 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: tuple 8 < 1598807964 27526 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(8) < 1598807965 539315 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: tuple < 1598807965 539363 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:tuple < 1598807967 182530 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :um < 1598807976 858793 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: one of those is wrong < 1598807984 891476 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: tuple 8 < 1598807985 16783 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(8) < 1598807986 339789 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :^ < 1598807989 821672 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (8) < 1598807989 821734 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :8 < 1598807991 437117 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (8,) < 1598807991 437163 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:5:syntactical:primary expression expected < 1598808000 20785 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah, right. Good catch. < 1598808020 908235 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I want to avoid the ,) syntax. < 1598808029 218333 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Is there a good reason to want it? < 1598808062 270999 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: no, but print it as (System:tuple 8) then < 1598808069 843723 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah, I will. < 1598808080 161375 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: cons (cons 9 8) (cons 7 6) < 1598808080 161431 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{{9...}, 7...} < 1598808095 344803 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Is this what you had in mind? < 1598808101 49555 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: {{9,8}, {7,6}} < 1598808101 168621 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{{9, 8}, {7, 6}} < 1598808109 673555 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :no, because you can't see the tail < 1598808117 423983 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :of a dotted list < 1598808200 872423 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :The dots are just there to show something went wrong. But I can it's confusing. < 1598808251 845087 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*can see < 1598808423 926482 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :look < 1598808481 843284 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :``` swipl -qg "M = '[|]'(9,'[|]'(8,'[|]'(7,[]))), display(M)" # in SWI prolog, cons is spelled '[|]' (sane prologs spell it . instead) so that's a list that I write out as conses and empty list, and the pretty-printer shows it with bracket list syntax < 1598808484 582593 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​[9,8,7] < 1598808529 705456 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :``` swipl -qg "M = '[|]'(9,'[|]'(8,'[|]'(7,gotcha))), display(M)" # that's not a proper list, because there's no empty list in its tail. so the pretty-printer shows it as a dotted list < 1598808530 777568 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​[9,8,7|gotcha] < 1598808586 149316 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :``` swipl -qg "N = [6,5,4], M = [9,8,7|N], display(M)" # you can use the dotted list syntax in input too < 1598808587 309101 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​[9,8,7,6,5,4] < 1598808587 685082 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Heh. < 1598808612 273827 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :lisps do the same, but instead of a | delimiter, they use a dot, that's why they're called dotted list < 1598808616 927522 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :You make my life difficult. < 1598808631 694398 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :lisps are older, so they get to name it < 1598808650 14218 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: {2,3}+4 < 1598808650 139218 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:+ bad arguments") < 1598808658 368452 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Well. I value your input! < 1598808661 659080 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; foo {2,3} 4 < 1598808661 784302 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(foo {2, 3} 4) < 1598808669 849180 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; foo 4 {2,3 2} < 1598808669 974517 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(foo 4 {2, (3 2)}) < 1598808675 870874 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; foo 4 (2,3 2) < 1598808675 990938 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(foo 4 (2, (3 2))) < 1598808691 292784 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; (2,(foo 3 2)) < 1598808691 418022 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(2, (foo 3 2)) < 1598808696 486974 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; {2,foo 3 2} < 1598808696 487027 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{2, (foo 3 2)} < 1598808746 432127 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def + = [];; {2,3+8} < 1598808746 557393 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:11:syntactical:-> expected < 1598808789 272738 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Nice try. But you can't rewrite to nothing. < 1598808813 724508 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data +;; {2,3+8} < 1598808813 724574 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:7:syntactical:lowercase expected < 1598808842 705313 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah. You punish me for every design decision. < 1598808857 986026 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :You want data to be able to be operators too? < 1598808866 882304 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :sorry, that's not what want, and no < 1598808874 139114 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah. Okay < 1598808874 951839 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I type these also to see how they fail < 1598808879 775310 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right. < 1598808891 931933 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :try to break the code with unexpected cases < 1598808899 98724 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that's how we do testin < 1598808913 328120 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah, the REPL is good for that. < 1598808958 792515 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I'll print something for badly formed lists but I don't think I will make it conform to the input syntax. < 1598809131 393967 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I recommend {9,7|7} < 1598809146 481396 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :sice egel already uses | as a delimiter < 1598809201 233488 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (cons 1 nil, cons 1 nil 2) < 1598809201 233546 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :({1}, {...}) < 1598809211 285553 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (cons 1, cons) < 1598809211 285585 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :({...}, System:cons) > 1598809356 143991 PRIVMSG #esoteric :14[[07Casini14]]4 M10 02https://esolangs.org/w/index.php?diff=77137&oldid=76437 5* 03Abbin21 5* (+24) 10 > 1598809370 556843 PRIVMSG #esoteric :14[[07Conveyer14]]4 M10 02https://esolangs.org/w/index.php?diff=77138&oldid=77136 5* 03Abbin21 5* (+23) 10 < 1598810423 120262 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598810484 750147 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598810510 658727 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 1 < 1598810511 159332 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{1...} < 1598810514 358631 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :f < 1598810573 183474 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598810594 779990 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598810602 206585 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 1 < 1598810602 582197 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{1|1} < 1598810612 21044 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Needed to recompile the bot. < 1598810641 28925 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I'll test it offline and see what I did made any sense. < 1598810931 173588 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598811130 799602 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598811143 896942 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 (cons 2) < 1598811144 423695 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{1, |(System:cons 2)} < 1598811159 819177 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :That is a bit ugly. < 1598811243 987622 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1598811508 205636 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598811514 693780 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1598811530 808383 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598811546 223231 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598811808 983623 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598811835 320340 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Heh. I need some kind of predicate to make it work nicely. Now it seems hacked. < 1598811838 586110 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Gawd. < 1598811863 796895 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I guess I should make it nice. < 1598812812 105326 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598812908 487129 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: cons 9 (cons 8 (cons 7 (cons 6 (cons 5 (cons 4 (cons 3 nil)))))) < 1598812912 520736 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ah < 1598813141 526464 :TheLie!~TheLie@business-24-134-17-157.pool2.vodafone-ip.de JOIN :#esoteric < 1598813554 52766 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1598813557 678387 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Moment, I can't seem to get the recursion right. < 1598813655 302476 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Client Quit < 1598813989 369986 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1598814262 644309 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1598814899 682139 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Ping timeout: 240 seconds > 1598815054 326959 PRIVMSG #esoteric :14[[07User:SunnyMoon14]]4 M10 02https://esolangs.org/w/index.php?diff=77139&oldid=77135 5* 03SunnyMoon 5* (+100) 10Yea... < 1598815142 843723 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598815171 781070 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I failed to make it nice. It will need some more thought. < 1598815192 891752 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons < 1598815193 39902 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:cons < 1598815195 491771 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 < 1598815195 742664 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:cons 1) < 1598815198 279842 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 nil < 1598815198 603444 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{1} > 1598815208 379098 PRIVMSG #esoteric :14[[07User:SunnyMoon14]]4 M10 02https://esolangs.org/w/index.php?diff=77140&oldid=77139 5* 03SunnyMoon 5* (+0) 10This is a better word for 'operations'. < 1598815208 838884 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 cons < 1598815209 215884 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{|(System:cons 1 System:cons)} < 1598815220 392083 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: cons 9 8 7 < 1598815220 642861 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:cons 9 8 7) < 1598815266 101041 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 (cons 2 nil) < 1598815266 352099 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{1, 2} < 1598815274 439453 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :So, that works. < 1598815278 899844 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 (cons 2 3) < 1598815279 191250 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{1, |(System:cons 2 3)} < 1598815287 588289 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But I didn't get this nice. < 1598815294 957595 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1598815307 687676 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1598815309 866893 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yeah, that should ideally say {1, 2| 3} or something < 1598815413 822253 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I will puzzle a bit more. < 1598815533 467121 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but this output is at least accurate too < 1598815537 584116 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :so it's fine < 1598815564 932803 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (tuple (tuple 9 8) (tuple 7 6)) (tuple 5 4) < 1598815565 183685 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :((9, 8), (7, 6), (5, 4)) > 1598815590 43542 PRIVMSG #esoteric :14[[07User:SunnyMoon14]]4 M10 02https://esolangs.org/w/index.php?diff=77141&oldid=77140 5* 03SunnyMoon 5* (+46) 10Game dev update > 1598815686 105250 PRIVMSG #esoteric :14[[07User:SunnyMoon14]]4 M10 02https://esolangs.org/w/index.php?diff=77142&oldid=77141 5* 03SunnyMoon 5* (-44) 10The link is too much unexpected. < 1598815950 799901 :Frater_EST!adrianbibl@172.242.0.73 PART :#esoteric < 1598816125 343374 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598816307 283777 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598816349 57251 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: cons 1 (cons 2 3) < 1598816349 349088 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{1, 2| 3} < 1598816353 82 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Pffrt. < 1598816611 225030 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (cons 9 8, cons 9 (cons 8 7), cons 9 (cons 8 (cons 7 6)), cons 9 nil, cons 9 (cons 8 nil), cons 9 (cons 8 (cons 7 nil)), cons 9 (cons 8 (cons 7 (cons 6 nil)))) < 1598816611 386882 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :({9| 8}, {9, 8| 7}, {9, 8, 7| 6}, {9}, {9, 8}, {9, 8, 7}, {9, 8, 7, 6}) < 1598816617 512835 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :looks better < 1598816647 25513 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yay recursion! < 1598816712 732399 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (cons, cons 9, cons nil, cons nil nil, cons nil 9, cons 9 8 7, cons 9 8 nil, cons 9 nil 7, cons 9 nil nil, cons nil 8 7, cons nil 8 nil, cons nil nil 7, cons nil nil nil, cons (cons 9 nil) nil) < 1598816712 982714 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:cons, (System:cons 9), (System:cons {}), {{}}, {{}| 9}, (System:cons 9 8 7), (System:cons 9 8 {}), (System:cons 9 {} 7), (System:cons 9 {} {}), (System:cons {} 8 7), (System:cons {} 8 {}), (System:cons {} {} 7), (System:cons {} {} {}), {{9}}) < 1598816715 25348 :Arcorann__!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1598816735 986161 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yay line noise! < 1598816784 487998 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh gawd. Took a day but I am laughing about it. ;) < 1598816807 803742 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: cons nop nil < 1598816808 54588 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{System:nop} < 1598816831 655603 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: nop nil cons < 1598816834 470495 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I am wondering whether I should nop with unit once. < 1598816843 869880 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Nop is shorter.. < 1598816854 514916 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Unit sounds nice. < 1598816862 673101 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :hmm < 1598816871 363509 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 2;; nop "hello";; 3 < 1598816871 614574 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :2 < 1598816871 739285 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598816874 546784 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :interesting < 1598816924 485475 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursaga < 1598816925 113518 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I didn't know nop worked as a head < 1598816949 976977 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1598816981 686751 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :No. Print just checks the tag whether it's a nop. And an array inherits the tag from the head. < 1598816995 59658 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's a small bug in print < 1598817006 42404 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (nop 9) 8 < 1598817016 478371 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: (nop "hello", 9) < 1598817016 739982 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :((System:nop "hello"), 9) < 1598817058 36374 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def gobble = [_ -> gobble] < 1598817069 260618 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: gobble 7 4 9 8 1 10 < 1598817069 511213 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :gobble < 1598817076 371571 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: gobble "anything" < 1598817076 622277 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :gobble < 1598817103 995259 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. That's neat right. < 1598817174 568826 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that's underload's v builtin < 1598817338 457991 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :it's an ordinary but useless combinator, it's just there to more easily demonstrate what can be done with the c builtin but not in pure lambda calculus < 1598817338 955877 :arseniiv!~arseniiv@94.41.39.129.dynamic.ufanet.ru JOIN :#esoteric < 1598817376 812743 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Heh. < 1598817469 560527 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :sorry, unlambda's v builtin < 1598817472 238006 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :not underload's < 1598817476 831251 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :also now I realize what I forgot < 1598817486 445776 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I should have washed the shower curtains... oh well < 1598817513 651095 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah. Right. People do that. < 1598817649 206738 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :https://mathoverflow.net/questions/369825/tietze-like-transformations-for-defining-interesting-bijections-between-algebr < 1598817664 897135 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: def f = [ X Y -> f (X+Y) | X -> X ];; f 1 2 3 4 5 6 < 1598817665 80554 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :21 < 1598817677 660389 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Like gobble. < 1598818023 361028 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :M:tG rules question. In my turn, I pop Mindslaver. In the opponent's first main phase, I choose that they cast Master Warcraft. Who decides which creatures of the opponent attacks? < 1598818086 495336 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :The controller of the controller of Master Warcraft, I believe, so it is unchanged. < 1598818104 864166 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :zzo38: the controller is my opponent < 1598818115 586855 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, but you control your opponent. > 1598818138 519171 PRIVMSG #esoteric :14[[071CP=1ICL14]]4 M10 02https://esolangs.org/w/index.php?diff=77143&oldid=77122 5* 03IFcoltransG 5* (+0) 10/* Language specifications */ Spelling < 1598818146 657026 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(So I think the spell has no effect, although it can still be cast, stuff can be triggered from it, etc.) < 1598818168 245985 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :RIght, you control your opponent and make all decisions for him < 1598818209 58062 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :right, that's what you'd think first, but is it like that really? it's two conflicting static effects, Mindslaver says that I make the decision, Master Warcraft says that the opponent makes the decision, these aren't replacement abilities because they don't use "instead", so you don't apply Mindslaver as a replacement after Master Warcraft, Master Warcraft just wins because of later timestamp, doesn't < 1598818215 45970 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :it? < 1598818248 728417 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I do not believe so. If player 1 controls player 2, then all decisions to be made by player 2 according to the rules and effects of the game are made by player 1 instead. < 1598818265 388765 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I am not a judge but 'you make all decions' looks pretty final to me. < 1598818325 380034 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: we have 101.1 to say that it's not final < 1598818393 281334 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(The exception is conceding, but that is not "an effect of the game", and rule 716.6 specifically says that conceding doesn't count anyways. Also, Master Warcraft does not override control of a player. Rule 101.1 does not seem to contradict that.) < 1598818651 575032 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I think rule 101.1 only says if the cards say to do something different from what the rules would say ordinarily happens; replacement effects and other rules which it does not contradict would presumably still apply. < 1598818893 146206 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598818901 729841 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :let's see. "716.5. ... all choices and decisions the controlled player is allowed to make or is told to make by the rules or by any objects." so maybe Master Warcraft tells the opponent to make the decision in which case I would make them < 1598819510 313166 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I think that inventing a new programming language and writing a literate program using it to write the rule sof the game, would make the rules more clearly, possibly. < 1598819561 220882 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598819573 19597 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :zzo38: perhaps, but I want to understand the existing rules of M:tG < 1598819580 100843 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: nop 1 < 1598819580 391728 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:nop 1) < 1598819582 96640 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: nop < 1598819641 818262 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I wonder how MTGA does it. They must have some sort of rule set compiler. < 1598819655 917883 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :b_jonas: Yes, and knowing what the rules are would also help with attempting to do what I mentioned, anyways, too. < 1598819696 15639 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :There's an open source mtg application too, now I think of it. < 1598819774 684940 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :The open source software that I have seen seems to not implement all of the cards; some aren't implemented, such as text editing effects, and what it does implement does not seem general enough. < 1598819800 678827 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah. Shame. But somewhat expected. < 1598819822 829037 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(I suggested a RDF-based format to define the effects of cards; for example [:counter [:target :spell]] is the same like "counter target spell". This RDF-based format would also enable text editing effects to work, too.) < 1598819846 87513 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's a hard game to implement. And mtg might always bring out a card which doesn't fit into your game. < 1598819860 105619 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [D -> ([D true], [D false], [D (true 9)], [D (9 true)], [D ((true 9) 9)], [D (true 9 9)] [D ((false 9) 9)], [D (false 9 9)],)][X:true -> 1 | _ -> 0] < 1598819860 360801 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:16:syntactical:-> expected < 1598819884 635786 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Card: 'wash my clothes and bring beer' comes to mind. < 1598819912 227302 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [D -> ((D true), (D false), (D (true 9)), (D (9 true)), (D ((true 9) 9)), (D (true 9 9)) (D ((false 9) 9)), (D (false 9 9)),)][X:true -> 1 | _ -> 0] < 1598819912 477669 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:126:syntactical:primary expression expected < 1598819918 68135 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: you mean Ashnod's Coupon < 1598819927 536716 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :well that only does the beer prat < 1598819937 467060 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I want it. < 1598819939 185440 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :for washing clothes ... hmm, I'm not sure there's a card for that yet < 1598819940 327931 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :spruit11: "Wash my clothes and bring beer" doesn't count; no other Un-cards count either, as far as I am concerned. < 1598819957 660298 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(Those are outside of the scope of the core rules of the game.) < 1598820029 896475 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Sometimes new cards will require new rules, but that already happens anyways. < 1598820080 53222 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I already wondered whether MTGA will stifle innovation. < 1598820096 951217 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :ACTION <- plays mtga daily < 1598820118 445492 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :maybe you could use Oblivion Ring to exile an item of clothing, then return it, and since it's a new object, the stains aren't preserved, but that's inefficient because you somehow have to repeat it for every piece of clothing individually, plus of course need a way to kill O-Ring < 1598820321 862466 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :In my own custom sets of cards, I have written some improvements to the rules, some of which just improve the mathematical structure and do not usually affect the game, such as specifying that all text changing effects work on the AST, that spellings do not affect whether or not a name is equal to another (the AST does instead), and several new terms such as "persistent property", "kind", etc. < 1598820350 496518 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(I do some of that to try to make the rules less confusing.) < 1598820414 925551 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Do anyone of you play Arena? < 1598820463 787409 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: no, we're only theoretical M:tG players on this channel < 1598820463 787501 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I do not, but I am on Linux and would prefer open source software that I can actually see all of the rules, and experiment with making up my own cards too, anyways < 1598820477 332464 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :zzo38: that is unlikely for both technical and legal reasons < 1598820482 253588 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I run it on my linux machine. < 1598820485 796693 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(And I do not actually play the game much either, mostly just discussion of stuff) < 1598820547 304574 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I used to run it on vanilla wine but I caved and now use lutris. Works flawlessly. < 1598820560 96848 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :ACTION fingers crossed < 1598820608 979095 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :While open source implementations of Magic: the Gathering exist, I don't know about test cases, etc, and anyways as I said they are incomplete. < 1598820614 834846 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: oh wow < 1598820813 59656 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(In addition to experimenting with custom cards, might also want custom rules, LAN play, UI customization, etc) < 1598820973 368390 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :so interactive egel can't actually persist values between statements, it can only persist definitions, and has to recompute everything. < 1598820997 924231 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that means keeping the process alive has much less advantages as with ordinary languages < 1598821006 296300 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I mean for an irc bot < 1598821029 234200 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :every value is lost at double semicolons < 1598821048 346589 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Unless you use val. < 1598821065 942475 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: val f = print "hello"; 3 < 1598821066 225356 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :hello < 1598821070 282633 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: f < 1598821070 531741 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598821073 449730 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh wait < 1598821078 825270 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :hmm < 1598821093 472633 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo; val f = fool < 1598821093 723225 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:10:syntactical: unexpected < 1598821099 227400 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo val f = fool < 1598821099 616947 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:11:syntactical:val unexpected < 1598821103 80224 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; val f = fool < 1598821103 206916 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:21:semantical:undeclared fool < 1598821106 10240 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data foo;; val f = foo < 1598821112 391991 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: f < 1598821112 639616 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :foo < 1598821123 882900 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def foo = 2;; foo;; f < 1598821124 8257 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :2 < 1598821124 133444 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :foo < 1598821139 167976 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :`val` reduced the body before assigning it to a combinator. < 1598821140 844757 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :val`? No such file or directory < 1598821147 355825 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*reduces < 1598821170 551436 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I wonder if you can use f in any way that gets it reduced < 1598821194 628752 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Hmm? < 1598821209 962059 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I know there are also some open source implementations of Pokemon battles, although I want a purely text based one. < 1598821276 71620 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (f, [2 -> 9] f, [foo -> 9] f, [5 -> 9] f) < 1598821276 322308 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(foo, (Dummy6DOT0 foo), 9, (Dummy6DOT2 foo)) > 1598821285 511943 PRIVMSG #esoteric :14[[07Conglument14]]4 N10 02https://esolangs.org/w/index.php?oldid=77144 5* 03Hakerh400 5* (+16354) 10+[[Conglument]] > 1598821290 160902 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=77145&oldid=77049 5* 03Hakerh400 5* (+17) 10+[[Conglument]] > 1598821294 263974 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=77146&oldid=77116 5* 03Hakerh400 5* (+17) 10+[[Conglument]] < 1598821318 383237 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (foo, [2 -> 9] foo, [foo -> 9] foo, [5 -> 9] foo) < 1598821319 13967 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(2, 9, (Dummy7DOT1 2), (Dummy7DOT2 2)) < 1598821319 352031 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. That's why I regret compiling combinators. You lose the text representation. < 1598821336 115100 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But, ah well. < 1598821350 58385 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ignore that, I could just add a fallback clause < 1598821364 984122 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :bugh. < 1598821371 122473 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I don't know how to make this faster. < 1598821372 627472 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (f, [2 -> 9 | _ -> 0] f, [foo -> 9 | _ -> 0] f, [5 -> 9 | _ -> 0] f) < 1598821372 878279 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(foo, 0, 9, 0) < 1598821383 788462 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (foo, [2 -> 9 | _ -> 0] foo, [foo -> 9 | _ -> 0] foo, [5 -> 9 | _ -> 0] foo) < 1598821384 38954 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(2, 9, 0, 0) < 1598821404 111028 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egel's rules are so weird < 1598821412 450489 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Heh? < 1598821425 467985 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :That's good! Right? < 1598821434 792022 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :;) < 1598821440 149849 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :they make sense but only in the esoteric way < 1598821498 518930 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I could always throw still. And make everything neater. And end with a Haskell.. < 1598821525 319649 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :https://github.com/egel-lang/egel < 1598821534 747896 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :^ I added a mascot < 1598821564 335814 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egel: data still; throw still < 1598821569 860047 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data still;; throw still < 1598821570 110713 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception(still) > 1598822065 905783 PRIVMSG #esoteric :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=77147&oldid=77036 5* 03Hakerh400 5* (+49) 10 < 1598822094 257139 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1598822256 903580 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: dis [ X -> X ] < 1598822257 155004 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"Dummy11DOT0::0400010005000000000a000000480400060006000000050a0000004801000700010100080002010009000301000a000401000b000606000c0007000b07000d000c000000060b000d06000600020001070007000600000004030001000200070b0003" < 1598822321 883019 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Didn't show that. I once added the ability to disassemble and reassemble the bytecode. < 1598822351 924744 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [F->(F(9<8),F(8<9),F true,F false))][X->if X then"yes"else"no"] < 1598822352 124862 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:36:syntactical:] expected < 1598822358 573465 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [F->(F(9<8),F(8<9),F true,F false)][X->if X then"yes"else"no"] < 1598822358 823969 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :("no", "yes", "yes", "no") < 1598822454 771992 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Six=6,Seven=7,Eight=8 in {Seven,Eight,9} < 1598822455 128010 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:11:syntactical:in expected < 1598822462 285929 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Six=6;Seven=7;Eight=8 in {Seven,Eight,9} < 1598822462 576945 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:17:syntactical:in expected < 1598822474 526223 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Six Seven Eight=6 7 8 in {Seven,Eight,9} < 1598822474 779013 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Dummy13DOT0 (6 7 8)) < 1598822501 24996 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :DUh? < 1598822503 816365 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :? < 1598822508 998284 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :You found another bug? < 1598822511 253397 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: let tuple Six Seven Eight=tuple 6 7 8 in {Seven,Eight,9} < 1598822511 503920 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Dummy14DOT0 (6, 7, 8)) < 1598822518 755334 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :what's egelbot do? < 1598822532 145917 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :imode: it evaluates egel. see our wiki if you want to know what egel is. < 1598822538 647717 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :neat. < 1598822565 71754 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ideally I should just install egel to HackEso so I can evaluate egel there, but I'm lazy < 1598822565 71849 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: let X Y = 1 2 in Y X < 1598822565 429116 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Dummy15DOT0 (1 2)) < 1598822574 252030 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :eager combinator rewriting, huh? < 1598822591 697646 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :plus this one is funnier because if I make an infinite loop then spruit11 has to kill the bot and restart it. < 1598822598 892728 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Hehe. < 1598822606 855985 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :HackEso would just time out that session < 1598822626 852384 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :how's the rewriting handled? how fast are basic operations like addition etc.? I must know! < 1598822635 265195 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :also this one can spam irc because a command can output any number of lines < 1598822677 255240 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: let (X Y) = 1 2 in Y X < 1598822677 505511 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(2 1) < 1598822702 29956 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :imode: dunno, there's some paper on it in the egel-docs repository < 1598822715 455430 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :sick. < 1598822748 430275 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's a slow interpreter. The reduction system is the interesting part. < 1598822775 429536 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :how slow? microseconds-per-operation slow? < 1598822816 342110 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: String.charAt 0 "hello" < 1598822816 593467 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared String < 1598822829 357918 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Roughly Python speed. If you don't count that I rewrite additions instead of generating bytecode for it. < 1598822832 962507 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :hmm, how did that work? < 1598822851 982984 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: String:charAt 0 "hello" < 1598822852 237673 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :'h' < 1598822856 125057 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :you generate byteode for this? huh. < 1598822860 578886 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ah right thanks < 1598822864 613301 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: String:charAt 0 "hello" < 1598822864 902893 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :'h' < 1598822902 92348 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :egelbot: 1 + 2 < 1598822902 236416 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :3 < 1598822911 827591 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :now if I could actually time that out with perf... < 1598822940 602350 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 3 | 4 < 1598822940 852909 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:4:syntactical:| unexpected < 1598822941 354259 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I use gprof. < 1598822949 446133 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 7 & 4 < 1598822949 612549 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:4:semantical:undeclared & < 1598823130 627924 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 7 && 4 < 1598823130 878782 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :4 < 1598823160 345443 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yeah < 1598823172 391328 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :egel doesn't build on my machine. < 1598823175 85574 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I should change that once. I will use && for 'lazy' (forgot the name) boolean expressions. < 1598823192 703117 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :looks to be missing libicu, but I have that installed. < 1598823203 666308 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "and I think it was"; toint "a" < 1598823203 919855 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :0 < 1598823215 975276 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "and I think it was"; toint (charAt 0 "a") < 1598823216 226153 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:31:semantical:undeclared charAt < 1598823224 887916 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "and I think it was"; toint (String:charAt 0 "a") < 1598823225 137436 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :97 < 1598823226 619370 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yeah, that < 1598823251 881868 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "but the opposite direction is not"; totext 97 < 1598823252 132391 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"97" < 1598823274 768034 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: unpack "a" # oh right, we have this now < 1598823275 61733 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{'a'} < 1598823280 202882 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but it doesn't really help < 1598823286 224529 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :toint is still the ord function < 1598823305 277214 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and I think chr was uglier < 1598823340 702931 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "\\u0061" < 1598823340 958098 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"\\u0061" < 1598823342 793363 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "\u0061" < 1598823343 43796 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:4:lexical:error in string < 1598823349 299967 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "\x0061" < 1598823349 550723 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:4:lexical:error in string < 1598823351 931110 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "\x61" < 1598823352 56018 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:4:lexical:error in string < 1598823354 102059 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :hmm < 1598823362 169511 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :And I thought I could move egel to beta status! < 1598823369 702695 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: unquote "\\u0061" < 1598823369 951454 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared unquote < 1598823372 559709 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: String:unquote "\\u0061" < 1598823372 810597 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared unquote < 1598823375 193235 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :There's still a lot to do. < 1598823380 124818 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: String:unescape "\\u0061" < 1598823380 266629 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"a" < 1598823383 893855 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yes, that was it < 1598823384 770430 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I'm just curious about how stuff like basic addition performs. < 1598823406 190851 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :going on a rewriting-related performance journey myself. < 1598823413 438351 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Basic addition is really, really slow. < 1598823419 622850 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :how slow? < 1598823431 228311 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :sorry, that sounds way more forceful than it actually is. < 1598823436 937711 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Dunno. < 1598823464 853806 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :weird, the cflags resolve to -licuio -licui18n -licuuc -licudata... < 1598823473 354871 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But I think in the order of ten thousand micro instructions. < 1598823498 176648 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :`error: ‘icu_65’ is not a namespace-name` < 1598823499 472801 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :error:? No such file or directory < 1598823523 858265 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Should be something like that, in the ball park of a thousand to ten thousand. < 1598823538 252911 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Instead of one instruction.. < 1598823552 932845 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Bash is even slower! < 1598823578 516438 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :interesting. how do you do the rewriting? just a basic recursive tree search/replace? < 1598823591 569433 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :https://github.com/egel-lang/egel-tex/blob/master/semantics/semantics.pdf < 1598823596 892679 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :^ look there < 1598823604 279381 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :neato burrito. < 1598823608 823770 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's a graph rewriter. < 1598823622 589604 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [X->[X->(X,X)]8]9 < 1598823622 784268 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(8, 8) < 1598823626 198080 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :correct < 1598823626 450035 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :WIth a bit of a different graph representation than you would expect. < 1598823662 678118 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :hells yeah. you do subexpr sharing? < 1598823685 943744 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. < 1598823688 896546 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: pack {'5','2','7'} < 1598823689 147192 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"527" < 1598823761 298065 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :FWIW I've found that you get better general perf if you use a queue rather than doing an eval over a ton of in-memory nodes. data locality is better. < 1598823786 416983 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. That's true. But this model is just nice. < 1598823830 465108 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Well. I find it nice. It's about as simplistic as I could make it. < 1598823834 429374 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But slow. < 1598823848 562038 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :For my definition of simplistic. < 1598823851 274078 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :https://git.imode.tech/?p=python/modal;a=blob;f=modal.py;hb=HEAD < 1598823856 713159 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 0xBD4388FF < 1598823857 12759 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:4:lexical:error in hexadecimal int < 1598823862 370645 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :? < 1598823870 191120 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Uuuu. < 1598823874 312837 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :h. < 1598823876 573032 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :https://git.imode.tech/?p=python/modal;a=blob;f=prelude.modal;hb=HEAD < 1598823891 13615 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :egelbot: BD4388FF < 1598823891 266859 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared BD4388FF < 1598823900 256780 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :wonder if it can do octal. < 1598823904 958056 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :No. < 1598823934 814630 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I even forgot I added hexadecimal. < 1598824006 242278 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 0xff < 1598824006 498927 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :255 < 1598824008 934491 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 0xfff < 1598824009 305902 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :4095 < 1598824012 88754 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 0xffF < 1598824012 339441 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:6:semantical:undeclared F < 1598824017 268967 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 0xFf < 1598824017 519552 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:4:lexical:error in hexadecimal int < 1598824032 714099 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah, I didn't add uppercase hex. < 1598824032 714194 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :what < 1598824045 547810 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :0xFf ? < 1598824046 717096 :TheLie!~TheLie@business-24-134-17-157.pool2.vodafone-ip.de QUIT :Remote host closed the connection < 1598824055 233849 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh, that was from you wait < 1598824058 854296 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def format08x = [D->[L->pack{L 7,L 6,L 5,L 4,L 3,L 2,L 1,L 0}][C->[0->'0'|1->'1'|2->'2'|3->'3'|4->'4'|5->'5'|6->'6'|7->'7'|8->'8'|9->'9'|10->'A'|11->'B'|12->'C'|13->'D'|14->'E'|15->'F'](16&&(D>>(4*C)))]];; format08x 3175319807 < 1598824059 104492 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:pack invalid arguments") < 1598824079 99053 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def format08x_dbg = [D->[L->{L 7,L 6,L 5,L 4,L 3,L 2,L 1,L 0}][C->[0->'0'|1->'1'|2->'2'|3->'3'|4->'4'|5->'5'|6->'6'|7->'7'|8->'8'|9->'9'|10->'A'|11->'B'|12->'C'|13->'D'|14->'E'|15->'F'](16&&(D>>(4*C)))]];; format08x_dbg 3175319807 < 1598824079 349973 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{'0', (format08x_dbgDOT1 16), (format08x_dbgDOT1 16), '0', (format08x_dbgDOT1 16), '0', '0', (format08x_dbgDOT1 16)} < 1598824085 445207 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :16? < 1598824092 58539 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh < 1598824100 624421 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def format08x_dbg = [D->[L->{L 7,L 6,L 5,L 4,L 3,L 2,L 1,L 0}][C->[0->'0'|1->'1'|2->'2'|3->'3'|4->'4'|5->'5'|6->'6'|7->'7'|8->'8'|9->'9'|10->'A'|11->'B'|12->'C'|13->'D'|14->'E'|15->'F'](15&&(D>>(4*C)))]];; format08x_dbg 3175319807 < 1598824100 875166 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{'B', 'D', '4', '3', '8', '8', 'F', 'F'} < 1598824104 592821 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :better < 1598824109 895354 :frouts!~Android@2600:380:8944:ac66:c24:d4e7:c9bf:1058 JOIN :#esoteric < 1598824119 599813 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :simple to me is a one-file-to-four-file language with a LoC count under 1k. < 1598824121 719804 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def format08x = [D->[L->pack{L 7,L 6,L 5,L 4,L 3,L 2,L 1,L 0}][C->[0->'0'|1->'1'|2->'2'|3->'3'|4->'4'|5->'5'|6->'6'|7->'7'|8->'8'|9->'9'|10->'A'|11->'B'|12->'C'|13->'D'|14->'E'|15->'F'](15&&(D>>(4*C)))]];; format08x 3175319807 < 1598824121 970379 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"BD4388FF" < 1598824125 629693 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that's it < 1598824144 625765 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :As always, at some point you pick up speed and run miles ahead of me. ;) < 1598824170 75620 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :nah, this is something I did write back then and is probably in the IRC logs < 1598824201 457567 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: String:unescape "\\U00000061" < 1598824201 708421 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"a" < 1598824204 942289 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :imode: Sorry for the build thing but I just edit Makefiles until they work for me. No idea how to make that robust. < 1598824219 944769 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :lol, no worries. I piggyback off of the Go build tools to do sanity checking etc. for me. < 1598824247 557595 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :was there a string concatenation function? < 1598824289 359708 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: String:append "he" "llo" < 1598824289 610404 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"hello" < 1598824301 221090 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def format08X = [D->[L->pack{L 7,L 6,L 5,L 4,L 3,L 2,L 1,L 0}][C->[0->'0'|1->'1'|2->'2'|3->'3'|4->'4'|5->'5'|6->'6'|7->'7'|8->'8'|9->'9'|10->'A'|11->'B'|12->'C'|13->'D'|14->'E'|15->'F'](15&&(D>>(4*C)))]];; format08X 3175319807 < 1598824301 471392 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"BD4388FF" < 1598824303 668746 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :was just eager to see how fast or slow this is compared to my stuff. having an internal crisis right now, because additions of 1024 bit numbers are in the 100-200usec range. < 1598824306 175957 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data format08x < 1598824325 518896 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :b_jonas: String:append < 1598824329 746461 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: is there a way to undefine a name? < 1598824342 254624 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :egelbot: undef format08X < 1598824342 630446 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared undef < 1598824346 73498 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: using String;; append "hello " "world!" < 1598824346 292395 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"hello world!" < 1598824359 694076 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def chr = [C -> String:unescape (String:append "\\U" (format08X))];; chr 93 < 1598824359 944608 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("String:append bad arguments") < 1598824368 13450 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def chr = [C -> String:unescape (String:append "\\U" (format08X C))];; chr 93 < 1598824368 389421 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"]" < 1598824368 891132 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :b_jonas: No. I didn't add an undef. < 1598824386 462341 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: chr 97 < 1598824386 712349 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"a" < 1598824388 993716 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok, we have a chr < 1598824479 289673 :frouts!~Android@2600:380:8944:ac66:c24:d4e7:c9bf:1058 QUIT :Quit: -a- IRC for Android 2.1.57 < 1598824494 221477 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :imode: It's 64 bit wide addition and very, very slow since it's a graph rewrite on three nodes expressed as heavyweight C++ object. So no worries. Yours is probably faster. < 1598824550 216633 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def strjoini = [nil -> "" | (cons A D) -> String:append A (strjoini D)];; "not the most efficient, but it will do for now"; strjoini {"he","l","lo"} < 1598824550 467209 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"hello" < 1598824551 261224 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :that's still a reasonable complexity if those rewrites are built-in and have access to the actual backing ints. < 1598824625 977247 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right. < 1598824665 12638 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [L->say (strjoini {"mehraj",L,"PRIVMSG b_jonas :duruzsol",L,"PRIVMSG #esoteric :szellos",L})](chr 10); say "fak alol" < 1598824665 285969 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:6:semantical:undeclared say < 1598824669 234102 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :what < 1598824671 656901 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: say 4 < 1598824671 907640 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared say < 1598824674 504861 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: say "foo" < 1598824674 629531 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Print < 1598824674 880134 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared say < 1598824680 981428 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: Print "foo" < 1598824681 231948 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared Print < 1598824683 813007 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: print "foo" < 1598824684 64079 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :foo < 1598824685 376312 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I changed it back. < 1598824687 871702 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: print "foo"; print "bar" < 1598824688 122261 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :foo < 1598824688 623650 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :bar < 1598824694 510158 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :shouldn't that be called println < 1598824703 873095 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [L->print (strjoini {"mehraj",L,"PRIVMSG b_jonas :duruzsol",L,"PRIVMSG #esoteric :szellos",L})](chr 10); print "fak alol" < 1598824704 123324 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :mehraj-PRIVMSG b_jonas :duruzsol-PRIVMSG #esoteric :szellos- < 1598824704 625850 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :fak alol < 1598824757 631362 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [L->print (strjoini {"mehraj",L,"PRIVMSG b_jonas :duruzsol",L,"PRIVMSG #esoteric :szellos",L})](String:append(chr 13,chr 10)); print "fak alol" < 1598824758 7349 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("String:append bad arguments") < 1598824764 167996 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [L->print (strjoini {"mehraj",L,"PRIVMSG b_jonas :duruzsol",L,"PRIVMSG #esoteric :szellos",L})](String:append(chr 13)(chr 10)); print "fak alol" < 1598824764 543623 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :mehraj < 1598824764 919733 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :fak alol < 1598824781 785783 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok that's better, it sends the cr through but not the lf < 1598824793 975794 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and the IRC client ignores anything from cr to lf < 1598824804 657463 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh right. You already thought I should harden that, I remember. < 1598824809 144754 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [L->print (strjoini {"mehraj",L,"PRIVMSG b_jonas :duruzsol",L,"PRIVMSG #esoteric :szellos",L})](String:append(chr 13)(chr 0)); print "fak alol" < 1598824809 403555 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :mehraj < 1598824810 31334 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :fak alol < 1598824823 444084 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [L->print (strjoini {"mehraj",L,"PRIVMSG b_jonas :duruzsol",L,"PRIVMSG #esoteric :szellos",L})](chr 0); print "fak alol" < 1598824824 200191 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :mehrajPRIVMSG #esoteric :fak alol < 1598824850 327224 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok, so to actually break this, I probably have to load IO or some such library, or use the unsafe functions maybe < 1598824885 993340 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :or find some function you accidentally left in System that shouldn't be there < 1598824893 583476 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I don't understand what all those functions are < 1598824937 475394 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. Severily lacking documentation is another thing. < 1598824961 609547 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "\u00610000" < 1598824961 865366 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:4:lexical:error in string < 1598824964 860868 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "\x00610000" < 1598824965 110095 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:4:lexical:error in string < 1598824977 954133 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :just stick to unescape then < 1598824981 577665 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and chr < 1598825059 787783 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I'll add a chr once. < 1598825079 191925 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: int < 1598825079 445319 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:int < 1598825096 529661 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: it doesn't really matter, we can't do anything too interesing with strings anyway < 1598825122 132550 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Hmm? You don't have all primitives? < 1598825133 177680 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :no, I mean we can't break the bot or anything < 1598825141 184148 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh, right. < 1598825143 640792 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :we have enough primitives to draw mazes or suchlike if we want < 1598825156 127001 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :maybe not enough to send byte strings that are invalid utf-8, I dunno < 1598825190 846320 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right. I was wondering about that anyway. < 1598825226 64624 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It looked sane to support utf-8 but I am not that sure anymore. < 1598825235 469840 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [T->(T true,T 6,T (6 2),T (6,2),T {6,2},T int)][(_ _)->0|_:int->1|_->0] < 1598825235 720317 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:60:syntactical:-> expected < 1598825251 598484 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :where exactly? < 1598825267 210018 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [T->(T true,T 5)][(_ _)->0|_:int->1|_->0] < 1598825267 460676 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:30:syntactical:-> expected < 1598825286 830760 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [T->(T true,T 5)][(X X)->0|X:int->1|X->0] < 1598825287 81270 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:23:semantical:redeclaration of X < 1598825292 910979 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [T->(T true,T 5)][(X Y)->0|X:int->1|X->0] < 1598825293 161096 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:29:semantical:undeclared int < 1598825300 52268 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [T->(T true,T 5)][(X Y)->0|X:System:int->1|X->0] < 1598825300 302683 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:29:semantical:undeclared int < 1598825310 794456 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric ::: < 1598825316 318250 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I think < 1598825323 250318 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [T->(T true,T 5)][(X Y)->0|X::int->1|X->0] < 1598825323 500770 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(0, 1) < 1598825334 558390 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [T->(T true,T 5,T (6 2),T (6,2),T {6,2},T int)][(X Y)->0|X::int->1|X->0] < 1598825334 939858 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(0, 1, 0, 0, 0, 1) < 1598825343 604023 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [T->(T true,T 5,T (6 2),T (6,2),T {6,2},T int)][(X Y)->0|int->0|X::int->1|X->0] < 1598825343 983315 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(0, 1, 0, 0, 0, 0) < 1598825358 145674 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [T->(T true,T 5,T 2.5,T 6.0,T (6 2),T (6,2),T {6,2},T int)][(X Y)->0|int->0|X::int->1|X->0] < 1598825358 396477 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(0, 1, 0, 0, 0, 0, 0, 0) < 1598825362 777837 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok good enough < 1598825373 635413 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def isint = [(X Y)->0|int->0|X::int->1|X->0] < 1598825846 167994 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> [0 _ nil->nil| 0 true _->nil| 0 false (cons A D)->cons A (listtake_a (N-1) D P)| _ _ _->throw "error listtake" ] (isint N)(N <= 0)S];; def listtake = [N S -> listtake nil N S];; def st6 = {08,22,13,59,75,88,94,81,62,54,00,39,60,80,23,82};; take 7 st6 < 1598825846 419503 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:269:semantical:undeclared take < 1598825857 130641 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: listtake 7 st6 < 1598825877 32194 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "did I put you into an infinite loop?" < 1598825884 302261 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oops < 1598825917 231117 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :`ping < 1598825918 368882 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :pong < 1598826062 250350 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh yeah < 1598826077 532913 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> [0 _ nil->nil| 0 true _->nil| 0 false (cons A D)->cons A (listtake_a (N-1) D P)| _ _ _->throw "error listtake" ] (isint N)(N <= 0)S];; def listtake_a = [N S -> listtake nil N S];; def st6 = {08,22,13,59,75,88,94,81,62,54,00,39,60,80,23,82};; listtake 7 st6 < 1598826082 559259 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that was the bug < 1598826083 631343 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: sorry < 1598826108 118597 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I made it fall into growing a term one by one < 1598826128 20128 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :making an application with listtake as the head longer and longer < 1598826134 942525 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Ping timeout: 256 seconds < 1598826140 167604 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :if it copies the whole application, then that will take a while to run out of memory < 1598826225 725266 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh, right. < 1598826248 533787 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598826299 23786 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> [0 _ nil->nil| 0 true _->nil| 0 false (cons A D)->cons A (listtake_a (N-1) D P)| _ _ _->throw "error listtake" ] (isint N)(N <= 0)S];; def listtake = [N S -> listtake_a nil N S];; def st6 = {08,22,13,59,75,88,94,81,62,54,00,39,60,80,23,82};; listtake 7 st6 < 1598826299 399885 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:143:semantical:undeclared isint < 1598826307 734142 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def isint = [(X Y)->0|int->0|X::int->1|X->0] < 1598826313 964807 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: listtake 7 st6 < 1598826314 217010 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared listtake < 1598826317 344386 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> [0 _ nil->nil| 0 true _->nil| 0 false (cons A D)->cons A (listtake_a (N-1) D P)| _ _ _->throw "error listtake" ] (isint N)(N <= 0)S];; def listtake = [N S -> listtake_a nil N S];; def st6 = {08,22,13,59,75,88,94,81,62,54,00,39,60,80,23,82};; listtake 7 st6 < 1598826317 720445 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error listtake") < 1598826324 542004 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that's slightly better < 1598826462 921319 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> say ("listtake_a",P,N,S); [0 _ nil->nil| 0 true _->nil| 0 false (cons A D)->cons A (listtake_a (N-1) D P)| _ _ _->throw "error listtake" ] (isint N)(N <= 0)S];; def listtake = [N S -> listtake_a nil N S];; listtake 7 st6 < 1598826463 215487 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:29:semantical:undeclared say < 1598826469 85316 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> print ("listtake_a",P,N,S); [0 _ nil->nil| 0 true _->nil| 0 false (cons A D)->cons A (listtake_a (N-1) D P)| _ _ _->throw "error listtake" ] (isint N)(N <= 0)S];; def listtake = [N S -> listtake_a nil N S];; listtake 7 st6 < 1598826469 335755 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error listtake") < 1598826517 228775 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> print ("listtake_a",P,N,S); "substitute"];; def listtake = [N S -> listtake_a nil N S];; listtake 7 st6 < 1598826517 480095 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"substitute" < 1598826548 380859 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: print ("listtake_a",nil,7,st6) < 1598826548 632933 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:print ("listtake_a", {}, 7, {8, 22, 13, 59, 75, 88, 94, 81, 62, 54, 0, 39, 60, 80, 23, 82})) < 1598826559 746610 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: print ("listtake_a",nil,7,st6); 0 < 1598826560 43570 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :0 < 1598826565 304934 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: print (tostr("listtake_a",nil,7,st6)); 0 < 1598826565 680804 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:9:semantical:undeclared tostr < 1598826614 368530 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh. Sorry. Print doesn't print tuples yet. Just the primitives. < 1598826618 630772 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: print (totext ("listtake_a",nil,7,st6)); 0 < 1598826619 7317 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:totext bad arguments") < 1598826633 850357 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :argh < 1598826744 894502 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: print 1 "A" 5.0 7 < 1598826745 144770 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :1A5.0000000000000007 < 1598826755 657048 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: print 1 "A" 5.0 7 true < 1598826756 32374 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:print 1 "A" 5.000000000000000 7 System:true) < 1598826777 348649 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Uh. Right. Alpha software. I'll fix print. < 1598826918 484841 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listappend = [nil S->S| (cons A D) S->cons A (listappend D S)| _ _->throw"error listappend"];; listappend {8,22,13,59} {75,88} < 1598826918 735479 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{8, 22, 13, 59, 75, 88} < 1598826943 599957 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Shall I restart the bot? < 1598826958 41702 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :if you want < 1598826965 919683 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598826980 604315 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598826984 293613 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listappend = [nil S->S| (cons A D) S->cons A (listappend D S)| _ _->throw"error listappend"];; listappend {8,22,13,59} {75,88} < 1598826984 525030 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{8, 22, 13, 59, 75, 88} < 1598826997 851890 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: print (1,2) < 1598826998 303126 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(1, 2) < 1598827001 857179 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: print (1,2) true < 1598827002 149182 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(1, 2)System:true < 1598827013 186108 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: print (1,2) true 5 "hello" 'a' < 1598827013 561860 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(1, 2)System:true5hello'a' < 1598827027 140399 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :the char is wrong. < 1598827060 123381 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listflatten_a = [S nil->S| S(cons A D)->listappend A(listflatten_a S D)| _ _->throw"error listflatten"] def listflatten = [L->listflatten_a{}L];; listflatten {{8,22,13,59},{75,88},{},{94,81,62}} < 1598827060 497976 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:110:syntactical:def unexpected < 1598827088 919655 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: is there a way to just access to pretty-printer and get a string from it? < 1598827112 936012 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listflatten_a = [S nil->S| S(cons A D)->listappend A(listflatten_a S D)| _ _->throw"error listflatten"];; def listflatten = [L->listflatten_a{}L];; listflatten {{8,22,13,59},{75,88},{},{94,81,62}} < 1598827113 311859 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{8, 22, 13, 59, 75, 88, 94, 81, 62} < 1598827123 226110 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598827131 216168 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :os now it actually requires the double semicolon between defs? < 1598827137 129452 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598827139 731108 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: print (1,2) true 5 "hello" 'a' < 1598827139 731148 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(1, 2)System:true5"hello"'a' < 1598827161 484903 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Aargh. I made it worse. < 1598827292 998587 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1598827308 55296 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :you could just make separate functions to print a string, to println a string, to format any value with the pretty-printer, and to format and println any values separated by spaces < 1598827308 556612 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1598827315 868302 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: print (1,2) true 5 "hello" 'a' < 1598827316 119354 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(1, 2)System:true5helloa < 1598827334 341067 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: print{3,"a"} < 1598827334 731143 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{3, "a"} < 1598827340 60146 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok that should help < 1598827355 48860 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :thanks < 1598827372 189836 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :b_jonas: No problem. I am a bit hazy all the programming today though. < 1598827376 799910 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :brb < 1598827456 599376 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def todo=throw"unimplemented";; def listtake_a = [P N S -> print("listtake_a",P,N,S);todo];; def listtake = [N S -> listtake_a nil N S];; def st6 = {08,22,13,59,75,88,94,81,62,54,00,39,60,80,23,82};; listtake 7 st6 < 1598827456 854351 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :("listtake_a", {}, 7, {8, 22, 13, 59, 75, 88, 94, 81, 62, 54, 0, 39, 60, 80, 23, 82}) < 1598827457 324313 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("unimplemented") < 1598827463 982106 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok so that part is ok < 1598827468 173966 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :now what was my actual definition? < 1598827520 748591 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def todo=throw"unimplemented";; def listtake_a = [P N S -> print("listtake_a",P,N,S); [0 _ nil->nil| 0 true _->nil| 0 false (cons A D)->cons A (listtake_a (N-1) D P)| _ _ _->throw"error listtake" ] (isint N)(N <= 0)S ];; def listtake = [N S -> listtake_a nil N S];; listtake 7 st6 < 1598827520 999774 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:201:semantical:undeclared isint < 1598827572 165558 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def isint = [(X Y)->0|int->0|X::int->1|X->0] < 1598827575 311918 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def todo=throw"unimplemented";; def listtake_a = [P N S -> print("listtake_a",P,N,S); [0 _ nil->nil| 0 true _->nil| 0 false (cons A D)->cons A (listtake_a (N-1) D P)| _ _ _->throw"error listtake" ] (isint N)(N <= 0)S ];; def listtake = [N S -> listtake_a nil N S];; listtake 7 st6 < 1598827575 562297 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :("listtake_a", {}, 7, {8, 22, 13, 59, 75, 88, 94, 81, 62, 54, 0, 39, 60, 80, 23, 82}) < 1598827576 45815 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error listtake") < 1598827606 51679 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net QUIT :Remote host closed the connection < 1598827617 608242 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def todo=throw"unimplemented";; def listtake_a = [P N S -> [U V W->print("listtake_i",U,V,W)] (isint N)(N <= 0)S ];; def listtake = [N S -> listtake_a nil N S];; listtake 7 st6 < 1598827617 733978 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :("listtake_i", 1, System:false, {8, 22, 13, 59, 75, 88, 94, 81, 62, 54, 0, 39, 60, 80, 23, 82}) < 1598827644 171705 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :so (isint N) is 1, (N<=0) is false < 1598827669 289155 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh right < 1598827708 783684 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (cons A D)->cons A (listtake_a (N-1) D P)| _ _ _->throw"error listtake" ] (isint N)(N <= 0)S ];; def listtake = [N S -> listtake_a nil N S];; listtake 7 st6 < 1598827709 21375 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error listtake") < 1598827750 364633 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (cons A D)-> print("listtake_c",A,N,(N-1),D,P); cons A (listtake_a (N-1) D P)| _ _ _->throw"error listtake" ] (isint N)(N <= 0)S ];; def listtake = [N S -> listtake_a nil N S];; listtake 7 st6 < 1598827750 655807 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :("listtake_c", 8, 7, (7 -1), {22, 13, 59, 75, 88, 94, 81, 62, 54, 0, 39, 60, 80, 23, 82}, {}) < 1598827751 177486 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error listtake") < 1598827754 818932 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ah < 1598827759 3395 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot:7 - 1 < 1598827759 253173 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :6 < 1598827760 381173 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot:7 -1 < 1598827760 631747 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(7 -1) < 1598827772 564930 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :yeah, that was something I suffered with last time too < 1598827800 203333 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (cons A D)->cons A (listtake_a(-1+N)D P)| _ _ _->throw"error listtake" ] (isint N)(N <= 0)S ];; def listtake = [N S -> listtake_a nil N S];; listtake 7 st6 < 1598827800 451990 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error listtake") < 1598827836 291599 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh, A is wrong < 1598827848 603032 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :somehow < 1598827868 844953 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :no it's not wrong < 1598827872 51131 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :8 really is hte first element < 1598827887 618439 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :however, < 1598827921 7061 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (cons A D)-> print("listtake_c",); cons A (listtake_a P(-1+N)D)| _ _ _->throw"error listtake" ] (isint N)(N <= 0)S ];; def listtake = [N S -> listtake_a nil N S];; listtake 7 st6 < 1598827921 257995 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:99:syntactical:primary expression expected < 1598827950 787615 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listtake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (cons A D)-> cons A (listtake_a P(-1+N)D)| _ _ _->throw"error listtake" ] (isint N)(N <= 0)S ];; def listtake = [N S -> listtake_a nil N S];; listtake 7 st6 < 1598827951 38350 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{8, 22, 13, 59, 75, 88, 94} < 1598827955 294867 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :FINALLY < 1598828002 661881 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: listtake 2 st6;; listtake 99 st6;; listtake -2 st6;; listtake 0 st6;; listtake 2 {};; listtake 2 6;; < 1598828002 914080 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:102:syntactical:primary expression expected < 1598828015 590407 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: listtake 2 st6;; listtake 99 st6;; listtake -2 st6;; listtake 0 st6;; listtake 2 {};; listtake 2 6 < 1598828015 840664 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{8, 22} < 1598828015 967002 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{8, 22, 13, 59, 75, 88, 94, 81, 62, 54, 0, 39, 60, 80, 23, 82} < 1598828015 967042 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{} < 1598828015 967051 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{} < 1598828015 967058 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{} < 1598828016 218990 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error listtake") < 1598828033 258313 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Heh. < 1598828273 146226 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def plisttake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (pcons A D)-> cons A (listtake_a P(-1+N)D)| _ _ _->throw"error listtake" ] (isint N)(N <= 0)(S()) ];; def plisttake = [N S -> listtake_a nil N S];; plisttake 7 [F->pcons 8[F->pcons 22[F->pcons 13[F->nil]]]] < 1598828273 459652 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:163:syntactical:primary expression expected < 1598828290 14122 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def plisttake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (pcons A D)-> cons A (listtake_a P(-1+N)D)| _ _ _->throw"error listtake" ] (isint N)(N <= 0)(S()) ];; def plisttake = [N S -> plisttake_a nil N S];; < 1598828290 407537 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:163:syntactical:primary expression expected < 1598828302 576345 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def plisttake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (pcons A D)-> cons A (plisttake_a P(-1+N)D)| _ _ _->throw"error plisttake" ] (isint N)(N <= 0)(S()) ];; def plisttake = [N S -> plisttake_a nil N S];; < 1598828302 882519 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:165:syntactical:primary expression expected < 1598828307 393918 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def plisttake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (pcons A D)-> cons A (plisttake_a P(-1+N)D)| _ _ _->throw"error plisttake" ] (isint N)(N <= 0)(S()) ] < 1598828307 644364 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:165:syntactical:primary expression expected < 1598828325 907091 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: () < 1598828326 157417 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:3:syntactical:primary expression expected < 1598828327 634132 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh < 1598828330 329308 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: unit < 1598828330 704932 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared unit < 1598828336 102762 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: nop < 1598828358 622708 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def plisttake_a = [P N S -> [1 _ nil->nil| 1 true _->nil| 1 false (pcons A D)-> cons A (plisttake_a P(-1+N)D)| _ _ _->throw"error plisttake" ] (isint N)(N <= 0)(S nop) ];; def plisttake = [N S -> plisttake_a nil N S];; < 1598828358 873398 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:221:syntactical:primary expression expected < 1598828381 446341 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data pcons;; data pnil;; data pforce;; < 1598828381 696702 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:40:syntactical:primary expression expected < 1598828384 258939 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data pcons;; data pnil;; data pforce < 1598828404 269359 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def plisttake_a = [P N S -> [1 _ pnil->nil| 1 true _->nil| 1 false (pcons A D)-> cons A (plisttake_a P(-1+N)D)| _ _ _->throw"error plisttake" ] (isint N)(N <= 0)(S nop) ];; def plisttake = [N S -> plisttake_a nil N S] < 1598828458 643177 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pst3 = [F->pcons 8[F->pcons 22[F->pcons 13[F->pnil]]]];; plisttake 7 pst3 < 1598828458 859178 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{8, 22, 13} < 1598828488 439733 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (plisttake 0 pst3, plisttake 2 pst3, plisttake 1 pst3, plisttake -1 pst3, plisttake 3 pst3) < 1598828488 690615 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :({}, {8, 22}, {8}, {}, {8, 22, 13}) < 1598828491 812854 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :looks good < 1598828527 609616 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def plisttake_a = [P N S -> [1 _ pnil->nil| 1 true _->nil| 1 false (pcons A D)-> cons A (plisttake_a P(-1+N)D)| _ _ _->throw"error plisttake" ] (isint N)(N <= 0)(S pforce) ];; def plisttake = [N S -> plisttake_a nil N S] < 1598828533 908203 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (plisttake 0 pst3, plisttake 2 pst3, plisttake 1 pst3, plisttake -1 pst3, plisttake 3 pst3, plisttake 7 pst3) < 1598828534 158770 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :({}, {8, 22}, {8}, {}, {8, 22, 13}, {8, 22, 13}) < 1598828756 482329 :dingwat!uid70835@gateway/web/irccloud.com/x-vcucyjmihjtxbsaj JOIN :#esoteric < 1598828911 568025 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :lol at -1+N < 1598829014 988745 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plistmember = [N H-> [pnil->false| (pcons A D)-> [true->true| false->plistmember N D| _->throw"error plistmember =="] (N==A)| _->throw"error plistmember uncons"] (H pforce)];; plistmember 7 pst3;; plistmember 8 pst3;; plistmember 13 pst3;; plistmember 12 pst3 < 1598829015 364472 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:14:syntactical:= unexpected < 1598829027 449638 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: 3==3 < 1598829027 825203 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1598829038 273888 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def plistmember = [N H-> [pnil->false| (pcons A D)-> [true->true| false->plistmember N D| _->throw"error plistmember =="] (N==A)| _->throw"error plistmember uncons"] (H pforce)];; plistmember 7 pst3;; plistmember 8 pst3;; plistmember 13 pst3;; plistmember 12 pst3 < 1598829038 649538 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:false < 1598829038 774358 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1598829038 899770 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1598829038 899821 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:false < 1598829042 309390 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :great < 1598829237 305427 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (-100)%9 < 1598829237 559116 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :-1 < 1598829240 433522 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (100)%9 < 1598829240 684427 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :1 < 1598829244 151927 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (100)%7 < 1598829244 402492 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :2 < 1598829429 33175 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :def pprimes_i = [N L-> [pnil->false| (pcons A D)-> [true _->true| _ false->false| false true->pprimes_i N D | _->throw"error pprimes_i =="] (0==(N%A)) (A*Athrow"error plistmember uncons"] (H pforce)];; (pprimes_i 15 pst3, pprimes_i 15 pst3, pprimes_i 8 pst3, pprimes_i 66 pst3, pprimes_i 88 pst3, pprimes_i 13 pst3, pprimes_i 39 pst3, pprimes_i 91 pst3) < 1598829436 597604 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_i = [N L-> [pnil->false| (pcons A D)-> [true _->true| _ false->false| false true->pprimes_i N D | _->throw"error pprimes_i =="] (0==(N%A)) (A*Athrow"error plistmember uncons"] (H pforce)];; (pprimes_i 15 pst3, pprimes_i 15 pst3, pprimes_i 8 pst3, pprimes_i 66 pst3, pprimes_i 88 pst3, pprimes_i 13 pst3, pprimes_i 39 pst3, pprimes_i 91 pst3) < 1598829436 846544 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:200:semantical:undeclared H < 1598829447 414158 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_i = [N L-> [pnil->false| (pcons A D)-> [true _->true| _ false->false| false true->pprimes_i N D | _->throw"error pprimes_i =="] (0==(N%A)) (A*Athrow"error plistmember uncons"] (L pforce)];; (pprimes_i 15 pst3, pprimes_i 15 pst3, pprimes_i 8 pst3, pprimes_i 66 pst3, pprimes_i 88 pst3, pprimes_i 13 pst3, pprimes_i 39 pst3, pprimes_i 91 pst3) < 1598829447 708139 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:false, System:false, System:true, System:true, System:true, System:false, System:false, System:false) < 1598829455 554740 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :nope < 1598829565 80626 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh right, wait < 1598829587 567507 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_i = [N L-> [pnil->false| (pcons A D)-> [true _->true| _ false->false| false true->pprimes_i N D | _->throw"error pprimes_i =="] (0==(N%A)) (A*Athrow"error plistmember uncons"] (L pforce)];; (pprimes_i 15 pst3, pprimes_i 15 pst3, pprimes_i 8 pst3, pprimes_i 66 pst3, pprimes_i 88 pst3, pprimes_i 13 pst3, pprimes_i 39 pst3, pprimes_i 91 pst3) < 1598829587 818254 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:+ bad arguments") < 1598829606 272801 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_i = [N L-> [pnil->false| (pcons A D)-> [true _->true| _ false->false| false true->pprimes_i N D | _->throw"error pprimes_i =="] (0==(N%A)) (A*Athrow"error plistmember uncons"] (L pforce)];; (pprimes_i 15 pst3, pprimes_i 15 pst3, pprimes_i 8 pst3, pprimes_i 66 pst3, pprimes_i 88 pst3, pprimes_i 13 pst3, pprimes_i 39 pst3, pprimes_i 91 pst3) < 1598829606 398325 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:false, System:false, System:true, System:true, System:true, System:true, System:true, System:true) < 1598829611 155003 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :still no < 1598829641 856792 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (pprimes_i 15 pst3, pprimes_i 16 pst3, pprimes_i 8 pst3, pprimes_i 66 pst3, pprimes_i 88 pst3, pprimes_i 13 pst3, pprimes_i 39 pst3, pprimes_i 91 pst3) < 1598829642 58472 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:false, System:true, System:true, System:true, System:true, System:true, System:true, System:true) < 1598829645 654537 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :better < 1598829683 198146 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (pprimes_i 17 pst3, pprimes_i 4 pst3, pprimes_i 67 pst3, pprimes_i 89 pst3, pprimes_i 14 pst3, pprimes_i 38 pst3, pprimes_i 91 pst3) < 1598829683 450759 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(System:false, System:false, System:false, System:false, System:false, System:false, System:true) < 1598829694 219475 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ok < 1598829723 771652 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_i = [N L-> [pnil->false| (pcons A D)-> [true _->true| _ false->false| false true->pprimes_i N D | _->throw"error pprimes_i =="] (0==(N%A)) (A*Athrow"error plistmember uncons"] (L pforce)];; "ok" < 1598829724 22083 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1598829827 967410 :Arcorann__!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1598830409 69840 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data pprimes_u;; pprimes_sa = [B L F P->[ [true R->R| false->[_->pcons F R]] (pprimes_i F L) [_->pprimes_sa B L(1+F)P] |_->P](F pprimes_u (B*B) (pprimes_sa B L 2 [_->pnil])];; plisttake 149 (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil])))) < 1598830409 445910 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:30:syntactical:= unexpected < 1598830434 581158 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data pprimes_u;; def pprimes_sa = [B L F P->[ [true R->R| false->[_->pcons F R]] (pprimes_i F L) [_->pprimes_sa B L(1+F)P] |_->P](F pprimes_u (B*B) (pprimes_sa B L 2 [_->pnil])];; plisttake 149 (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil])))) < 1598830434 832125 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:48:syntactical:-> expected < 1598830464 808956 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data pprimes_u;; def pprimes_sa = [B L F P->[ [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) [_->pprimes_sa B L(1+F)P] |_->P](F pprimes_u (B*B) (pprimes_sa B L 2 [_->pnil])];; plisttake 149 (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil])))) < 1598830465 59824 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:48:syntactical:-> expected < 1598830475 714425 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data pprimes_u;; def pprimes_sa = [B L F P->[ [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) [_->pprimes_sa B L(1+F)P] |_->P](F expected < 1598830483 384288 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ah < 1598830507 527030 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data pprimes_u;; def pprimes_sa = [B L F P->[true R->R| _ R->[_->pcons F R]] (pprimes_i F L) [_->pprimes_sa B L(1+F)P] |_->P](F[true [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) [_->pprimes_sa B L(1+F)P] |_->P](F expected < 1598830589 103611 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: data pprimes_u;; def pprimes_sa = [B L F P-> [true-> [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) [_->pprimes_sa B L(1+F)P] |_->P ](F pprimes_u (B*B) (pprimes_sa B L 2 [_->pnil])];; plisttake 149 (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil])))) < 1598830607 796608 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598830635 507364 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: plisttake 3 pst3 < 1598830635 761517 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{8, 22, 13} < 1598830666 566044 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh right < 1598830680 858463 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :What is it? < 1598830727 212579 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(pprimes_u B L) -> plisttake 149 L] (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil]))))) < 1598830727 588761 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:98:syntactical:) unexpected < 1598830730 387762 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(pprimes_u B L) -> plisttake 149 L] (pprimes_s (pprimes_s (pprimes_s (pprimes_u 2 [_->pnil])))) < 1598830730 631702 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598830757 638789 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(pprimes_u B L) -> plisttake 149 L] (pprimes_u 2 [_->pnil]) < 1598830757 889555 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{} < 1598830764 125255 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(pprimes_u B L) -> plisttake 149 L] (pprimes_s (pprimes_u 2 [_->pnil])) < 1598830764 375814 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{} < 1598830766 200605 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :wow, someone's having fun. < 1598830772 528121 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: I'm trying to make a prime sieve < 1598830788 255056 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :there's still a step after this, because I have to automatically figure out how many times to iterate pprimes_s < 1598830796 41582 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but first I have to debug this < 1598830808 11125 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(pprimes_u B L) -> (B, plisttake 149 L)] (pprimes_s (pprimes_u 2 [_->pnil])) < 1598830808 305107 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(4, {}) < 1598830812 912689 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that's wrong < 1598830820 55221 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (pprimes_s (pprimes_u 2 [_->pnil])) < 1598830820 305613 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pprimes_u 4 pprimes_sDOT0) < 1598830839 277343 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(pprimes_u B L) -> (L pforce)] (pprimes_s (pprimes_u 2 [_->pnil])) < 1598830839 545456 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :pnil < 1598830893 450486 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: pprimes_i 2 [_->pnil] < 1598830893 701123 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:false < 1598830896 224510 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: pprimes_i 3 [_->pnil] < 1598830896 477662 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:false < 1598830941 721652 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: pprimes_sa 4 [_->pnil] 2 [_->pnil] < 1598830941 971889 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pprimes_saDOT0 2 (pprimes_saDOT2 4 Dummy47DOT0 2 Dummy47DOT1)) < 1598830951 698455 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that's not even the right type < 1598831010 345437 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: "so the definition was";nop;; def pprimes_sa = [B L F P-> [true-> [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) [_->pprimes_sa B L(1+F)P] |_->P ](Fpnil] 2 [_->pnil] < 1598831010 667990 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pprimes_saDOT0 2 (pprimes_saDOT2 4 Dummy49DOT0 2 Dummy49DOT1)) < 1598831015 884259 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :let's debug that < 1598831022 531860 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :although I should probably leave that for tomorrow < 1598831030 166571 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :it's getting late < 1598831095 133632 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [B L F P-> [true-> [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) [_->"subst"] |_->P ](Fpnil] 2 [_->pnil] < 1598831095 509847 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Dummy50DOT0 2 Dummy50DOT2) < 1598831128 843125 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [B L F P-> (Fpnil] 2 [_->pnil] < 1598831129 97468 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1598831170 810953 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [B L F P-> [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) [_->"subst"] ] 4 [_->pnil] 2 [_->pnil] < 1598831171 61744 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Dummy52DOT0 2 Dummy52DOT2) < 1598831205 714742 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [B L F P-> (pprimes_i F L) ] 4 [_->pnil] 2 [_->pnil] < 1598831205 914762 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:false < 1598831221 625149 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :oh wait < 1598831229 198222 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [B L F P-> [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) [_->"subst"] ] 4 [_->pnil] 2 [_->pnil] pforce < 1598831229 574151 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pcons 2 Dummy54DOT2) < 1598831234 5181 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that is the right result < 1598831245 618153 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :at least its pcar is < 1598831269 571573 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [pcons A D -> D pforce] ([B L F P-> [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) [_->"subst"] ] 4 [_->pnil] 2 [_->pnil] pforce) < 1598831269 945894 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Dummy55DOT0 (pcons 2 Dummy55DOT3)) < 1598831277 407023 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :but that's wrong < 1598831311 120783 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [B L F P-> [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) "substr" ] 4 [_->pnil] 2 [_->pnil] pforce < 1598831311 496480 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pcons 2 "substr") < 1598831334 612703 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: pprimes_sa 4 [_->pnil] 2 [_->pnil] pforce < 1598831334 988971 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pcons 2 (pprimes_saDOT2 4 Dummy57DOT0 2 Dummy57DOT1)) < 1598831357 722162 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: [pcons A D -> D pforce] (pprimes_sa 4 [_->pnil] 2 [_->pnil] pforce) < 1598831358 98521 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Dummy58DOT0 (pcons 2 (pprimes_saDOT2 4 Dummy58DOT1 2 Dummy58DOT2))) < 1598831362 913469 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :that's wrong < 1598831383 50772 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :ah < 1598831443 554336 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_sa = [B L F P-> [true-> [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) pprimes_sa B L(1+F)P |_->P ](Fpnil] 2 [_->pnil] < 1598831443 700536 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pcons 2 pprimes_sa Dummy59DOT0 3 Dummy59DOT1) < 1598831463 293968 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_sa = [B L F P-> [true-> [true R->R| _ R->[_->pcons F R]] (pprimes_i F L) pprimes_sa B L(1+F)P |_->P ](Fpnil] 2 [_->pnil]) < 1598831463 544476 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598831475 766138 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :only even if that's right, it's too strict < 1598831489 805733 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :I mean too eager (non-lazy) < 1598831510 445925 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I have no idea what you're doing? < 1598831524 640543 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_sa = [B L F P _-> [true-> [true R->R| _ R->pcons F R] (pprimes_i F L) (pprimes_sa B L(1+F)P) |_->P ](Fpnil] 2 [_->pnil]) < 1598831524 890638 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error plisttake") < 1598831537 52099 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_sa = [B L F P _-> [true-> [true R->R| _ R->pcons F R] (pprimes_i F L) (pprimes_sa B L(1+F)P) |_->P ](Fpnil] 2 [_->pnil]) < 1598831537 428098 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pprimes_sa 4 Dummy62DOT0 2 Dummy62DOT1) < 1598831614 179365 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :why is there even a P argument in that? < 1598831667 947545 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_sa = [B L F _-> [true-> [true R->R| _ R->pcons F R] (pprimes_i F L) (pprimes_sa B L(1+F)) |_->[_->nil] ](Fpnil] 2) < 1598831668 239710 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pprimes_sa 4 Dummy63DOT0 2) < 1598831707 505449 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :spruit11: I'm trying to get the lazylist of primes between F and B half-inclusive, provided that L is a list of primes from 2 to at least the square root of B < 1598831756 979860 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :here I'm testing with (B,L,F)=(2,[_->nil],4), the first nontrivial case, the result should be {2,3} in lazy list form < 1598831790 216403 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: def pprimes_sa = [B L F _-> [true-> [true R->R| _ R->pcons F R] (pprimes_i F L) (pprimes_sa B L(1+F)) |_->[_->nil] ](Fpnil] 2) < 1598831790 384290 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pprimes_sa 4 Dummy64DOT0 2) < 1598831808 131122 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :egelbot: (pprimes_sa 4 [_->pnil] 2) pforce < 1598831808 501698 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pcons 2 (pprimes_sa 4 Dummy65DOT0 3)) < 1598831809 86887 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Heh. < 1598831835 15174 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Is this Okasaki voodoo? < 1598831944 783044 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :then pprimes_s , which I'll have to modify now, will do the same but automatically pass the correct B, and then I just need to do like six iterations or so of pprimes_s to get the lazy list of all primes < 1598831996 827340 :b_jonas!~x@catv-176-63-11-192.catv.broadband.hu PRIVMSG #esoteric :and after that, I just need a function to print a prefix of that list up to a bound you request, and since it's all lazy, it won't actually force the infinite list of primes, only force it up to that bound