< 1580774661 357996 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :LKoen: That isn't the only problem with the syntax for types; also combined types are confusing. < 1580774672 371819 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr PRIVMSG #esoteric :how so? < 1580774828 801117 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :For example, if you want a function that returns a pointer to an array of function pointers, or something else complicated, then syntax can get mixed up if you do not use typedef. < 1580775901 129452 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1580776140 577669 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1580776247 238087 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 272 seconds < 1580776311 918311 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1580779997 443376 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580780284 661889 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1580780391 645364 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1580780656 951335 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric > 1580781171 281249 PRIVMSG #esoteric :14[[07User:Lebster14]]4 10 02https://esolangs.org/w/index.php?diff=69592&oldid=69357 5* 03Lebster 5* (+21) 10/* Languages I like */ > 1580781830 429729 PRIVMSG #esoteric :14[[07StupidStackLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=69593&oldid=69464 5* 03Lebster 5* (-16) 10/* Print the Fibonacci Sequence */ < 1580785097 271495 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this latest oots comic makes me worry that at some point mr. scruffy will leap at the snarl, thinking it's a yarn < 1580785112 816870 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it might be a foreshadowing < 1580788168 455768 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :I read that Windows 10 will sometimes reboot the computer due to update even if it is in use, but will it do that even if the defragment is in progress? < 1580790386 745211 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: aaaa < 1580791498 223358 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1580792501 137028 :hakatashi!~hakatashi@104.131.49.125 QUIT :Remote host closed the connection < 1580792535 572422 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric < 1580792743 352739 :sparr!~sparr@pdpc/supporter/active/sparr QUIT :Ping timeout: 245 seconds < 1580793222 377323 :sparr_!~sparr@2604:a880:800:10::103:f001 JOIN :#esoteric < 1580793581 44862 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1580793586 276923 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1580795964 240969 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1580796662 653877 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580797090 892010 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Read error: Connection reset by peer < 1580797123 272453 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580798184 611299 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1580798218 445658 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric < 1580799096 229586 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds < 1580799189 433720 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580799506 588121 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Remote host closed the connection < 1580799524 842157 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580801091 682500 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@metar lowi < 1580801092 399085 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LOWI 040650Z 26025G41KT 9999 -SHRA FEW010 SCT025 OVC040 06/02 Q1009 BECMG 27015G30KT < 1580801097 439003 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(eww) < 1580803404 304696 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1580803628 655224 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 268 seconds > 1580806235 52657 PRIVMSG #esoteric :14[[07Isthmus Cyclicus Crypticus14]]4 M10 02https://esolangs.org/w/index.php?diff=69594&oldid=69261 5* 03Salpynx 5* (+113) 10/* Hello, World! */ not much of an improvement, but shows combinations of cardinal directions < 1580806441 590501 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric > 1580807869 716687 PRIVMSG #esoteric :14[[07User talk:RocketRace14]]4 10 02https://esolangs.org/w/index.php?diff=69595&oldid=69232 5* 03RocketRace 5* (+117) 10 > 1580808517 729216 PRIVMSG #esoteric :14[[07Isthmus Cyclicus Crypticus14]]4 10 02https://esolangs.org/w/index.php?diff=69596&oldid=69594 5* 03Salpynx 5* (+31) 10/* External resources */ link to wip interpreter < 1580809687 899245 :b_jonas!~x@catv-176-63-14-41.catv.broadband.hu QUIT :Quit: leaving < 1580810920 462370 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net PART :#esoteric < 1580812675 758874 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds < 1580812753 246488 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580813045 247049 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds < 1580813086 862088 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580814021 119771 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1580814379 278576 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 265 seconds < 1580814485 547624 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1580814849 805982 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-rzmhbumqynljwcem QUIT :*.net *.split < 1580814850 107680 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :*.net *.split < 1580814850 190842 :Frater_EST!adrianbibl@172.242.0.73 QUIT :*.net *.split < 1580814850 312102 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :*.net *.split < 1580814850 740146 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :*.net *.split < 1580814851 120585 :shinh_!~i@129.EC0234U.cyberhome.ne.jp QUIT :*.net *.split < 1580814851 120627 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :*.net *.split < 1580814851 120634 :aji!~alex@unaffiliated/aji QUIT :*.net *.split < 1580814851 403415 :dog_star!sid310875@gateway/web/irccloud.com/x-toqlxxzqvgkymquo QUIT :*.net *.split < 1580814853 544725 :shig!~davidb@inara.oztechninja.com QUIT :*.net *.split < 1580814853 544762 :LBPHacker!lbphacker@trigraph.net QUIT :*.net *.split < 1580814853 723745 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :*.net *.split < 1580814855 179834 :zemhill_________!bfjoust@selene.zem.fi QUIT :*.net *.split < 1580814855 376363 :dnm!sid401311@gateway/web/irccloud.com/x-gmxvxmjatyyrbvfi QUIT :*.net *.split < 1580815029 617914 :fizzie!fis@unaffiliated/fizzie QUIT :*.net *.split < 1580815038 26297 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1580815069 693941 :dog_star!sid310875@gateway/web/irccloud.com/x-toqlxxzqvgkymquo JOIN :#esoteric < 1580815069 701931 :shig!~davidb@inara.oztechninja.com JOIN :#esoteric < 1580815069 701963 :LBPHacker!lbphacker@trigraph.net JOIN :#esoteric < 1580815081 329379 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-rzmhbumqynljwcem JOIN :#esoteric < 1580815082 294837 :diverger!~div@124.150.139.142 QUIT :*.net *.split < 1580815082 309503 :zzo38!~zzo38@24.207.50.7 QUIT :*.net *.split < 1580815082 795715 :aloril!~aloril@mobile-access-2e840c-41.dhcp.inet.fi QUIT :*.net *.split < 1580815083 100854 :nchambers!uplime@learnprogramming/staff/nchambers QUIT :*.net *.split < 1580815083 166326 :vertrex!~vertrex@unaffiliated/vertrex QUIT :*.net *.split < 1580815083 526232 :Lykaina!~lyka@unaffiliated/schrodingerscat QUIT :*.net *.split < 1580815083 565159 :laerling!~lsf@unaffiliated/laerling QUIT :*.net *.split < 1580815083 982427 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs QUIT :*.net *.split < 1580815091 639710 :vertrex!~vertrex@digital-forensic.org JOIN :#esoteric < 1580815108 861580 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1580815108 873898 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1580815108 873942 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric < 1580815108 873952 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN :#esoteric < 1580815110 609108 :vertrex!~vertrex@digital-forensic.org QUIT :Changing host < 1580815110 610083 :vertrex!~vertrex@unaffiliated/vertrex JOIN :#esoteric < 1580815126 709411 :shinh_!~i@129.EC0234U.cyberhome.ne.jp JOIN :#esoteric < 1580815126 716816 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric < 1580815126 716856 :aji!~alex@unaffiliated/aji JOIN :#esoteric < 1580815134 736964 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1580815134 744369 :zemhill_________!bfjoust@selene.zem.fi JOIN :#esoteric < 1580815134 744398 :dnm!sid401311@gateway/web/irccloud.com/x-gmxvxmjatyyrbvfi JOIN :#esoteric < 1580815158 866900 :laerling!~lsf@static.235.77.203.116.clients.your-server.de JOIN :#esoteric < 1580815187 122225 :laerling!~lsf@static.235.77.203.116.clients.your-server.de QUIT :Changing host < 1580815187 122285 :laerling!~lsf@unaffiliated/laerling JOIN :#esoteric < 1580815213 851368 :nchambers!uplime@learnprogramming/staff/nchambers JOIN :#esoteric < 1580815236 577750 :aloril!~aloril@mobile-access-2e840c-41.dhcp.inet.fi JOIN :#esoteric < 1580815296 53364 :^[!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep QUIT :Ping timeout: 252 seconds < 1580815310 306999 :diverger!~div@124.150.139.142 JOIN :#esoteric < 1580815370 427603 :^[!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep JOIN :#esoteric < 1580815389 338861 :Lykaina!~lyka@unaffiliated/schrodingerscat JOIN :#esoteric < 1580815601 318323 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs JOIN :#esoteric < 1580816424 926725 :nico_nico!~khais@arennes-653-1-356-84.w109-218.abo.wanadoo.fr JOIN :#esoteric < 1580816433 765975 :nico_nico!~khais@arennes-653-1-356-84.w109-218.abo.wanadoo.fr QUIT :Client Quit < 1580816447 5533 :nico_nico!~nico_nico@arennes-653-1-356-84.w109-218.abo.wanadoo.fr JOIN :#esoteric < 1580817253 880104 :LBPHacker!lbphacker@trigraph.net QUIT :Quit: Entering cryogenic sleep in three, two, on-- < 1580817398 666344 :LBPHacker!lbphacker@trigraph.net JOIN :#esoteric < 1580819087 267990 :nico_nico!~nico_nico@arennes-653-1-356-84.w109-218.abo.wanadoo.fr QUIT :Quit: Leaving < 1580819371 932426 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1580819450 932788 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1580819451 867217 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1580820013 835784 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oerjan: he'll leave and disappear after Belkar's death, possibly to be seen once more at Belkar's funeral in the epilogue (like Eto Demerzel at Hari Seldon's funeral or Fawkes at Dumbledore's funeral), so he just won't have the opportunity to meet the snarl. < 1580820049 177101 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :he may do one last vengeance rampange before disappearing of course, depending on how exactly Belkar dies < 1580823809 628868 :oren!~oren@ec2-18-234-164-48.compute-1.amazonaws.com JOIN :#esoteric > 1580824173 295012 PRIVMSG #esoteric :14[[07LSCEF14]]4 10 02https://esolangs.org/w/index.php?diff=69597&oldid=69576 5* 03IFcoltransG 5* (+235) 10/* Usage in interpreters */ Added SWI-Prolog > 1580827801 117231 PRIVMSG #esoteric :14[[07LSCEF14]]4 10 02https://esolangs.org/w/index.php?diff=69598&oldid=69597 5* 03IFcoltransG 5* (+454) 10/* Usage in interpreters */ Added Chez Scheme > 1580827890 448237 PRIVMSG #esoteric :14[[07LSCEF14]]4 M10 02https://esolangs.org/w/index.php?diff=69599&oldid=69598 5* 03IFcoltransG 5* (+29) 10/* Usage in interpreters */ Amended comments in implementations < 1580830082 900518 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1580831833 784582 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Here are some possible transposition typos for `git`: `fur`, `hoy`, `dye` < 1580831866 843617 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I am no stranger to `hoy status`. < 1580831932 509535 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :cpressey: because hands can be out of sync, "hot", "die" < 1580832173 101528 :egelbot!~egelbot@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1580832202 276942 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [X -> say X] "hello!" < 1580832202 390504 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :hello! < 1580832215 36794 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :\o/ < 1580832241 306843 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: are you the replacement to kspalaiologos's bfbot? < 1580832241 417456 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:44:lexical:error in char < 1580832247 3803 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Can I occassionally run a bot here? < 1580832250 530189 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :sure < 1580832254 27127 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :if it's not too spammy < 1580832264 97946 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :if it does cause too much spam then take it to #esoteric-blah < 1580832280 310742 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's my own language. < 1580832304 281360 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`echo egelbot: hi < 1580832307 46920 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :egelbot: hi < 1580832307 203770 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared hi < 1580832313 314540 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It only responds when you send it an expression. < 1580832336 727900 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :`echo egelbot: say "hi"` < 1580832337 461392 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :egelbot: say "hi"` < 1580832337 588501 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:10:lexical:unrecognized lexeme ` < 1580832340 923200 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: say "`echo hi" < 1580832341 13387 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :`echo hi < 1580832341 765538 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :hi < 1580832381 231218 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: agitprop < 1580832381 418280 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :visit https://egel-lang.github.io/ < 1580832397 144037 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :^if you want to know more, read there. < 1580832397 563452 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I remember in another channel there was one bot that had a brainfuck interpreter, and one bot that printed the titles of webpages anyone linked < 1580832409 688161 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ooh, there's loke a documentation < 1580832437 727233 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's an untyped rewriter. Think untyped lambda calculus with constants. < 1580832441 406591 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Taneb: yeah, there are some of those titlebots in some channels of irc. they're pretty annoying < 1580832441 497185 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Someone, naturally, made a brainfuck program that printed a URL, and put a webpage with that program as its title up < 1580832451 573467 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Which caused a loop < 1580832472 456357 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :That channel now has a policy that all bots must use NOTIFY and not respond to NOTIFY < 1580832475 872093 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I can't really call it a proper PL so I thought maybe some of you would be interested. < 1580832487 450680 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Taneb: do you mean NOTICE rather than NOTIFY? < 1580832493 23556 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Quite possibly < 1580832546 422425 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Yes, I do < 1580832574 644570 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: say "hello,\nPRIVMSG #esoteric :fellow esoteric bots" < 1580832574 743196 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :hello,-PRIVMSG #esoteric :fellow esoteric bots < 1580832616 603044 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The bot is not really hardened. < 1580832617 186040 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit11: sorry, there are some stupid commands that we have to test whenever something like an evaluator bot wanders in here < 1580832635 654693 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But I won't run it when I am not online. < 1580832644 801419 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's easy to make it loop. < 1580832778 160369 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: [ X -> X X ] [ X -> X X ] < 1580832805 507575 :egelbot!~egelbot@ip56522cc1.speed.planet.nl QUIT :Remote host closed the connection < 1580832822 772483 :egelbot!~egelbot@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1580832822 789597 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Be nice to the bot! < 1580832859 864372 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 98 + 46 + -36 + 80 + -20 + -90 + 13 + -3 + 60 + -68 + 20 + 55 + -46 + 47 + 42 + -2 + 34 + -1 + 28 < 1580832860 331535 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :257 < 1580832873 657363 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`perl -eprint(98 + 46 + -36 + 80 + -20 + -90 + 13 + -3 + 60 + -68 + 20 + 55 + -46 + 47 + 42 + -2 + 34 + -1 + 28) < 1580832874 454442 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :257 < 1580832876 811597 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Is that correct? < 1580832881 793983 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, neat. < 1580832897 597417 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Nice try, I am not that certain about my parsing. < 1580832922 383875 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: 65536*65536 < 1580832922 842996 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :4294967296 < 1580832932 743478 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: 4294967296*4294967296 < 1580832933 338745 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:* 4294967296 4294967296) < 1580832947 885681 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It refuses to rewrite on overflow. < 1580832949 885586 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 2 3 < 1580832950 522944 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(2 3) < 1580832954 407778 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Occassionaly. < 1580832956 141912 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 1 + 2 3 < 1580832956 632528 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:+ 1 (2 3)) < 1580832961 254390 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 1 + < 1580832961 763198 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:6:syntactical:primary expression expected < 1580832965 111511 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: + 2 < 1580832965 558958 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared !+ < 1580832977 571955 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 1 + + 2 < 1580832978 125342 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:6:semantical:undeclared !+ < 1580832999 303571 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, it complains it cannot find a monadic +. < 1580833028 464069 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let vn = {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} < 1580833028 827167 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:78:syntactical:in expected < 1580833033 451424 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let vn = {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} in vn[0] < 1580833033 983305 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:86:syntactical:-> expected < 1580833054 528852 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Bit of a hack, when it decides you wanted a monadic +, it looks for !+ in the context. < 1580833059 801729 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let vn = {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} in car 0 < 1580833060 410521 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:6:semantical:undeclared vn < 1580833071 742960 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's not a lisp. < 1580833088 439928 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Few things are these days < 1580833095 902308 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let vn = {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} in [cons x y -> x] vn < 1580833096 309499 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:6:semantical:undeclared vn < 1580833099 863981 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Variables are uppercase. < 1580833113 341236 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :doesn't have to be a list to have useful library functions < 1580833119 424640 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} in [cons x y -> x] Vn < 1580833119 861613 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:88:semantical:undeclared x < 1580833134 24538 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh, so lowercase words are taken as constructors or something? < 1580833134 713840 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :X Y < 1580833138 961891 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} in [cons X Y -> x] Vn < 1580833139 433914 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:95:semantical:undeclared x < 1580833139 673931 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. < 1580833143 657330 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :as in prolog < 1580833144 342348 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ok < 1580833149 237822 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} in [cons X Y -> X] Vn < 1580833149 627576 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy11DOT0 (System:cons 38 (System:cons 32 (System:cons 75 (System:cons -24 (System:cons -19 (System:cons 53 (System:cons 14 (System:cons 13 (System:cons -28 (System:cons -52 (System:cons 93 (System:cons 90 (System:cons 80 (System:cons 22 (System:cons -98 (System:cons -14 (System:cons -96 (System:cons -81 (System:cons -95 System:nil)))))))))))))))))))) < 1580833155 740124 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :nope < 1580833156 292244 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Constants or combinators. < 1580833178 201267 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'm trying to get 38 but this didn't give that < 1580833183 96611 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} in [ cons X Y -> X ] Vn < 1580833183 703078 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy12DOT0 (System:cons 38 (System:cons 32 (System:cons 75 (System:cons -24 (System:cons -19 (System:cons 53 (System:cons 14 (System:cons 13 (System:cons -28 (System:cons -52 (System:cons 93 (System:cons 90 (System:cons 80 (System:cons 22 (System:cons -98 (System:cons -14 (System:cons -96 (System:cons -81 (System:cons -95 System:nil)))))))))))))))))))) < 1580833200 836641 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(cons X Y) < 1580833230 967910 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: let X = {1,2} in [ (cons X Y) -> X ] X < 1580833231 117120 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1580833231 749344 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in [ System:cons X Y -> X ] Vn < 1580833232 343777 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy14DOT0 (System:cons 38 (System:cons 32 (System:cons 75 (System:cons -24 System:nil))))) < 1580833243 299270 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh right, parenthesis < 1580833248 878026 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in [ (System:cons X Y) -> X ] Vn < 1580833249 417748 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :38 < 1580833267 504878 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, your lambda was a ternary combinator. < 1580833278 818226 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let X = 38; Y = 32 in X < 1580833279 195487 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:16:syntactical:in expected < 1580833282 612841 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let X = 38, Y = 32 in X < 1580833283 87976 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:12:syntactical:in expected < 1580833288 994246 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let X Y = 38 = 32 in X < 1580833289 437973 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:15:syntactical:in expected < 1580833291 889805 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let X Y = 38 32 in X < 1580833292 325587 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy16DOT0 (38 32)) < 1580833304 6306 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let {X,Y} = {38,32} in X < 1580833304 554948 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :38 < 1580833357 174282 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It sometimes refuses to rewrite an introduced unknown combinator (/LC expression). Usually, those start with Dummy. < 1580833368 150486 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's not very user friendly. < 1580833374 54788 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Just me goofing. < 1580833432 374940 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in let Sum = [ nil -> 0 | X S -> X + (Sum Y) ] in Sum Vn < 1580833432 808843 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:64:semantical:undeclared Sum < 1580833449 225933 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :do I need a Y combinator for this? < 1580833454 279235 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :let X = F in E gets rewritten to [ X -> E ] F. [X->E] to Dummy something. < 1580833468 642689 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in let SumW F = [ nil -> 0 | X S -> X + (F Y) ] in SumW SumW Vn < 1580833469 191832 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:67:semantical:undeclared F < 1580833481 84539 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yah, you can either use top level recursive defs or local Y combinators. < 1580833500 43588 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in let SumW = [ F nil -> 0 | F (cons X S) -> X + (F Y) ] in SumW SumW Vn < 1580833500 488819 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:78:semantical:undeclared Y < 1580833504 214087 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Local lets aren't recursive. < 1580833509 30432 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in let Sum = [ nil -> 0 | (cons X S) -> X + (Sum Y) ] in Sum Vn < 1580833509 437947 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:71:semantical:undeclared Sum < 1580833525 265095 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in let SumW = [ F nil -> 0 | F (cons X S) -> X + (Sum Y) ] in SumW SumW Vn < 1580833525 845190 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:76:semantical:undeclared Sum < 1580833531 415924 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in let SumW = [ F nil -> 0 | F (cons X S) -> X + (F Y) ] in SumW SumW Vn < 1580833531 803758 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:78:semantical:undeclared Y < 1580833536 503498 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in let SumW = [ F nil -> 0 | F (cons X S) -> X + (F S) ] in SumW SumW Vn < 1580833536 838171 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:+ 38 (Dummy24DOT1 (System:cons 32 (System:cons 75 (System:cons -24 System:nil))))) < 1580833538 674989 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: def fix f = f (fix f) < 1580833539 25430 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:10:syntactical:= expected < 1580833550 873986 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's eager. < 1580833559 180211 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Don't use lazy fixes. < 1580833568 576150 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Is that an eager fix? < 1580833573 144146 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :No, right? < 1580833574 709844 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I don't know < 1580833594 787618 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Eager fixes need some protection to not loop. Moment < 1580833599 819136 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: agitprop < 1580833600 39848 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :visit https://egel-lang.github.io/ < 1580833606 83750 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: def fix f x = f (fix f) x < 1580833606 608630 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:10:syntactical:= expected < 1580833610 72354 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :def vn = {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} < 1580833613 264276 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: def vn = {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} < 1580833620 759945 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: vn < 1580833621 415046 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 38 (System:cons 32 (System:cons 75 (System:cons -24 (System:cons -19 (System:cons 53 (System:cons 14 (System:cons 13 (System:cons -28 (System:cons -52 (System:cons 93 (System:cons 90 (System:cons 80 (System:cons 22 (System:cons -98 (System:cons -14 (System:cons -96 (System:cons -81 (System:cons -95 System:nil))))))))))))))))))) < 1580833635 496206 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: def fix F X = F (fix F) X < 1580833636 42996 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:10:syntactical:= expected < 1580833644 931926 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: def fix = [ F X -> F (fix F) X ] < 1580833649 860350 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: def fix = [ F -> F [ X -> (fix F) X ] ] < 1580833680 14728 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: "foo"+"bar" < 1580833680 493275 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"foobar" < 1580833684 472855 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: "foo"+2 < 1580833684 980874 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:+ "foo" 2) < 1580833690 274521 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: "foo" + 2 < 1580833690 766437 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:+ "foo" 2) < 1580833701 162217 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: "foo" + (chr 110) < 1580833701 732776 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:11:semantical:undeclared chr < 1580833701 732805 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It refuses to rewrite that. < 1580833703 658646 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: def fix = [ F X -> F (fix F) X ] < 1580833755 181673 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: fix [FAC 0 -> 1 | FAC N -> N * (FAC (N- 1)) ] 5 < 1580833755 343422 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :120 < 1580833760 216740 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 2; 3 < 1580833760 820314 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :3 < 1580833761 128491 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: let F = [ F -> [ 0 -> 1 | 1 -> 1 | X -> F (X - 2) + F (X - 1)] ] in fix F 5 < 1580833761 711828 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :8 < 1580833777 753883 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: def xn = 1; 3 + xn < 1580833810 644165 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 4 + xn < 1580833814 993253 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hmm. < 1580833836 705446 :int-e!~noone@int-e.eu PRIVMSG #esoteric : egelbot: def fix = [ F -> F (fix F) ] < 1580833839 342727 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: let F = [ F -> [ 0 -> 1 | 1 -> 1 | X -> F (X - 2) + F (X - 1)] ] in fix F 5 < 1580833843 504641 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You found a bug? < 1580833846 921383 :egelbot!~egelbot@ip56522cc1.speed.planet.nl QUIT :Read error: Connection reset by peer < 1580833848 521655 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm < 1580833851 140336 :int-e!~noone@int-e.eu PRIVMSG #esoteric :okay. < 1580833854 95139 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hi int-e < 1580833861 429891 :egelbot!~egelbot@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1580833863 261923 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Not sure what happened there. < 1580833872 966087 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: def fix = [ F X -> F (fix F) X ] < 1580833885 760289 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: def xn = 1 < 1580833892 310877 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: xn + 3 < 1580833892 442637 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :4 < 1580833896 38073 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hmm. < 1580833904 832888 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :wait, you haven't been welcomed yet < 1580833908 306506 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`welcome spruit11 < 1580833909 745346 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :spruit11: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1580833911 485353 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`welcome egelbot < 1580833912 789260 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :egelbot: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1580833912 857983 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:90:syntactical:! unexpected < 1580833913 344417 :int-e!~noone@int-e.eu PRIVMSG #esoteric :spruit11: I guess F -> F (fix F) is too eager indeed. < 1580833923 392324 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Something I'll need to check. Haven't looked at the source code for a while. < 1580833927 759856 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hello people! < 1580833954 555961 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh right. It's a recursive def of xn. < 1580833958 883644 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: }+{32} < 1580833959 1728 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:syntactical:primary expression expected < 1580833962 254521 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: {38}+{32} < 1580833962 502134 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:+ (System:cons 38 System:nil) (System:cons 32 System:nil)) < 1580833977 358923 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :def xn = (1; 3+ xn). That loops. < 1580833983 504931 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh. < 1580833995 332251 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so how do I put two statements in one line, the first of which is a defn? < 1580833998 921862 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'm not clear about the syntax here < 1580834010 341370 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: let sum = fix [SUM {} -> 0 | SUM (cons x y) -> x + SUM y] in sum {1,2,3,4} < 1580834010 416028 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:41:semantical:undeclared x < 1580834014 563856 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You can't in the irc REPL. < 1580834021 180761 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ok < 1580834021 544506 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: let sum = fix [SUM {} -> 0 | SUM (cons X Y) -> X + SUM Y] in sum {1,2,3,4} < 1580834021 670322 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:6:semantical:undeclared sum < 1580834029 761343 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah... < 1580834030 272937 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's either a def or an expression. < 1580834040 63173 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: let SUM = fix [SUM {} -> 0 | SUM (cons X Y) -> X + SUM Y] in SUM {1,2,3,4} < 1580834040 141253 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :10 < 1580834041 995234 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38&32 < 1580834042 59276 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:4:semantical:undeclared & < 1580834046 402617 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38 | 32 < 1580834046 553146 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:syntactical:| unexpected < 1580834049 99255 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38 & 32 < 1580834049 247641 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:semantical:undeclared & < 1580834050 717420 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The capital variable names are killing me. < 1580834053 353826 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38 < 32 < 1580834053 526258 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580834059 966922 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38 <= 32 < 1580834060 70871 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580834062 693738 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38 == 32 < 1580834062 830426 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580834064 725890 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38 = 32 < 1580834064 776311 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:syntactical:= unexpected < 1580834073 644277 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38 != 32 < 1580834073 693505 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:syntactical:!= unexpected < 1580834079 458805 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38 <> 32 < 1580834079 526572 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:semantical:undeclared <> < 1580834082 861994 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Had to make a decision. Prolog-like parsing simplifies a lot. < 1580834084 969559 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38 ~= 32 < 1580834085 25943 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:semantical:undeclared ~= < 1580834087 233722 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38 /= 32 < 1580834087 308801 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:semantical:undeclared /= < 1580834091 321480 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 38 ^= 32 < 1580834091 411777 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:semantical:undeclared ^= < 1580834107 100800 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: not false < 1580834107 451131 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580834118 818732 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :In an untyped language it's hard to disambiguate between constants and variables otherwise. < 1580834133 158839 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Simplified a lot. < 1580834168 17078 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::t Just < 1580834169 725243 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :a -> Maybe a < 1580834180 186782 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm kind of used to the opposite convention. < 1580834195 852271 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :[ X -> X ] (how do I know X is a variable or constant?) < 1580834196 153546 :j-bot!eldis4@firefly.nu PRIVMSG #esoteric :spruit11: X (- > X ] how do (8 8$0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0) know X is a variable or constant ?) < 1580834201 522964 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: one is the prolog convention, the other is the Standard ML or Haskell conventino < 1580834207 214566 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and I suspect the prolog one is older < 1580834250 598158 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, you can trace back to Prolog and found they took the simplest convention known at that point. < 1580834267 611452 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :there's also the cheating solution where constructors start with an uppercase letter, but there are a few lowercase keywords that are frequently constructors, like true false nil cons some none < 1580834268 379828 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It shaves of a context lookup and possible mistakes. < 1580834311 972923 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so back to that recursion, why did the definition of SumW that I try not work? < 1580834324 816637 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :let Vn = {38,32,75,-24} in let SumW = [ F nil -> 0 | F (cons X S) -> X + (F S) ] in SumW SumW Vn < 1580834330 28829 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in let SumW = [ F nil -> 0 | F (cons X S) -> X + (F S) ] in SumW SumW Vn < 1580834330 110731 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:+ 38 (Dummy15DOT1 (System:cons 32 (System:cons 75 (System:cons -24 System:nil))))) < 1580834343 671736 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Dunno. < 1580834362 693688 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Don't you need fix? < 1580834374 586315 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: because you need to invoke the recursive call using F F < 1580834374 623435 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Not sure what you're doing/ < 1580834389 156971 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh < 1580834392 338836 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in let SumW = [ F nil -> 0 | F (cons X S) -> X + (F F S) ] in SumW SumW Vn < 1580834392 469535 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :121 < 1580834397 16190 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :that's it < 1580834408 123414 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :though it's not the best way to implement sum, wait a moment < 1580834468 826594 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in let SumT = [ R B nil -> B | R B (cons X S) -> R R (B + X) S ] in let Sum S = SumT SumT 0 S in Sum Vn < 1580834468 881149 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:118:semantical:undeclared S < 1580834483 885878 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn = {38,32,75,-24} in let SumT = [ R B nil -> B | R B (cons X S) -> R R (B + X) S ] in let Sum = [ S -> SumT SumT 0 S ] in Sum Vn < 1580834484 18049 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :121 < 1580834489 716808 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Neat! < 1580834521 958114 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: let Vn={38,32,75,-24} in let SumT=[R B nil->B|R B(cons X S)->R R(B + X)S] in let Sum=[S->SumT SumT 0 S] in Sum Vn < 1580834522 120807 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :121 < 1580834546 885817 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1580834555 324167 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :now I just also have to define some other list operations < 1580834562 707503 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hehe, your LC fu is better than mine. < 1580834582 890788 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You can take a look at the prelude. Probably it's already in there. < 1580834585 492510 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Moment. < 1580834593 325238 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: thanks, that was the problem < 1580834612 754888 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :https://github.com/egel-lang/egel-bot/blob/master/src/script.eg < 1580834656 316929 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :spruit: what I'd like to know is what built-in functions there are, since apparently the & operator doesn't work < 1580834678 393968 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I didn't document that, unfortunately. < 1580834703 361716 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it's probably somewhere in the source < 1580834732 712333 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. If you want to look at the source, it's here: < 1580834736 577745 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(moment) < 1580834738 996613 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :https://github.com/egel-lang/egel/tree/master/src < 1580834755 900596 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :mind you, < 1580834763 213035 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: say("foo"+"bar") < 1580834763 576208 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :foobar < 1580834773 109505 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :https://github.com/egel-lang/egel/tree/master/src/builtin < 1580834807 896757 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ah, the builtin directory. thanks < 1580834815 337830 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Those list the builtins. But they're pretty much still subject to change. < 1580834824 437670 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Even if I didn't code for a while.) < 1580834945 732334 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hmm... so is there a chr function? < 1580834949 30044 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You'll mostly want https://github.com/egel-lang/egel/blob/master/src/builtin/system.cpp < 1580834998 484220 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ok, that'll take some time to read < 1580835012 459673 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Not sure it's in the bot. < 1580835016 276528 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Lemme check. < 1580835019 269363 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Uh. < 1580835028 647169 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: using String < 1580835040 74869 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: pack {110,114} < 1580835040 153447 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:pack (System:cons 110 (System:cons 114 System:nil))) < 1580835052 413136 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: toLower "A" < 1580835052 464431 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"a" < 1580835116 474549 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: pack { 'b' , 'f' } < 1580835116 547519 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"bf" < 1580835119 775491 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: 'b' < 1580835119 825018 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :'b' < 1580835123 625512 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: toInt 'b' < 1580835123 714725 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared toInt < 1580835135 132255 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: toint 'b' < 1580835135 283056 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :98 < 1580835139 123176 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: totext 101 < 1580835139 276329 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"101" < 1580835157 217264 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: char 101 < 1580835157 298911 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:char 101) < 1580835202 147075 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'll look more at this later < 1580835202 855480 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Uh, this is silly. I don't think there is. < 1580835403 809098 :int-e!~noone@int-e.eu PRIVMSG #esoteric :egelbot: 1 != 2 < 1580835403 889032 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:4:syntactical:!= unexpected < 1580835406 58499 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mmm < 1580835426 68183 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(see also https://github.com/egel-lang/egel/blob/master/src/builtin/system.cpp#L344 ) < 1580835440 192656 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so this is a symbolic term-rewriting thing like maple and mathematica, where if a function application makes no sense then the interpreter just leaves it as an unevaluated function application value? < 1580835447 756233 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: A la prochaine. < 1580835468 850219 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: (3 4) < 1580835468 926471 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(3 4) < 1580835471 567835 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Something like that. < 1580835490 557935 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and are there values with mutable fields? < 1580835491 198580 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But worse than maple or mathematica. More a SASL. < 1580835523 116901 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :No, there's mutation on expression but that's unsafe. < 1580835585 210144 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The language more serves as a front end on a thought I had about implementing an FP language in C++ in a memory-safe manner. < 1580835623 387958 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's just a funny thing, not really usable for anything. < 1580835650 785396 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`grwp usable < 1580835652 573203 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1580835667 429364 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote usable < 1580835668 389423 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :690) elliott_: how usable is borges in the real world < 1580835678 204237 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1580835691 292886 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Doesn't come up much, it seems. < 1580835710 641889 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :does say work like in blsq or lambdabot where it just returns an object that will be formatted without quoting anything, or is it a function with a side-effect? < 1580835723 475664 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The idea is that in memory, everyting is a DAG, given a number of invariants, and that makes for a robust C++ implementation. < 1580835760 363128 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :That's the most important thing about this thingy, the rest is just me goofing with an untyped LC rewriter. > 1580835797 401967 PRIVMSG #esoteric :14[[07Egel14]]4 N10 02https://esolangs.org/w/index.php?oldid=69600 5* 03B jonas 5* (+387) 10Created page with "Egel is a functional programming toy language created by Marco Devillers. == External links == * [https://egel-lang.github.io/ Some documentation] * [https://github.com/egel-..." < 1580835814 257434 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :we need at least a stub entry with pointers; I can add more details when I figure out what the heck the language is < 1580835852 144356 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You can look at the examples. It supports a number of thing you wont find in other LC languages. < 1580835853 104124 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I guess I can test that < 1580835878 476185 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Exception and multi-adic combinators. < 1580835881 733610 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :*+s < 1580835891 90053 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :egelbot: {38, say "foo", 32, say "bar", 75} < 1580835891 431008 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :bar < 1580835892 26246 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :foo < 1580835892 438262 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 38 (System:cons System:nop (System:cons 32 (System:cons System:nop (System:cons 75 System:nil))))) < 1580835905 625059 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :looks like it is a function with side effects < 1580835908 263790 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :also... < 1580835926 654155 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: try 1 + throw "hi" catch [ X -> say X] < 1580835926 705916 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :hi < 1580835936 709503 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :looks like it can say more than one line to irc < 1580835944 389025 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh yah. Also: concurrency. < 1580835952 619091 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yes, it could. < 1580835976 31563 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I think I put a delay on that but as I said, the bot isn't hardened. < 1580836008 832892 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I won't run it when I am not online. It's just to show-case. < 1580836035 328960 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Also for myself, you can blow up my laptop any time you feel like. < 1580836111 86379 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :can the bot join more than one channel, so that we can experiment with possibly spammy things and then show only the result here? < 1580836119 349449 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :No. < 1580836145 16921 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :pity. that'd be a helpful feature, since the bot being new, we'll certainly do more experiments on it < 1580836150 750139 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I have #egel. But I don't go there anymore. < 1580836153 493837 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I will try to as well later < 1580836160 260925 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :when I'm back < 1580836182 372975 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :this looks like an interesting toy language < 1580836190 505753 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1580836192 412240 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Thanks! < 1580836196 236625 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh right. < 1580838427 756963 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580838534 613152 :zzo38!~zzo38@24.207.50.7 JOIN :#esoteric < 1580839296 638739 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 268 seconds < 1580839387 114649 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1580840965 754766 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu JOIN :#esoteric < 1580841008 595872 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: dog cat < 1580841008 734778 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared dog < 1580841015 748029 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: cons 1 2 3 < 1580841015 871240 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 1 2 3) < 1580841038 156341 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :spruit11: how do you define a new named constructor? < 1580841073 477703 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :do you just def dog = [] ? < 1580841077 447179 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [] 2 < 1580841077 514636 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:3:syntactical:-> expected < 1580841116 718206 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let F = [true -> "yes"] in {F true, F false, F 0, F 1, F -1, F {}} < 1580841116 845046 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons "yes" (System:cons (Dummy34DOT1 System:false) (System:cons (Dummy34DOT1 0) (System:cons (Dummy34DOT1 1) (System:cons (Dummy34DOT1 -1) (System:cons (Dummy34DOT1 System:nil) System:nil)))))) < 1580841161 18808 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let F = [X Y -> (10 * X) + Y] in {F 7 1, F 7 0, F 0 2, (F 7) 1, F (7 1)} < 1580841161 82242 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 71 (System:cons 70 (System:cons 2 (System:cons 71 (System:cons (Dummy35DOT1 (7 1)) System:nil))))) < 1580841218 179229 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let F = [X Y -> (10 * X) + Y] in [F -> F 2] (F 7) < 1580841218 322177 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :72 < 1580841256 106402 :int-e!~noone@int-e.eu PART :#esoteric < 1580841257 88906 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let F = [X Y -> (10 * X) + Y] in [S -> {S (F 7), S (F 6)}] [F -> F 2] < 1580841257 143435 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 72 (System:cons 62 System:nil)) < 1580841323 437704 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :b_jonas: data < 1580841337 326729 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: data tree, leaf < 1580841351 454850 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [[0 -> 0] -> 3] [0 -> 0] < 1580841351 553722 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:3:syntactical:-> expected < 1580841357 792184 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: tree (leaf 1) (leaf 'a') < 1580841357 854351 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(tree (leaf 1) (leaf 'a')) < 1580841364 853 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [0 -> 0] 0 < 1580841364 52955 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :0 < 1580841365 293677 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [0 -> 0] 1 < 1580841365 377716 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy40DOT0 1) < 1580841399 921573 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It refuses to rewrite a combinator introduced by the lambda. < 1580841408 376675 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The language is very spartan. < 1580841411 490176 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let C = [tree -> 2 | leaf -> 0] in {C tree, C leaf} < 1580841411 663487 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 2 (System:cons 0 System:nil)) < 1580841436 744946 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :thanks < 1580841446 861790 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Np. < 1580841455 349651 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Nice to see some interest. < 1580841553 92638 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y) -> X] (2 5) < 1580841553 145892 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :2 < 1580841556 348937 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y) -> Y] (2 5) < 1580841556 485678 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :5 < 1580841568 483863 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y) -> Y] {2, 5} < 1580841568 584566 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy44DOT0 (System:cons 2 (System:cons 5 System:nil))) < 1580841573 389004 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y) -> X] {2, 5} < 1580841573 549485 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy45DOT0 (System:cons 2 (System:cons 5 System:nil))) < 1580841582 148000 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y Z) -> (X, Y, Z)] {2, 5} < 1580841582 259565 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple System:cons 2 (System:cons 5 System:nil)) < 1580841592 347798 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :what < 1580841596 234242 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :ah ok < 1580841603 695250 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y Z) -> X)] {2, 5} < 1580841604 66994 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:15:syntactical:] expected < 1580841607 828720 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y Z) -> X] {2, 5} < 1580841607 966311 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:cons < 1580841611 506213 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y Z) -> Y] {2, 5} < 1580841611 646154 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :2 < 1580841613 735126 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y Z) -> Z] {2, 5} < 1580841614 1979 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 5 System:nil) < 1580841623 918165 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y) -> X] {2, 5} < 1580841624 48507 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy50DOT0 (System:cons 2 (System:cons 5 System:nil))) < 1580841632 630798 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :hmm < 1580841637 509800 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y) -> X] (2 5 1) < 1580841637 656155 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy51DOT0 (2 5 1)) < 1580841658 8295 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y) -> X] (cons 2 {5}) < 1580841658 240534 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy52DOT0 (System:cons 2 (System:cons 5 System:nil))) < 1580841661 295993 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y) -> X] ((cons 2) {5}) < 1580841661 411218 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy53DOT0 (System:cons 2 (System:cons 5 System:nil))) < 1580841670 534997 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: ((cons 2) {5}) < 1580841670 629901 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 2 (System:cons 5 System:nil)) < 1580841752 604508 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1580841761 19364 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :I wonder if we can build and install this on HackEso. the docs says that it needs libicu, but that's probably not unsurmountable < 1580841921 383485 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It isn't hardened. < 1580841946 500372 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Maybe if I harden it, or someone else writes a script around it. < 1580841989 477178 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I could limit the bot to 100k rewrites, just would take me some time, and I still wouldn't know if that's enough to harden. < 1580842004 757965 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Dunno. < 1580842232 328751 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :HackEso has a built-in time limit for its commands, so you don't need a time limit in the interpreter < 1580842247 31820 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :60 seconds usually < 1580842503 239123 :b_jonas_!~x@catv-176-63-13-186.catv.broadband.hu JOIN :#esoteric < 1580842538 891123 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu QUIT :Ping timeout: 240 seconds < 1580842606 104247 :b_jonas_!~x@catv-176-63-13-186.catv.broadband.hu NICK :b_jonas < 1580842610 625136 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :(sorry, technical difficulties) < 1580842650 385537 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let F = [X Y -> (10 * X) + Y] in {F 7 3, F 7, F} < 1580842650 508705 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 73 (System:cons (Dummy55DOT1 7) (System:cons Dummy55DOT1 System:nil))) < 1580842671 26697 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :so this term rewriting system has a full untyped lambda calculus in it, right? < 1580842788 815656 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-rzmhbumqynljwcem QUIT :*.net *.split < 1580842830 280413 :LBPHacker!lbphacker@trigraph.net QUIT :*.net *.split < 1580842830 602113 :dog_star!sid310875@gateway/web/irccloud.com/x-toqlxxzqvgkymquo QUIT :*.net *.split < 1580842831 785663 :shig!~davidb@inara.oztechninja.com QUIT :*.net *.split < 1580842863 77076 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let Nth = [0 (X _) -> X | K (_ S) -> Nth (K - 1) S] in Nth 3 {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} < 1580842863 200851 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:39:semantical:undeclared Nth < 1580842876 799976 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :oh yeah, recursion < 1580842903 893785 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let NthR = [R 0 (X _) -> X | R K (_ S) -> R R (K - 1) S] in let Nth = NthR NthR in Nth 3 {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} < 1580842903 938855 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy57DOT2 Dummy57DOT2 3 (System:cons 38 (System:cons 32 (System:cons 75 (System:cons -24 (System:cons -19 (System:cons 53 (System:cons 14 (System:cons 13 (System:cons -28 (System:cons -52 (System:cons 93 (System:cons 90 (System:cons 80 (System:cons 22 (System:cons -98 (System:cons -14 (System:cons -96 (System:cons -81 (System:cons -95 System:nil)))))))))))))))))))) < 1580842915 804566 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-rzmhbumqynljwcem JOIN :#esoteric < 1580842917 990880 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let NthR = [R 0 (cons X _) -> X | R K (cons _ S) -> R R (K - 1) S] in let Nth = NthR NthR in Nth 3 {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} < 1580842918 63303 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :-24 < 1580842929 746807 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let NthR = [R 0 (cons X _) -> X | R K (cons _ S) -> R R (K - 1) S] in let Nth = NthR NthR in Nth 4 {38,32,75,-24,-19,53,14,13,-28,-52,93,90,80,22,-98,-14,-96,-81,-95} < 1580842929 873834 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :-19 < 1580842932 496916 :LBPHacker!lbphacker@trigraph.net JOIN :#esoteric < 1580842932 496943 :dog_star!sid310875@gateway/web/irccloud.com/x-toqlxxzqvgkymquo JOIN :#esoteric < 1580842932 496950 :shig!~davidb@inara.oztechninja.com JOIN :#esoteric < 1580843031 205029 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1580843189 425029 :arseniiv!~arseniiv@95.105.9.184.dynamic.ufanet.ru JOIN :#esoteric < 1580843219 387299 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :if we want to build the parts with libicu, then I think we'll need the libicu-dev debian package < 1580843237 483550 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :now let me see these builtin functions < 1580843314 778955 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: k 3 7 < 1580843314 897226 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :3 < 1580843321 161353 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: id 3 < 1580843321 250629 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared id < 1580843325 157506 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: identity 3 < 1580843325 247997 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared identity < 1580843333 952225 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [X->X] 3 < 1580843333 986607 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :3 < 1580843341 702174 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [X X->X] 3 7 < 1580843341 730044 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:semantical:redeclaration of X < 1580843360 471045 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: + < 1580843360 561029 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:3:syntactical:primary expression expected < 1580843362 635082 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (+ < 1580843362 703390 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:4:syntactical:primary expression expected < 1580843364 776463 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (+) < 1580843364 857478 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:+ < 1580843368 999711 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (+) 2 5 < 1580843369 183638 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :7 < 1580843394 64984 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let (+) = [X Y->(10*X)+Y] in 7+3 < 1580843394 508787 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy67DOT0 Dummy67DOT1) < 1580843396 784372 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :nope < 1580843402 476119 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let (&) = [X Y->(10*X)+Y] in 7&3 < 1580843402 643868 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:7:semantical:undeclared & < 1580843418 387540 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let 2 = 5 in 2 < 1580843418 486587 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy69DOT0 5) < 1580843432 721006 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :how does that work? < 1580843433 543053 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1580843436 975178 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let 2 0 = 5 in 2 0 < 1580843437 6633 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy70DOT0 5) < 1580843446 690030 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let 2 0 = 5 in 2 < 1580843446 738617 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy71DOT0 5) < 1580843455 599253 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let (2 0) = 5 in 2 < 1580843455 769487 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy72DOT0 5) < 1580843469 682509 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :let X = 2 in X < 1580843475 817975 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let X = 2 in X < 1580843475 863088 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :2 < 1580843529 991667 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :spruit11: what do declarations like 2 = 5 mean in egel? < 1580843558 890703 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :oh I see < 1580843627 888131 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :it just desugars (let 2 = 5 in 2) to something like ([2 -> 2] 5) I think < 1580843636 865910 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let 2 = 5 in 6 < 1580843636 938179 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy74DOT0 5) < 1580843648 339415 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [2 -> 6] in 5 < 1580843648 374064 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:11:syntactical:in unexpected < 1580843651 334809 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [2 -> 6] 5 < 1580843651 482192 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy75DOT0 5) < 1580843654 365957 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :right < 1580843686 874579 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :ah < 1580843729 492262 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 16511&&40537 < 1580843729 541150 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :89 < 1580843744 645438 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :`perl -eprint(16511&40537) < 1580843745 425325 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :89 < 1580843750 928008 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. < 1580843752 194093 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 16511||40537 < 1580843752 342890 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :56959 < 1580843755 909369 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :`perl -eprint(16511|40537) < 1580843756 644424 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :56959 < 1580843765 910613 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :so these are in the standard library, just under a strange name. nice < 1580843767 286040 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :A let is just a lambda. < 1580843789 359904 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 16511^^40537 < 1580843789 524961 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :56870 < 1580843794 570083 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :`perl -eprint(16511^40537) < 1580843795 309953 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :56870 < 1580843800 681699 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The standard library wasn't very well thought over and is still subject to change. < 1580843804 734241 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: 1/0 < 1580843805 41217 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:/ 1 0) < 1580843810 7112 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 0x407F < 1580843810 106406 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:7:semantical:undeclared F < 1580843841 478324 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, I still don't know whether to stop rewriting or throw an exception on `1/0`. < 1580843846 199727 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: &H407F < 1580843846 379802 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:syntactical:primary expression expected < 1580843923 417450 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<7 < 1580843923 469543 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :128 < 1580843928 55225 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<12 < 1580843928 89461 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :4096 < 1580843929 320518 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<22 < 1580843929 395756 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :4194304 < 1580843932 82046 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<30 < 1580843932 160599 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1073741824 < 1580843933 58629 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<31 < 1580843933 194474 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :2147483648 < 1580843934 521341 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<32 < 1580843934 617754 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :4294967296 < 1580843936 825456 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<35 < 1580843936 870882 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :34359738368 < 1580843938 960883 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<47 < 1580843939 131607 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :140737488355328 < 1580843942 777770 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<62 < 1580843942 942715 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :4611686018427387904 < 1580843943 915285 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<63 < 1580843944 37906 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :-9223372036854775808 < 1580843945 691290 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 1<<64 < 1580843945 732992 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1580843956 486249 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (1<<63)+(1<<63) < 1580843956 556082 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:+ -9223372036854775808 -9223372036854775808) < 1580843993 994972 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 2 != 3 < 1580843994 140224 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:4:syntactical:!= unexpected < 1580844003 619450 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (!=) 2 3 < 1580844003 747510 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580844005 566627 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (!=) 2 2 < 1580844005 732759 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580844008 735006 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :heh < 1580844035 495386 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: true == false < 1580844035 585782 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580844037 163616 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: true == true < 1580844037 387114 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580844041 220594 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: {} == {} < 1580844041 325247 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580844043 860281 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: {2} == {3} < 1580844044 13700 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580844045 110320 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: {2} == {2} < 1580844045 214161 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580844061 505649 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Ah. Not sure what unequality is. < 1580844064 760528 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [_->0] == [_->0] < 1580844064 872106 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580844067 454406 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: ~= < 1580844067 540945 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:4:syntactical:primary expression expected < 1580844090 38961 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :spruit11: (!=) is the unequality function, the lexer just doesn't tokenize it as an infix operator apparently < 1580844102 430939 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :True. < 1580844105 95129 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: {(!=) 2 2, (!=) 2 3} < 1580844105 230316 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons System:false (System:cons System:true System:nil)) < 1580844112 744648 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Been a while. Never tested that it seems. < 1580844120 815475 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let X = [_->0] in X == X < 1580844120 927824 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580844140 392397 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let X = [_ _->0] in (X 2) == (X 2) < 1580844140 547220 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580844143 520368 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Neat. < 1580844152 562245 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let X = [_ _->0] in (X 2) == (X 1) < 1580844152 641019 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580844174 100642 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let (X, Y) = ([_ _->0], [_ _->0]) in (X 1) == (X 1) < 1580844174 263487 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580844176 192762 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let (X, Y) = ([_ _->0], [_ _->0]) in (X 1) == (Y 1) < 1580844176 284044 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580844178 864347 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let (X, Y) = ([_ _->0], [_ _->0]) in (Y 1) == (Y 1) < 1580844178 951020 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580844217 246982 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :hmm, so what are these array things? < 1580844232 831183 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :What array? < 1580844244 95957 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Nice eq checks by the way. < 1580844294 749813 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :https://github.com/egel-lang/egel/blob/master/src/builtin/system.cpp#L372 < 1580844302 917393 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Most of your eq checks used dyadidic lambda's. < 1580844305 221268 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint "D" < 1580844305 316522 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :0 < 1580844319 34872 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint 'D' < 1580844319 134342 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :68 < 1580844323 509870 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint "32" < 1580844323 652348 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :32 < 1580844326 446927 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint '\n' < 1580844326 608774 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :10 < 1580844332 366318 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :so that _is_ a newline < 1580844338 366275 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: unpack "foo" < 1580844338 637040 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 'f' (System:cons 'o' (System:cons 'o' System:nil))) < 1580844345 407585 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint (unpack "\n") < 1580844345 554309 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:toint (System:cons '\n' System:nil)) < 1580844349 383442 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yah. < 1580844370 318767 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [{X} -> toint X] (unpack "\n") < 1580844370 436666 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :10 < 1580844382 257543 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :so that is a newline < 1580844386 254397 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say "foo\nbar" < 1580844386 316539 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :foo-bar < 1580844391 768059 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say "foo\r\nbar" < 1580844391 951179 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:11:lexical:error in string < 1580844400 640492 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say "foo\x0D\nbar" < 1580844400 766206 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:11:lexical:error in string < 1580844408 902330 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :That's part of the hardening of the bot. < 1580844421 361701 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Just replaces \n with - in the output. < 1580844431 265827 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Just to be sure. < 1580844537 184581 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :spruit11: what are these arrays that that line in builtin/system.cpp refer to? < 1580844542 700822 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: int < 1580844542 776960 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:int < 1580844559 264627 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: let X = [ _ -> 0 ] in (X 2) == (X 2) < 1580844559 390867 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580844691 918156 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Dunno? < 1580844698 212386 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :What line? < 1580844705 298853 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :https://github.com/egel-lang/egel/blob/master/src/builtin/system.cpp#L372 < 1580844721 348959 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, right. < 1580844724 566713 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :also, is this actually using libicu somewhere? there's no mention in https://github.com/egel-lang/egel/blob/master/src/builtin/string.cpp , but perhaps it's used somewhere else < 1580844726 234637 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: (1 2) < 1580844726 353390 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(1 2) < 1580844742 86113 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :So, that's under water an array [1,2]. < 1580844748 891424 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You're not supposed to know. < 1580844750 214034 :arseniiv!~arseniiv@95.105.9.184.dynamic.ufanet.ru PRIVMSG #esoteric :oh thanks for the link, I was lazy to see in the logs what this new language is < 1580844774 140902 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :arseniiv: I added a stub entry to the wiki < 1580844777 380194 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :All strings are libicu strings. < 1580844789 24443 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Chars are UChar32. < 1580844818 166019 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :There's a regex module but not available from the bot. < 1580844836 673553 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: '\r' < 1580844836 771517 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:4:lexical:error in char < 1580844837 948994 :arseniiv!~arseniiv@95.105.9.184.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas: neat! < 1580844838 189799 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: '\n' < 1580844838 346512 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :'\n' < 1580844846 875721 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: '\\' < 1580844846 916551 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :'\\' < 1580844849 629490 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: '\\s' < 1580844849 777490 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:lexical:error in char < 1580844866 426076 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yah, that gets parsed to a newline and unescaped again. < 1580844884 398100 :arseniiv!~arseniiv@95.105.9.184.dynamic.ufanet.ru PRIVMSG #esoteric :BTW does anybody have a thought about this little detail of Haskell import system which I think isn’t too great: https://www.reddit.com/r/haskell/comments/ewrfaw/monthly_hask_anything_february_2020/fgjhwlz/ < 1580844904 638886 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Don't expect too much support for unicode. I just took it as a good start. < 1580844918 491012 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Don't remember what lexer can handle. < 1580844938 851806 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But most unicode should be fine. < 1580844979 635700 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: '∀' < 1580844979 723382 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :'∀' < 1580844988 925358 :arseniiv!~arseniiv@95.105.9.184.dynamic.ufanet.ru PRIVMSG #esoteric :I’d like at least field names of a `data X` be either in a subnamespace `X` or a subnamespace named by the corresponding constructor (for the example, `X1.field1`), at least < 1580844990 370642 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: unescape "foo\\rbar" < 1580844990 483668 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"foo\rbar" < 1580845011 985413 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :There are namespaces, just not in the bot. < 1580845024 524133 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: def car = [(cons X S) -> X] < 1580845031 594536 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: car {3,1} < 1580845031 689280 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :3 < 1580845043 925063 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: cons < 1580845044 141018 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:cons < 1580845045 619915 :arseniiv!~arseniiv@95.105.9.184.dynamic.ufanet.ru PRIVMSG #esoteric :spruit11: sorry that’s my ramblings about the Haskell in general :) < 1580845047 109166 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint(car(unpack(unescape "\r"))) < 1580845047 280730 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:30:lexical:error in string < 1580845057 188785 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint(car(unpack(unescape "\\r"))) < 1580845057 300918 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :13 < 1580845059 982454 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :there it is < 1580845065 100796 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint(car(unpack(unescape "\\x00"))) < 1580845065 302261 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :0 < 1580845067 67215 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint(car(unpack(unescape "\\x0"))) < 1580845067 329616 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :0 < 1580845069 237484 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint(car(unpack(unescape "\\x01"))) < 1580845069 377962 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1580845071 514316 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint(car(unpack(unescape "\\x0D"))) < 1580845071 562647 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :13 < 1580845073 310123 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint(car(unpack(unescape "\\x0A"))) < 1580845073 421004 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :10 < 1580845084 148653 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I don't even remember that. < 1580845087 850634 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(unescape "foo\\rbar") < 1580845087 994105 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :foo < 1580845097 250868 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(unescape "foo\\rPRIVMSG #esoteric :bar") < 1580845097 384583 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :foo < 1580845097 400122 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :bar < 1580845100 424004 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :oops < 1580845120 279439 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(unescape "foo\\rPRIVMSG b_jonas :hello jonas") < 1580845120 571501 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :foo < 1580845120 881437 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You hacked around it? < 1580845145 306863 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh right, doesn't escape \\r, only \\n. < 1580845148 674957 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Didn't know. < 1580845152 106820 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Will fix. < 1580845167 269843 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :it was one of the first things I tried, but say escapes "\n", and there's no chr function so I didn't know how to get a "\r" until I read the library < 1580845174 729094 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :make sure to escape "\x00" too < 1580845184 291433 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. < 1580845208 193481 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But you can easily blow up my laptop, so I won't run this a lot. < 1580845229 178219 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :yes, that's why I'm saying I should try to build and install this interpreter to HackEso < 1580845238 899380 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :you have the sources, if they can build cleanly then it should be possible < 1580845241 671105 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Needs more hacking and this was good enough for my purposes at the time. < 1580845254 788427 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I am not really that happy about the build. < 1580845283 600830 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It depends on libegel installed systemwide. < 1580845285 245498 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :ooh < 1580845293 925464 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: head {3,1,4} < 1580845293 990617 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared head < 1580845296 908722 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :nope < 1580845304 958424 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You can work around that, if you know how to. < 1580845313 118812 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:head {3,1,4} < 1580845313 302035 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :3 < 1580845315 186949 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :there < 1580845332 630595 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:nth {3,1,4} 0 < 1580845332 802267 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(List:nth (System:cons 3 (System:cons 1 (System:cons 4 System:nil))) 0) < 1580845336 517863 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: using List < 1580845336 627495 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:nth 0 {3,1,4} < 1580845336 666997 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :3 < 1580845340 832735 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:nth 1 {3,1,4} < 1580845340 956788 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1580845348 479311 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :That opened the namespace. < 1580845360 817813 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: head {1,3} < 1580845360 869386 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1580845667 105581 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:map [X->10*X] {7,6,1} < 1580845667 247004 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 70 (System:cons 60 (System:cons 10 System:nil))) < 1580845686 579823 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :I wish the writer had a concise syntax for lists and tuples, rather than printing the internal form < 1580845694 458964 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (2,1) < 1580845694 498531 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 2 1) < 1580845697 356115 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 2;1 < 1580845697 448279 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1580845704 347049 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (2;1)+10 < 1580845704 555216 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :11 < 1580845714 922075 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (;) < 1580845715 118581 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:3:syntactical:primary expression expected < 1580845762 372464 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 0x407f < 1580845762 443056 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :16511 < 1580845763 684056 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 0x407F < 1580845763 735389 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:7:semantical:undeclared F < 1580845764 813000 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :eww < 1580845787 175180 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let F = 0 in 0x407F < 1580845787 417264 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(1031 0) < 1580845812 862614 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1580845846 576963 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:foldl (+) {"a","b","c"} < 1580845846 766037 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(List:foldl System:+ (System:cons "a" (System:cons "b" (System:cons "c" System:nil)))) < 1580845852 390634 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:foldr (+) {"a","b","c"} < 1580845852 489161 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(List:foldr System:+ (System:cons "a" (System:cons "b" (System:cons "c" System:nil)))) < 1580845859 647410 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:foldr (+) "" {"a","b","c"} < 1580845859 772909 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"abc" < 1580845860 988206 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You are thorough! < 1580845884 898853 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Could have save me a lot of unit tests. ;) < 1580845907 562602 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :thanks, I'll link to that line in the channel logs for my next interview :-) < 1580845932 587902 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I only did some tests in the REPL. < 1580845962 36041 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Just relying on what I know and whether it seemed correct on cursory glance. < 1580845974 515364 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:foldr(+)""(List:map[K->List:nth{"zero","one","two","three"}K]{3,0,1,3}) < 1580845974 568047 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:+ (List:nth (System:cons "zero" (System:cons "one" (System:cons "two" (System:cons "three" System:nil)))) 3) (System:+ (List:nth (System:cons "zero" (System:cons "one" (System:cons "two" (System:cons "three" System:nil)))) 0) (System:+ (List:nth (System:cons "zero" (System:cons "one" (System:cons "two" (System:cons "three" System:nil)))) 1) (System:+ (List:nth (System:cons "zero" (System:cons "one" (System:cons "two" (System:cons "thr < 1580845981 442731 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :no < 1580846001 379969 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [K->List:nth{"zero","one","two","three"}K]0 < 1580846001 584818 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(List:nth (System:cons "zero" (System:cons "one" (System:cons "two" (System:cons "three" System:nil)))) 0) < 1580846015 300690 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:nth {"zero","one","two","three"} 0 < 1580846015 417858 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(List:nth (System:cons "zero" (System:cons "one" (System:cons "two" (System:cons "three" System:nil)))) 0) < 1580846029 990263 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:nth 0 {"zero","one","two","three"} < 1580846030 312922 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"zero" < 1580846031 555015 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :oh right < 1580846038 174325 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:foldr(+)""(List:map[K->List:nth K{"zero","one","two","three"}]{3,0,1,3}) < 1580846038 262719 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"threezeroonethree" < 1580846044 659954 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :good < 1580846061 308854 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :\o/ < 1580846108 856404 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I opened the namespace, you no longer need to type List. < 1580846129 112654 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :yes, but I want to write this is such a way that it works out of box when you rerun the interpreter < 1580846136 429820 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Ah, right. < 1580846154 192499 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: List:foldr(+)","(List:map[K->List:nth K{"}]{3,1,1,4}) < 1580846154 281181 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"egelbot: List:foldr(+)\"\"(List:map[K->List:nth K{" < 1580846174 453744 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: 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}) < 1580846174 547274 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"egelbot: List:foldr(+)\"\"(List:map[K->List:nth K{\"\\\\\",\"\\\"\",\",\",\"" < 1580846179 173540 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Wut? < 1580846183 2619 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: 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})) < 1580846183 90476 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: List:foldr(+)""(List:map[K->List:nth K{"\\","\"",","," < 1580846190 414334 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :I'm trying to write my favorite form of quine < 1580846204 516190 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, I never was good at those. < 1580846212 123301 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :this is an easy one to write < 1580846216 868199 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Don't really grok them. < 1580846220 159470 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Neat! < 1580846232 520969 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :because it has a generic enough structure that works in many languages < 1580846273 101193 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: List:foldr(+)","(List:map[K->List:nth K{","}]{3,1,1..."}]{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,2})) < 1580846273 260557 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: List:foldr(+)","(List:map[K->List:nth K{","}]{3,1,1...", < 1580846287 832637 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :that said, this might be too long for an irc line, so I'll have to specialize it < 1580846303 598296 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :There's an eval too. < 1580846313 990020 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(List:foldr(+)","(List:map[K->List:nth K{","}]{3,1,1..."}]{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,2,})) < 1580846314 19282 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:191:syntactical:primary expression expected < 1580846322 966894 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: eval "[X -> X]" 1 < 1580846323 178275 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1580846327 526486 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(List:foldr(+)","(List:map[K->List:nth K{","}]{3,1,1..."}]{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,2})) < 1580846327 693404 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(List:foldr(+)","(List:map[K->List:nth K{","}]{3,1,1...", < 1580846342 674297 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Not sure I implemented that correctly. But seems to work. < 1580846376 620637 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It leaks, since it needs to rerun the interpreter. < 1580846392 567553 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(List:foldr(+)","(List:map[K->List:nth K{","}]{3,1,1..."}]{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})) < 1580846392 660873 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(List:foldr(+)","(List:map[K->List:nth K{","}]{3,1,1..."}]{3,1,1... < 1580846406 825938 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(List:foldr(+)","(List:map[K->List:nth K{","}]{3,1,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})) < 1580846406 896794 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(List:foldr(+)","(List:map[K->List:nth K{","}]{3,1,1...5,1,5}))"}]{3,1,1...5,1,5})) < 1580846424 436698 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(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})) < 1580846424 523405 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(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})) < 1580846433 477437 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Got it? < 1580846443 379378 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(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})) < 1580846443 626855 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(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})) < 1580846444 912049 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Looks right. < 1580846456 212781 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(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})) < 1580846456 533557 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(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})) < 1580846475 548518 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(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})) < 1580846475 624822 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: say(List:foldr(+)""(List:map[K->List:nth K{"\\","\"",",","egelbot: say(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})) < 1580846480 243341 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :probably < 1580846496 831151 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :it is possible to write much shorter quines of course, this is just one that I like because it's easy to write < 1580846519 292273 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I have no idea what you did but color me impressed. < 1580846547 878391 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :you can read the list manipulation part, right? < 1580846558 759487 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yah. < 1580846576 648562 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :there's a list of strings, and a list of integers, and I index the list of integers with each of the list of strings and print them < 1580846592 111228 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :works well in most languages < 1580846604 8301 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :if they have a way to write string constants like this < 1580846614 865916 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :This will need some thought on my part. I saved the expression for later. < 1580846693 787041 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :you can usually get shorter or nicer quines if you use properties that are more specific to the language < 1580846775 330698 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Looks okay enough to me. < 1580846837 17789 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I am off. Will let the bot run for a while. < 1580846837 763157 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: "A""D" < 1580846837 856345 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :("A" "D") < 1580846866 737970 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [Q B->]"\"""\\" < 1580846866 884598 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:8:syntactical:primary expression expected < 1580846884 706686 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yah, hint. There's no real difference between data constructors and other constants. < 1580846890 154330 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: 1 2 < 1580846890 217410 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(1 2) < 1580846898 189381 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :This works fine. < 1580846903 909830 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: cons 1 nil < 1580846903 960966 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 1 System:nil) < 1580846909 964725 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :This works fine < 1580846917 194446 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: nil 1 cons < 1580846917 254632 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:nil 1 System:cons) < 1580846921 208900 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But that too. < 1580846931 102498 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :There's no difference. It's just composition. < 1580846967 846038 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [Q B L->L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q]"\"""\\""[Q B L->L+Q+B+...L+Q]" < 1580846967 896203 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"[Q B L->L+Q+B+...L+Q]\"\\\"\"\"\\\\\"\"[Q B L->L+Q+B+...L+Q]\"" < 1580846979 115565 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [Q B L->L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q]"\"""\\""[Q B L->L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q]" < 1580846979 217042 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"[Q B L->L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q]\"\\\"\"\"\\\\\"\"[Q B L->L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q]\"" < 1580846983 124613 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :no < 1580846984 388907 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :needs say < 1580847003 860968 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]"\"""\\""[Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]" < 1580847003 990711 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :[Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]"\"""\\""[Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]" < 1580847011 925570 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]"\"""\\""egelbot: [Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]" < 1580847012 76337 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]"\"""\\""egelbot: [Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]" < 1580847021 414170 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]"\"""\\""egelbot: [Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]" < 1580847021 564472 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]"\"""\\""egelbot: [Q B L->say(L+Q+B+Q+Q+Q+B+B+Q+Q+L+Q)]" < 1580847034 285805 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: quote "a\nb" < 1580847034 407681 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared quote < 1580847042 303960 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Ah, You removed the fold. < 1580847044 657823 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: escape "a\nb" < 1580847044 793433 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared escape < 1580847054 139506 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :spruit11: and removed the list indexing < 1580847077 503485 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :also wrote it in such a way that there's nothing after the final double quote, so we don't need a fourth string > 1580847248 778171 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=69601&oldid=69589 5* 03B jonas 5* (+11) 10[[Egel]] > 1580847358 920362 PRIVMSG #esoteric :14[[07Egel14]]4 10 02https://esolangs.org/w/index.php?diff=69602&oldid=69600 5* 03B jonas 5* (+9) 10 < 1580847403 809816 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: get 0 ("foo" "bar") < 1580847403 860972 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:get 0 ("foo" "bar")) < 1580847407 612381 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: get ("foo" "bar") 0 < 1580847407 762069 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:get ("foo" "bar") 0) < 1580847410 992802 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: get ("foo" "bar") 1 < 1580847411 92650 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:get ("foo" "bar") 1) < 1580847415 379664 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: get {1,2} 0 < 1580847415 597156 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:get (System:cons 1 (System:cons 2 System:nil)) 0) < 1580847419 370379 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: get {6,7} 0 < 1580847419 529217 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:get (System:cons 6 (System:cons 7 System:nil)) 0) < 1580847421 58938 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: get {6,7} 1 < 1580847421 328756 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:get (System:cons 6 (System:cons 7 System:nil)) 1) < 1580847423 701694 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: get 0 {6,7} < 1580847423 823238 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:get 0 (System:cons 6 (System:cons 7 System:nil))) < 1580847431 922271 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: get 0 (6 7) < 1580847432 35878 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:get 0 (6 7)) < 1580847462 978689 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: get (6 7) 0 < 1580847463 35780 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:get (6 7) 0) < 1580847464 995805 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: get (6 7) 1 < 1580847465 131509 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:get (6 7) 1) < 1580847489 48774 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: getv (6 7) < 1580847489 328602 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:getv (6 7)) < 1580847501 628451 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Uh. < 1580847550 806971 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: charAt "foo" 0 < 1580847550 922237 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(String:charAt "foo" 0) < 1580847554 106077 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: charAt 0 "foo" < 1580847554 212828 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :'f' < 1580847555 995997 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: charAt 1 "foo" < 1580847556 26671 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :'o' < 1580847581 207484 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: getv (var 0) < 1580847581 482028 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:8:syntactical:primary expression expected < 1580847607 376890 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: getv (v 0) < 1580847607 424949 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :0 < 1580847627 164952 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, that's for an unsafe extension of Egel. < 1580847644 845227 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: setv 1 (v 0) < 1580847644 966708 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:setv 1 (System:v 0)) < 1580847651 770808 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 10 % 3 < 1580847651 950631 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1580847663 825676 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: next < 1580847663 875370 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared next < 1580847665 855362 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: last < 1580847666 65641 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared last < 1580847671 225184 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: data next < 1580847675 128064 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: data last < 1580847680 287520 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: {next, last} < 1580847680 603089 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons next (System:cons last System:nil)) < 1580847689 893142 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: setv (v 1) 1 < 1580847689 941471 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:v 1) < 1580847696 333834 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: setv (v 0) 1 < 1580847696 421618 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:v 1) < 1580847699 68375 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: loop < 1580847699 244451 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared loop < 1580847718 952224 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It overwrites the term. But the term needs to be a DAG, so that's unsafe. < 1580847770 190603 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: def loop = [Func Init -> [(next X) -> loop Func X | (last R) -> R] (Func Init)] < 1580847787 377841 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :I'm trying to see if I can translate http://math.bme.hu/~ambrus/pu/olvashato/t2.olv < 1580847793 822472 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: iota < 1580847794 67902 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared iota < 1580847885 724356 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: def iota = [N -> loop [(K, D) -> if k <= 0 then last D else next (K - 1, cons (k - 1) D)] (n, {})] < 1580847885 966011 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:93:semantical:undeclared n < 1580847894 629390 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: def iota = [N -> loop [(K, D) -> if k <= 0 then last D else next (K - 1, cons (k - 1) D)] (N, {})] < 1580847901 563325 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: iota 7 < 1580847922 981941 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 47319 < 1580847928 794165 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :I probably made an infinite loop < 1580847933 402820 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Not exactly sure what that does but I like 'coalgebraic' loops more. < 1580847939 569546 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh right, moment. < 1580847949 578439 :egelbot!~egelbot@ip56522cc1.speed.planet.nl QUIT :Read error: Connection reset by peer < 1580847964 43394 :egelbot!~egelbot@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1580847982 446978 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: data next < 1580847988 313258 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: data last < 1580848001 963934 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: def ones = (1, [ _ -> ones ]) < 1580848013 130782 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: ones < 1580848013 570910 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 1 onesDOT0) < 1580848028 294746 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: tail ones < 1580848028 804068 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared tail < 1580848032 459924 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :uh. < 1580848048 986268 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ (X,Y) -> Y ] ones < 1580848049 578391 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :onesDOT0 < 1580848057 928344 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, right. < 1580848075 119388 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: def ones = [ _ -> (1, ones) ] < 1580848081 555159 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: ones < 1580848081 985340 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :ones < 1580848088 730907 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: ones 0 < 1580848089 139513 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 1 ones) < 1580848099 359888 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :I probably did a stupid typo, but it's not easy to debug this < 1580848114 761403 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, that recursive can be used as an infinite list of ones. < 1580848128 101403 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Egel isn't user friendly. < 1580848142 262412 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :no, the code that I'm translating isn't user-friendly < 1580848178 202373 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Ah. ;) < 1580848205 473041 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Anyway, back later. < 1580849056 410380 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :fizzie: I'm not sure if I'll try to build this egel interpreter on HackEso, but if I will, then I'll ask for the libicu-dev package. is that big? the library itself is already installed, only the dev package isn't, it seems < 1580849285 463590 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :My advice: Don't install. I am perfectly fine as is. < 1580849304 912736 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :In 2600 it says: If you're referring to Spring having the IPv6 assignment of "2600" and not us, we definitely were not a part of how that played out. We'll have our revenge when IPv9 is implemented. < 1580849334 940000 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :spruit11: yes, but I want to experiment with the interpreter, and in a way that infinite loops don't kill it and suchlike < 1580849343 922346 :zzo38!~zzo38@24.207.50.7 PRIVMSG #esoteric :I thought that the next usable number of internet version numbering is ten and not nine, but, maybe I forgot or maybe they forgot or maybe we both forgot < 1580849353 412701 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: ["a" -> 1 | X -> 0] "a" < 1580849353 896427 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1580849362 185641 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: ["a" -> 1 | X -> 0] "b" < 1580849362 706204 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :0 < 1580849421 11394 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :you can still run egelbot in paralllel to that < 1580849636 829499 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :b_jonas: Oh. If you could get it to work otherwise I would want to see it! < 1580849709 747625 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ X Y -> 2 | X -> 1 | -> 0 ] 'a' < 1580849710 87523 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1 < 1580849712 830891 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ X Y -> 2 | X -> 1 | -> 0 ] < 1580849713 403853 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :0 < 1580849735 542482 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :b_jonas: There, the more esoteric part of Egel. < 1580849899 133270 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :spruit11: "otherwise"? < 1580849901 247251 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :other than what? < 1580849916 243985 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [-> 0] < 1580849916 684893 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :0 < 1580849949 51091 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let X = [1 -> 6 | -> 7] in {X 0, X 1} < 1580849949 367007 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons (7 0) (System:cons (7 1) System:nil)) < 1580849962 263569 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :that doesn't look right < 1580849966 147258 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let X = [1 -> 6 | X -> 7] in {X 0, X 1} < 1580849966 630407 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 7 (System:cons 6 System:nil)) < 1580850009 103928 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let X = [1 -> 6 | -> 7] in X 1 < 1580850009 593665 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(7 1) < 1580850009 686676 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Nono, that's right. < 1580850015 431170 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let X = [1 -> 6] in X 1 < 1580850015 849898 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :6 < 1580850038 512908 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ -> 1 ] 2 < 1580850039 56591 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(1 2) < 1580850052 166558 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :A zero-adic lambda. < 1580850059 434577 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Just rewrites to 1. < 1580850078 880942 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [_ _ -> 6] 0 1 < 1580850079 449116 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :6 < 1580850083 569521 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [Z Z -> 6] 0 1 < 1580850083 971452 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:semantical:redeclaration of Z < 1580850087 918615 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :nice < 1580850100 523934 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [_ _ -> 6 + _] 0 1 < 1580850100 868675 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:14:semantical:undeclared _ < 1580850119 391237 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: P < 1580850119 820990 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared P < 1580850120 841978 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hmm, kind-of right? < 1580850152 141354 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I shouldn't allow wildcards in expressions. That's a feature. < 1580850155 761934 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Will fix. < 1580850156 427949 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :what I don't understand is why def'ed variables are lowercase, as well as constructors, but local variables are uppercase. or is some of that optional? < 1580850185 147541 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Anything 'constant' is lowercase. < 1580850200 950952 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :def f = [ X-> X ] < 1580850208 230287 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: def f = [ X-> X ] < 1580850212 252598 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: f < 1580850212 795245 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :f < 1580850215 314015 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :def Pk1 = 1 < 1580850217 601086 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: def Pk1 = 1 < 1580850218 32704 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:syntactical:combinator or operator expected < 1580850233 634853 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, it's a combinator which may rewrite. < 1580850263 520748 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ f -> 'hi' ] f < 1580850263 880347 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:11:lexical:error in char < 1580850271 708317 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ f -> "hi" ] f < 1580850272 128300 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"hi" < 1580850365 691947 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I took it as far as I could go. I.e., you have some 'introspection' qualities. < 1580850370 880778 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: sin < 1580850371 353317 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared sin < 1580850377 87685 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: Math:sin < 1580850377 497840 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Math:sin < 1580850386 767274 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: using Math < 1580850387 168599 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :ok that's weird < 1580850400 856425 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ sin -> "using sin" ] sin < 1580850401 216880 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"using sin" < 1580850466 689932 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [0 -> 6| ] 0 < 1580850466 997151 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:11:syntactical:-> expected < 1580850467 880454 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I was looking for exploitable features in the operational model. But couldn't take it very far. < 1580850482 978109 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [0 -> 6| 1 X -> 7] 0 2 < 1580850483 381346 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(6 2) < 1580850485 550559 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [0 -> 6| 1 X -> 7] 1 2 < 1580850486 9105 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :7 < 1580850497 569977 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [0 -> 6| X 1 -> 7] 0 1 < 1580850498 56835 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(6 1) < 1580850507 303038 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [X 1 -> 7| 0 -> 6] 0 1 < 1580850507 794415 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :7 < 1580850520 751898 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [X 1 -> 7| -> 6] 0 1 < 1580850521 252301 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :7 < 1580850528 736448 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [1 -> 7| -> 6] 1 < 1580850529 186031 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :7 < 1580850556 642419 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let X = [1 -> 7| -> 6] in X 1 < 1580850557 12669 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(6 1) < 1580850563 304670 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :... < 1580850576 613821 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hmm. < 1580850581 281234 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :yeah, nicely esoteric < 1580850593 88889 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :that other thing too, where < 1580850607 385199 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (cons 2) nil < 1580850607 907138 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 2 System:nil) < 1580850612 2301 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: {2} < 1580850612 408680 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 2 System:nil) < 1580850615 533479 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's probably something to do with let. < 1580850617 122821 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :functions are clearly curried < 1580850617 640962 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :but < 1580850626 570746 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [X Y -> 6] {2} < 1580850626 987479 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy33DOT0 (System:cons 2 System:nil)) < 1580850630 354159 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [X Y Z -> 6] {2} < 1580850630 812164 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy34DOT0 (System:cons 2 System:nil)) < 1580850640 12205 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y) -> 6] {2} < 1580850640 396181 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy35DOT0 (System:cons 2 System:nil)) < 1580850642 815659 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(X Y Z) -> 6] {2} < 1580850643 263722 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :6 < 1580850653 36109 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :you can't match them as curried, you need to match the exact number of arguments < 1580850661 814394 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :that too is strange < 1580850663 940099 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. < 1580850695 302632 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Thinking about let X = [1 -> 7| -> 6] in X 1 < 1580850725 624097 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [1 -> 7 | -> 6] < 1580850725 902612 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :6 < 1580850739 61753 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :evaluates it nullary immediately < 1580850750 190383 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: {[1 -> 7 | -> 6]} < 1580850750 649779 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:cons 6 System:nil) < 1580850753 966766 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :that too < 1580850758 61642 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: ([1 -> 7 | -> 6],) < 1580850758 437772 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:19:syntactical:primary expression expected < 1580850763 536162 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: tuple [1 -> 7 | -> 6] < 1580850763 986291 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 6) < 1580850786 39943 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: [ X -> X 1 ] [1 -> 7| -> 6] < 1580850786 494478 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(6 1) < 1580850801 187569 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right, it fits if you understand the operational model. < 1580850812 922166 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's eager. < 1580850835 644574 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :This, [1 -> 7| -> 6], gets rewritten to 6 first, then applied. < 1580850856 726253 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :oh, that's a nice weasel phrase. "it fits if you understand the operational model." I'll try to tell that to my supervisor the next time something is broken at work < 1580850866 544746 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hey! < 1580850866 863967 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :fungot, do you fit if you understand the operational model? < 1580850867 288966 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: http://lambda-the-ultimate.org/ node/ 841??! < 1580850882 297414 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :`8-ball do you fit if you understand the operational model? < 1580850883 109133 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :It is decidedly so. < 1580850912 47557 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :No, it's just that you need to be very careful with zero-adic functions. < 1580850925 464238 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :They might rewrite before you apply them. < 1580850934 227012 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's a feature, not a bug! < 1580850936 757961 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :"very careful" as in I should probably never use them < 1580850941 591115 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. < 1580850964 986422 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Like I said, I took the operational model as far as I could get it to go. < 1580850980 727873 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I wasn't designing something to be actually used. < 1580850990 778052 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :This is #esoteric, right? < 1580850995 303396 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :yes < 1580850999 119555 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. < 1580851049 613450 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The thought was: Lisp got very far by exploiting their operational model as far as they could get it. Let's try the same. < 1580851103 386181 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I wanted to explore what you can do. < 1580851121 85965 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Most of what you can do turned out to be bad. < 1580851125 641035 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :So? < 1580851222 120273 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :I think we can do this even without nullary functions: < 1580851278 127563 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [_ _ -> 2 | _ -> 1] 0 0 < 1580851278 526202 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :2 < 1580851284 16262 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: ([_ _ -> 2 | _ -> 1] 0) 0 < 1580851284 568014 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :2 < 1580851294 564500 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let X = [_ _ -> 2 | _ -> 1] 0 in X 0 < 1580851294 799547 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right! < 1580851294 865740 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(1 0) < 1580851364 656676 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Sure, but you can do it! < 1580851379 423297 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's a bit of joke, the language. < 1580851388 11098 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :You're supposed to laugh now! < 1580851428 356899 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But I agree, variadic lambda's don't really make sense. At least, I haven't found good use for them yet. < 1580851443 305016 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Still looking, though. < 1580851451 979088 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Well, I was. < 1580852778 277602 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving < 1580853034 650046 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: unescape "\u006D\U0000006D\u0142\U00000142" < 1580853035 11765 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:13:lexical:error in string < 1580853048 728826 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: unescape "\\u006D\\U0000006D\\u0142\\U00000142" < 1580853049 23527 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared unescape < 1580853057 369365 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: unescape "\\u006D\\u0142" < 1580853057 675985 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :There's only provisional support for unicode. < 1580853057 688897 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared unescape < 1580853066 144954 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: unescape "\\u006d\\u0142" < 1580853066 552229 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared unescape < 1580853068 925457 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I am not sure what the lexer does on it. < 1580853070 71086 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: unescape "\\u0061" < 1580853070 412579 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared unescape < 1580853076 435001 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: unescape "\\x61" < 1580853077 156972 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared unescape < 1580853087 572047 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :wait < 1580853091 849846 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: unquote "\\u0061" < 1580853092 501381 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared unquote < 1580853096 690004 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: String:unquote "\\u0061" < 1580853096 981348 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:semantical:undeclared unquote < 1580853101 279427 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: String:unescape "\\u0061" < 1580853101 590752 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"a" < 1580853107 733983 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: String:unescape "\\u006D\\U0000006D\\u0142\\U00000142" < 1580853108 222849 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :"mmłł" < 1580853111 459745 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :that works < 1580853119 334163 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :so it's possible to implement chr from that < 1580853123 823948 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: using String < 1580853170 866746 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I honestly forgot what unescape is supposed to do. < 1580853176 56315 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Lemme check. < 1580853271 98434 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, right. That's from libicu. < 1580853301 379910 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [U->[F->F F[X->X]0 U][F B L U->[false->B|true->F F(B L)(L+1)U]L[F->F F[X->X]0 U][F B L U->[false->B|true->F F(B L)(L+1)U](L[F->F F()0 U][F B L U->[false->B|true->F F(B L)(L+1)U](L[F->F F tuple 0 U][F B L U->[false->B|true->F F(B L)(L+1)U](L 10 * X + Y] in 7 & 1 < 1580853516 506792 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:7:semantical:undeclared & < 1580853524 825485 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: let (&) = [X Y -> 10 * X + Y] in (&) 7 1 < 1580853525 212117 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:7:semantical:undeclared & < 1580853531 690742 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :What you can do is introduce a combinator which just doesn't rewrite. < 1580853541 506404 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :If you really want it. < 1580853565 186616 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :are there infixes that behave like an uppercase variable? < 1580853575 667533 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Uh? < 1580853614 320546 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :you know, so when I write say (X & Y) it should be parsed as ((&) X Y) where (&) is like an uppercase name that you can use as a local variable in lambdas < 1580853624 356113 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :but possibly for an infix other than & < 1580853644 60212 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :like, infixes starting with : or something < 1580853644 733188 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :in GHC Haskell you can use :& < 1580853647 265348 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :mhm < 1580853659 502931 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Uhm, no. Guards are simplified expressions and parsed differently. < 1580853697 200337 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :So, you can have [ (/) X Y -> 3 ] like guards, but that's about it. < 1580853709 646435 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :spruit11: even if I can't use the infix form in a pattern, only in an expression, my question stand < 1580853749 830291 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :spruit11: like can I write [(&) -> 3 & 7] [X Y -> 10*X+Y] < 1580853760 311803 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(&) -> 3 & 7] [X Y -> 10*X+Y] < 1580853760 728415 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:4:semantical:undeclared & < 1580853763 852676 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I think so. < 1580853765 568510 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :where (&) should be a local variable < 1580853766 169155 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :ok < 1580853772 422338 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, no. < 1580853774 444938 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1580853780 111517 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Operators are always constants. < 1580853781 704733 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :so no local variable infixes < 1580853787 776197 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Just parsed differently. < 1580853828 922677 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :There's no big difference between 'v' or '-' except they're parsed differently. And all uppercase are variables. < 1580853841 529346 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. < 1580853870 83165 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [F->F F tuple 2 111][F B L U->[false->B|true->F F(B L)(L+1)U](LF F tuple 2 111][F B L U->[false->B|true->F F(B L)(L+1)U](LF F tuple 2 111][F B L U->[false->B|true->F F([T->T T 2][T C->[true->B|false->[false->B L|true->T T(C+1)]C*C<=L]0==L%C])(L+1)U](LF F tuple 2 111][F B L U->[false->B|true->F F([T->T T 2][T C->[true->B|false->[false->B L|true->T T(C+1)](C*C<=L)](0==L%C)])(L+1)U](LF F 2 3 111][F B L U->[false->B|true->F F([T->T T 2][T C->[true->B|false->[false->B L|true->T T(C+1)](C*C<=L)](0==L%C)])(L+1)U](L"yes"|_->"no"]true < 1580854155 518273 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:5:syntactical:) expected < 1580854253 585175 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [F->F F 2 3 111][F B L U->[false->B|true->F F([T->T T 2][T C->[true _->B|_ false->B L|_ _->T T(C+1)](C*C<=L)(0==L%C)])(L+1)U](LF F 2 3 111][F B L U->[false->B|true->F F([T->T T 2][T C->[true _->B|false false->B L|false true->T T(C+1)](C*C<=L)(0==L%C)])(L+1)U](LF F 2 3 111][F B L U->[false->B|true->F F([T->T T 2][T C->[true _->B|false false->B L|false true->T T(C+1)](0==L%C)(C*C<=L)])(L+1)U](LF F 2 3 111][F B L U->[false->B|true->F F([T->T T 2][T C->[true _->B|_ true->T T(C+1)|_ _->B L](0==L%C)(C*C<=L)])(L+1)U](LF F tuple 2 111][F B L U->[false->B|true->F F([T->T T 2][T C->[true _->B|_ true->T T(C+1)|_ _->B L](0==L%C)(C*C<=L)])(L+1)U](LF F tuple 2 111][F B L U->[false->B|true->F F([T->T T 2][T C->[true true->B|_ true->T T(C+1)|_ _->B L](0==L%C)(C*C<=L)])(L+1)U](LF F tuple 2 111][F B L U->[false->B|true->F F([T->T T 2][T C->[_ true->B L|true _->B|_ _->T T(C+1)](0==L%C)(LF F tuple 2 111][F B L U->[true->F F([T->T T 2][T C->[_ true->B L|true _->B|_ _->T T(C+1)](0==L%C)(LB])(L+1)U](LF F tuple 2 111][F B L U->[true->F F([T->T T 2][T C->[_ true->B L|true _->B|_ _->T T(C+1)](0==L%C)(LB](LF F tuple 2 111][F B L U->[true->F F([T->T T 2][T C->[_ true->B L|true _->B|_ _->T T(C+1)](0==L%C)(LB](L not ( X == Y ) ] < 1580856087 616404 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:2:syntactical:combinator or operator expected < 1580856093 883404 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: def ~= = [ X Y -> not ( X == Y ) ] < 1580856099 283829 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: def /= = (!=) < 1580856107 298870 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 2 /= 2 < 1580856107 646860 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580856108 251119 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 2 /= 3 < 1580856108 671371 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580856109 979869 :int-e!~noone@int-e.eu JOIN :#esoteric < 1580856117 468019 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (2,2)<(2,1) < 1580856117 740462 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580856119 396099 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (2,2)<(2,3) < 1580856119 767430 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580856122 584823 :int-e!~noone@int-e.eu PART :#esoteric < 1580856123 268962 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (2,2)<(1,3) < 1580856123 735110 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580856125 708193 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (2,2)<(3,3) < 1580856126 11851 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580856127 653110 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (2,2)<(3,1) < 1580856127 993330 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580856129 593625 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (2,2)<(1,1) < 1580856129 903117 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580856144 318501 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yah, it's overlap because operators starting with '!' are supposed to be prefix, I think. < 1580856154 18180 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Didn't think of it. < 1580856157 715582 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Will fix. < 1580856158 56266 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :it looks as if these try to do a full lexicographical ordering. that's nice. < 1580856162 813808 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 2 < true < 1580856163 131567 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:true < 1580856179 10398 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yah, it does a best effort on basis of a table. < 1580856230 876788 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The table orders operators lexicographically where the first char defines the class (infix/prefix). < 1580856268 627939 :int-e!~noone@int-e.eu JOIN :#esoteric < 1580856271 966503 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :That way you can always introduce an operator without thinking to much about fixity numbers. < 1580856280 587043 :int-e!~noone@int-e.eu PRIVMSG #esoteric :FWIW, this is ridiculous: echo $(< 2020-02-04.txt wc -l) $(< 2020-02-04.txt grep -Ev 'egelbot' | wc -l) ==> 1424 622 < 1580856299 385543 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But the table isn't stable yet. < 1580856314 429357 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, right. Shall I shut it down? < 1580856328 264005 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I can run the bot in #egel. < 1580856464 441659 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well from where I'm standing (I'm a bit grumpy though) it would be nice if the noisy experiments could happen somewhere else... highlights are still welcome here? < 1580856640 265722 :LKoen!~LKoen@81.255.219.130 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1580856756 880645 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :spruit11: is there a simple comment syntax? < 1580856778 58296 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (1.5<2,2.0<2,2.5<2) < 1580856778 403516 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple System:false System:false System:false) < 1580856793 362225 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (2<1.5,2<2.0,2<2.5) < 1580856793 740878 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple System:true System:true System:true) < 1580856855 483193 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :int-e: I asked if I could talk to the bot on a different channel. not yet apparently. it should be possible to install the interpreter to HackEso, in which case I could talk to it on both channels. < 1580856906 965467 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (abs 2,abs 2.0) < 1580856907 241375 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple (Math:abs 2) 2.000000000000000) < 1580856927 789888 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: 2+2.0 < 1580856928 119530 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:+ 2 2.000000000000000) < 1580856947 783715 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (tofloat 2,toint 2,tofloat 2.0,toint 2.0,tofloat 2.5,toint 2.5) < 1580856948 59884 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 2.000000000000000 2 2.000000000000000 2 2.500000000000000 2) < 1580856964 392653 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (1/0,1.0/0.0) < 1580856964 754471 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :exception(System:divzero) < 1580856969 10086 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (1.0/0.0) < 1580856969 264534 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :exception(System:divzero) < 1580856980 630535 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah fine. I'll be back in a couple of days then. < 1580856981 659859 :int-e!~noone@int-e.eu PART :#esoteric < 1580856990 23356 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :that latter should probably give an infinity though < 1580857044 785887 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: floor(1e199/3) < 1580857045 118329 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:9:semantical:undeclared e199 < 1580857048 602134 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: floor(1.0e199/3) < 1580857048 954031 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Math:floor (System:/ 1.000000000000000e+199 3)) < 1580857051 922910 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :uh < 1580857055 286474 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: floor(1.e199/3) < 1580857055 560308 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:10:lexical:error in float < 1580857063 554195 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: floor(1.e199/3.0) < 1580857063 942333 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:10:lexical:error in float < 1580857067 994746 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: floor(1.0e199/3.0) < 1580857068 321946 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :3.333333333333333e+198 < 1580857083 63272 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Comments start with #. < 1580857094 580402 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I had C-style but got rid of that. < 1580857096 100255 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: toint(floor(1.0e199/3.0)) # let me test comment syntax < 1580857096 429492 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :-9223372036854775808 < 1580857143 893321 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: (random,random,random) < 1580857144 219653 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 1681692777.000000 846930886.0000000 1804289383.000000) < 1580857160 355697 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :that is almost certainly a bug or a documentation bug < 1580857196 493087 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Which one? < 1580857200 951343 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [X->(X*X,X*X*X,X*X*X*X)]1.0e99 < 1580857201 314705 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 9.999999999999999e+197 9.999999999999999e+296 inf) < 1580857202 272488 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :the random < 1580857283 687649 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. That's a bug. < 1580857352 27042 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :egelbot: Math:random < 1580857352 442235 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :1714636915.000000 < 1580857358 229488 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Weird. < 1580857396 95856 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say 3.2 < 1580857396 456157 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :3.200000000000000 < 1580857401 421880 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say (3.2,1) < 1580857401 783150 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:say (System:tuple 3.200000000000000 1)) < 1580857411 319667 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: say {3.2,1} < 1580857411 753549 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:say (System:cons 3.200000000000000 (System:cons 1 System:nil))) < 1580857472 995798 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Ah, random() in the C-source probably links to something else. Only way I can explain it. < 1580857553 713088 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :There's a better random here: https://github.com/egel-lang/egel/blob/master/lib/random/random.cpp < 1580857561 760710 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But you can't use that from the bot. < 1580857639 875374 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I forgot. Fix /= and random. There was something else? < 1580857723 549476 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, right. Escaping in the bot. < 1580857802 387611 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [F->F F tuple 5][F B X->[true->F F(B(X/10)(X-1))|false->B](-20F F tuple 5][F B X->[true->F F(B(X/10))(X-1)|false->B](-20F F tuple 2 111][F B L U->[true->F F([T->T T 2][T C->[_ true->B L|true _->B|_ _->T T(C+1)](0==L%C)(LB](LF F tuple 5][F B X->;[true->F F(B X)(X- 1)|false->B](-20F F tuple 5][F B X->[true->F F(B X)(X- 1)|false->B](-20F F tuple 5][F B X->[true->F F(B(0.1*tofloat X))(X- 1)|false->B](-20F F tuple 5][F B X->[true->F F(B([P->P P 0(0.1*tofloat X)0.3 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2*U*V)|_->sqrt(abs(U*U+V*V))](S<12)]))(X- 1)|false->B](-20F F tuple 5][F B X->[true->F F(B([P->P P 0(0.1*tofloat X)0.3 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2*U*V)|_->sqrt(abs(U*U+V*V))](S<12)]))(X- 1)|false->B](-20P P 0 -0.8 0.3 0.0 0.0][P S X Y U V->[true->P(S+1)X Y(X+U*U-V*V)(Y+2*U*V)|_->(U,V)](S<10)] < 1580859158 332496 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(Dummy0DOT2 1 -0.8000000000000000 0.3000000000000000 -0.8000000000000000 (System:+ 0.3000000000000000 (System:* (System:* 2 0.000000000000000) 0.000000000000000))) < 1580859181 407669 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->P P 0 -0.8 0.3 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2*U*V)|_->(U,V)](S<10)] < 1580859181 899686 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple (System:+ -0.8000000000000000 (System:- (System:* (System:+ -0.8000000000000000 (System:- (System:* (System:+ -0.8000000000000000 (System:- (System:* (System:+ -0.8000000000000000 (System:- (System:* (System:+ -0.8000000000000000 (System:- (System:* (System:+ -0.8000000000000000 (System:- (System:* (System:+ -0.8000000000000000 (System:- (System:* (System:+ -0.8000000000000000 (System:- (System:* (System:+ -0.8000000000000000 (S < 1580859181 994450 :egelbot!~egelbot@ip56522cc1.speed.planet.nl QUIT :Excess Flood < 1580859201 5607 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It refuses to rewrite something. < 1580859222 508015 :egelbot!~egelbot@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1580859226 481362 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->P P 0 -0.8 0.3 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2*U*V)|_->(U,V)](S<2)] < 1580859226 903078 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple (System:+ -0.8000000000000000 (System:- 0.6400000000000001 (System:* (System:+ 0.3000000000000000 (System:* (System:* 2 0.000000000000000) 0.000000000000000)) (System:+ 0.3000000000000000 (System:* (System:* 2 0.000000000000000) 0.000000000000000))))) (System:+ 0.3000000000000000 (System:* (System:* 2 -0.8000000000000000) (System:+ 0.3000000000000000 (System:* (System:* 2 0.000000000000000) 0.000000000000000))))) < 1580859228 587184 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :'(System:* (System:* 2 0.000000000000000) 0.000000000000000))' <- doesn't seem right. < 1580859238 576666 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :ah < 1580859241 845365 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->P P 0 -0.8 0.3 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->(U,V)](S<2)] < 1580859242 200351 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple -0.2499999999999999 -0.1800000000000000) < 1580859244 823985 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->P P 0 -0.8 0.3 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->(U,V)](S<10)] < 1580859245 194935 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple -2.551589956236643 -3.469983401598749) < 1580859311 507416 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :] (+*:)^:(11)~ _0.8j0.3 < 1580859322 860114 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->P P 0 -0.8 0.3 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->(U,V)](S<11)] < 1580859323 354114 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple -6.330173502603112 18.00794959165446) < 1580859388 302356 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->P P 0 -0.8 0.3 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->(abs U)+(abs V)<2](S<11)] < 1580859388 750128 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :internal:1:88:semantical:undeclared abs < 1580859395 173229 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: using Math < 1580859398 955945 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->P P 0 -0.8 0.3 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->(abs U)+(abs V)<2](S<11)] < 1580859399 424926 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580859448 898415 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->P P 0 -0.8 0.3 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->(abs U)+(abs V)<2](S<11)] < 1580859449 375108 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :System:false < 1580859561 645087 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->(P 0.3,P 0.4)][P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->(abs U)+(abs V)<2](S<11)]-0.8 < 1580859562 19151 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple (Dummy7DOT1 0.3000000000000000) (Dummy7DOT1 0.4000000000000000) Dummy7DOT3 -0.8000000000000000) < 1580859586 372861 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->(P 0.3,P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->(abs U)+(abs V)<2](S<11)]-0.8) < 1580859586 902198 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple System:false System:false) < 1580859631 324054 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->(P 0.3,P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2)](S<11)]-0.8) < 1580859631 735482 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 0 0) < 1580859707 512781 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->[0 0->" "|0 1->"."|1 0->"'"|1 1->":"](P 0.3)(P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2)](S<11)]-0.8) < 1580859708 116689 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :" " < 1580859786 643526 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->(P -7)+(P -8)+(P -9)][X->[P->[0 0->" "|0 1->"."|1 0->"'"|1 1->":"](P 0.3)(P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2)](S<11)](0.1*tofloat X))] < 1580859787 40835 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :" " < 1580859797 539097 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->(P -6)+(P -7)+(P -8)+(P -9)][X->[P->[0 0->" "|0 1->"."|1 0->"'"|1 1->":"](P 0.3)(P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2)](S<11)](0.1*tofloat X))] < 1580859797 868948 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :" " < 1580859802 466792 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :that doesn't look right < 1580859815 516600 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->[0 0->" "|0 1->"."|1 0->"'"|1 1->":"](P 0.3)(P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2)](S<11)]-0.6) < 1580859815 999667 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :" " < 1580859819 524881 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->[0 0->" "|0 1->"."|1 0->"'"|1 1->":"](P 0.3)(P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2)](S<11)]-0.2) < 1580859819 987039 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :" " < 1580859831 867482 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->(P 0.3,P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2)](S<11)]-0.2) < 1580859832 341917 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 0 0) < 1580859855 613844 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->(P 0.3,P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->(U,V)](S<11)]-0.2) < 1580859856 20877 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple (System:tuple -0.2033919406239670 0.2129649016690347) (System:tuple -0.2238013223122670 0.2711989067998540)) < 1580859931 191725 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :FireFly: J-bot stopped reacting < 1580859932 374909 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :] 1 < 1580859952 159725 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->(P 0.3,P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->(abs U)+(abs V)](S<11)]-0.2) < 1580859952 828027 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :(System:tuple 0.4163568422930016 0.4950002291121210) < 1580859958 135513 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1580859958 506281 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :oh < 1580859972 869311 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->(P -6)+(P -7)+(P -8)+(P -9)][X->[P->[0 0->" "|0 1->"."|1 0->"'"|1 1->":"](P 0.3)(P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2.0)](S<11)](0.1*tofloat X))] < 1580859973 424999 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :":\' " < 1580859999 110048 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :[ 1 < 1580859999 446912 :j-bot!eldis4@firefly.nu PRIVMSG #esoteric :FireFly: 1 < 1580860005 577564 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :b_jonas: wrong prefix :p < 1580860007 649898 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :oh < 1580860018 956711 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Uh. What are you trying to do? < 1580860029 506707 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :and, while it accepts that prefix ] in private message, I put a space before it accidentally < 1580860035 362671 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :spruit11: more numeric calculations. you'll see. < 1580860040 620204 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :there were just some typos in my code < 1580860051 394234 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Ah. < 1580860062 314995 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I need food. < 1580860064 798334 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :brb. < 1580860092 500627 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1580860179 786054 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->[H->H H""5][H B X->[true->H H(B+P X)(X- 1)|_->B](-20[P->[0 0->" "|0 1->"."|1 0->"'"|1 1->":"](P 0.3)(P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2.0)](S<11)](0.1*tofloat X))] < 1580860180 234246 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :" \'::::::::::\' \'\'\' " < 1580860197 376717 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [P->[H->H H""5][H B X->[true->H H(B+P X)(X- 1)|_->say B](-20[P->[0 0->" "|0 1->"."|1 0->"'"|1 1->":"](P 0.3)(P 0.4)]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2.0)](S<11)](0.1*tofloat X))] < 1580860198 19449 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : '::::::::::' ''' < 1580860202 381647 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :good, good < 1580860278 788252 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [Y->[P->[H->H H""5][H B X->[true->H H(B+P X)(X- 1)|_->say B](-20[P->[0 0->" "|0 1->"."|1 0->"'"|1 1->":"](P Y)(P(Y+ 0.1))]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2.0)](S<11)](0.1*tofloat X))]]0.3 < 1580860279 369216 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : '::::::::::' ''' < 1580860397 997273 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [H->H -0.9;H -0.7;H -0.5;H -0.3;H -0.1;H 0.1;H 0.3;H 0.5;H 0.7;H 0.9][Y->[P->[H->H H""5][H B X->[true->H H(B+P X)(X- 1)|_->say B](-20[P->[0 0->" "|0 1->"."|1 0->"'"|1 1->":"](P Y)(P(Y+ 0.1))]([P X Y->P P 0 X Y 0.0 0.0][P S X Y U V->[true->P P(S+1)X Y(X+U*U-V*V)(Y+2.0*U*V)|_->[true->1|_->0]((abs U)+(abs V)<2.0)](S<11)](0.1*tofloat X))]] < 1580860398 599832 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : .:. < 1580860399 79503 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : .. ..::.... < 1580860399 654608 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : :::::::::: < 1580860400 229966 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : ::::::::::::..::: < 1580860400 801811 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : ::::::::::::::::::..... < 1580860401 410023 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : .::::::::::::::::'' < 1580860401 960944 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : '::::::::::' ''' < 1580860402 499302 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : .:':::::::: < 1580860403 71033 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : .:: < 1580860403 645104 :egelbot!~egelbot@ip56522cc1.speed.planet.nl PRIVMSG #esoteric : .' < 1580860419 327376 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :yay! Mandelbrot fractal calculation < 1580860424 146247 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Neat! < 1580860432 293407 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Or rather. < 1580860436 744358 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Awesome! < 1580860463 798573 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :it's basically translated from the Mandelbrot code in https://code.jsoftware.com/wiki/User:B_Jonas < 1580860508 247782 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :not exactly the same, but uses the same grid < 1580860593 994252 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :obviously it would have been nicer to write the top level loop as a loop too, rather than with a series of constants like that < 1580860597 173327 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :but I'm lazy now < 1580860655 857402 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :int-e: you wanted the highlights only, right? ^ Mandelbrot fractal calculation < 1580860688 424262 :b_jonas!~x@catv-176-63-13-186.catv.broadband.hu PRIVMSG #esoteric :egelbot: [F->F F tuple 2 111][F B L U->[true->F F([T->T T 2][T C->[_ true->B L|true _->B|_ _->T T(C+1)](0==L%C)(LB](L