< 1584663224 165385 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :Remote host closed the connection < 1584663236 285366 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1584663862 282937 :diverger!~div@45.9.251.164 JOIN :#esoteric < 1584663910 827686 :divergence!~div@titan.pathogen.is QUIT :Ping timeout: 256 seconds > 1584664609 1905 PRIVMSG #esoteric :14[[07XENBLN14]]4 M10 02https://esolangs.org/w/index.php?diff=70440&oldid=70236 5* 03PythonshellDebugwindow 5* (+116) 10 > 1584665011 249135 PRIVMSG #esoteric :14[[07XENBLN14]]4 M10 02https://esolangs.org/w/index.php?diff=70441&oldid=70440 5* 03PythonshellDebugwindow 5* (-22681) 10/* Commands */ < 1584665030 305461 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net PRIVMSG #esoteric :That seems...annoying to look at < 1584665046 822167 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net PRIVMSG #esoteric :kinda neat though. < 1584666353 318442 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :“of the Russian transliteration (kind of) of "Jelly" (which is "Желлый")” => wh…what?? O_o < 1584666382 658155 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Do you know how to write in Russian? < 1584666384 189345 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :I’d say джелли is a perfectly normal transliteration < 1584666408 52479 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :zzo38: yeah :) < 1584666414 322725 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :OK, good < 1584666692 205479 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :though now I wonder if I mix transliteration with something else, hm, like this one I wrote reads as near to “jelly” as possible (if one considers reading double лл as a non-geminated consonant, which is usually the case), but it’s also a transliteration. Though “джели” wouldn’t be a transliteration, and it may be a more preferred as a transcription (though someone may disagree) < 1584666720 529390 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :What is the Russian word for "jelly", though? < 1584666791 420415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm how would дж be pronounced, is either consonant assimilated to the other? < 1584666830 642488 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages-loud < 1584666830 684849 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :int-e said 3d 7h 31m 24s ago: Agatha is such a terrbible mad scientist. < 1584666870 566095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because a dental followed by a retroflex is not something my tongue wants to pronounce < 1584666923 132699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(then again, i'm not russian.) < 1584667024 868602 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :(also someone may accidentally put the accent on the last syllable, and it would be suboptimal; one can prevent that from happening by writing the accent mark explicitly: дже́лли, but as Russian is not Spanish, excessive accenting may be frowned upon; and this is sad) < 1584667024 958739 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :zzo38: желе (more for fruit ones), студень (also may be used for non-edible things), холодец (this one usually contains pieces of meat), and maybe a special chemical term which I forgot < 1584667112 993587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: someone has to be the sane one to save the world < 1584667280 144090 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :notable that холодец and студень is formed more or less like Latin gelata (from which, gelatine and jelly via French) — both relate to something cold/frozen/solidified, though all of them in different ways, no long-distance relations here, just a jelly preparation wisdom :D < 1584667308 945911 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :(and желе is most probably via that same French too) < 1584667524 936129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : corollary: Fractran is almost certainly TC with 6 fractions, although the size of the fractions is probably going to be astronomical <-- cool < 1584667534 199235 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :oerjan: oh sorry I missed your question, one sec < 1584667651 319539 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :I think in most cases д would be a retroflex one, or at least something closer to retroflex than a usual dental д, and ж should stay unchanged < 1584667715 413876 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :also as дж is in most normal cases not an affricate, it can have a relatively long (phonetically) transition between д and ж and then it’s not that hard to pronounce < 1584667815 468007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1584667820 203985 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :though of course if you’d read a thorough phonetic work on this, prefer it to my rationalizations, I’m not a phonetics specialist < 1584668114 252880 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :also someday I need to complete reading a J. C. Catford’s “A practical introduction to phonetics”, a neat book with experimental interludes to make oneself closer to understanding what can be articulated by us humans :D Maybe not a monograph but very useful. I learned how to make ejectives and something, though without practice I already unlearned that. Though it’s fixable as easily < 1584668163 586682 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru QUIT :Quit: gone too far < 1584668219 168300 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: I didn't @tell that part, but I also complained that having second thoughts is so inefficient :) < 1584668483 545719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. i didn't get to it in the logs yet, lambdabot just pinged me < 1584668530 680348 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i also dislike second thoughts, especially when they happen after i've already started following the first one. < 1584668711 873570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i see Para Ventura also does not count restoration from backup as immortality. < 1584668796 457661 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :someone should remember to back up Cindy, though. < 1584668819 410527 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mmm < 1584668847 160694 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh it updated already. (Of course, I'm just bad with time zones.) < 1584668881 5448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just a few weeks while the US has transited to DST but Europe hasn't < 1584669043 962424 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I would hope that Cindy's backing herself up, actually. < 1584669079 246410 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Though the backup location may be Petey's domain and that's a prime target... I wonder how distributed He is. < 1584669328 449117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :istr the toughs backup to eina afa < 1584669362 925413 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :some distribution is still in order > 1584669398 675483 PRIVMSG #esoteric :14[[07Line Feed14]]4 10 02https://esolangs.org/w/index.php?diff=70442&oldid=70429 5* 03A 5* (+92) 10Let's keep both interpreters < 1584670300 656898 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh well, I'm re-reading some old lessons in ethics. https://www.schlockmercenary.com/2001-04-15 < 1584670615 815750 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I was really looking for the first appearance of Petey, which comes 2 weeks later) < 1584671022 291862 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i followed that link, clicked Next, and got somewhat astounded by the art evolution of dr. bunnigus. < 1584671283 217973 :int-e!~noone@int-e.eu PRIVMSG #esoteric :19 years is a long time < 1584671314 154156 :int-e!~noone@int-e.eu PRIVMSG #esoteric :FWIW, https://www.schlockmercenary.com/2001-05-18 is where they finally agree on "Petey" < 1584671513 327156 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 250 seconds < 1584673485 261253 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1584673690 760514 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1584673871 762867 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1584674221 758820 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1584684119 584179 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1584687361 764377 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 264 seconds < 1584688416 405520 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 250 seconds < 1584688560 905968 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1584689046 834855 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1584690443 840046 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 246 seconds < 1584690530 285781 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1584695183 829459 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1584695234 303764 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1584695263 156562 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1584695355 316254 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 250 seconds < 1584695501 55231 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1584696920 533022 :diverger!~div@45.9.251.164 QUIT :Read error: Connection reset by peer < 1584696992 299967 :diverger!~div@45.9.251.164 JOIN :#esoteric < 1584698702 322854 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 JOIN :#esoteric < 1584703583 377674 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1584705248 367100 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1584706076 708730 :xkapastel!uid17782@gateway/web/irccloud.com/x-wodhxrzbgdjibdxk JOIN :#esoteric < 1584706776 873729 :tromp_!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f JOIN :#esoteric < 1584706970 824390 :tromp!~tromp@2a02:a210:ca3:2800:5e:1a4d:346:6cac QUIT :Ping timeout: 246 seconds < 1584710603 476409 :diverger!~div@45.9.251.164 QUIT :Read error: Connection reset by peer < 1584710745 816434 :shinh_!~i@129.EC0234U.cyberhome.ne.jp JOIN :#esoteric < 1584710748 383597 :diverger!~div@45.9.251.164 JOIN :#esoteric < 1584710827 776641 :arseniiv_!~arseniiv@95.105.9.112.dynamic.ufanet.ru JOIN :#esoteric < 1584710834 872411 :shinh!~i@129.EC0234U.cyberhome.ne.jp QUIT :Ping timeout: 240 seconds < 1584710839 822392 :arseniiv_!~arseniiv@95.105.9.112.dynamic.ufanet.ru NICK :arseniiv < 1584712934 383012 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 250 seconds < 1584715623 692083 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds < 1584717190 763422 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1584721076 284495 :wib_jonas!b03f0b9f@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.11.159 QUIT :Remote host closed the connection < 1584722143 256953 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1584722470 379906 :MDead!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric < 1584722580 373377 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :Ping timeout: 250 seconds < 1584722585 622366 :MDead!~MDude@97-127-171-136.cdrr.qwest.net NICK :MDude > 1584724387 473371 PRIVMSG #esoteric :14[[07Infinite Goto14]]4 M10 02https://esolangs.org/w/index.php?diff=70443&oldid=70374 5* 03PythonshellDebugwindow 5* (+25) 10/* Resources */ < 1584725864 390437 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1584726744 444182 :diverger!~div@45.9.251.164 QUIT :Read error: Connection reset by peer < 1584726831 231323 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1584726865 801261 :diverger!~div@45.9.251.164 JOIN :#esoteric < 1584727256 363907 :sftp!~sftp@unaffiliated/sftp QUIT :Excess Flood < 1584727278 380779 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1584727537 774443 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1584728189 64091 :diverger!~div@45.9.251.164 QUIT :Read error: Connection reset by peer < 1584728340 764660 :diverger!~div@45.9.251.164 JOIN :#esoteric < 1584730885 125106 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :we've got some cool fonts right < 1584730890 606129 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :where are they again? < 1584730922 444984 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :for terminals < 1584730930 853808 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I'm getting tired of my IBM BIOS dump < 1584731022 504611 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? fonts < 1584731023 840968 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​#esoteric bitmap fonts include: \oren\'s font http://www.orenwatson.be/fontdemo.htm , lifthrasiir's font https://github.com/lifthrasiir/unison/ , b_jonas's font http://www.math.bme.hu/~ambrus/pu/fecupboard20-c.pcf.gz , fizzie's font https://github.com/fis/rfk86/tree/master/web/font , FireFly's fonts http://xen.firefly.nu/up/fonts/ < 1584731072 25460 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :yeah < 1584731073 314338 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :thats this one < 1584731106 272771 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :\oren\'s font is a bit unreadable to me < 1584731109 339925 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :but it's gorgeous < 1584734285 563358 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1584734302 493899 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1584734535 270992 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1584734546 572477 :kspalaiologos!~root@176.221.122.71 JOIN :#esoteric < 1584734869 168080 :kspalaiologos!~root@176.221.122.71 QUIT :Quit: leaving < 1584735776 317070 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :What improvements do you think should be made to the SQLite virtual table mechanism? < 1584736725 566400 :int-e!~noone@int-e.eu PRIVMSG #esoteric :zzo38: Have you stopped beating your wife? < 1584736835 42764 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I do not have a wife. < 1584737428 532389 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :18 smaller apples eh? < 1584737779 718831 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1584738419 983430 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :What about small apples eh? < 1584738452 362895 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1584738589 805582 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds < 1584738619 719299 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1584739757 727544 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :zzo38: sorry, it's today's xkcd < 1584740072 286581 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :O, that's what it is. < 1584740194 224319 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tbf, you just don't picture it all at once < 1584740297 266720 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Imagine a 1m^3 cube, zoom in on a corner of 1mm^3 size, imagine that's your new 1m^3 cube. Repeat 4 times. Imagine that the cube you are now left with is 10 bytes then put it all together again. < 1584740362 470416 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving < 1584740482 244460 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :I think either I’ve gone crazy or I got an amalgamation of effects with coeffects, at least for a simple formulation of either, and in context of applicative programming with quotes < 1584740511 795164 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: how about both? < 1584740526 157959 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :maybe both :′( < 1584740593 605851 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(But sorry, no constructive feedback is forthcoming from me; I can't bring myself to figure out what that might say.) < 1584740698 609552 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :all in all, an effect constructors abuses the part after it upto the end of the handled chunk; a coeffect constructor “retroactively” abuses a chunk from the start of the handled chunk upto before itself. Now we can make a bracket of these constructors, beginning with effect ctor and ending with coeffect ctor, and they would abuse the code between them, when handled < 1584740790 851882 :int-e!~noone@int-e.eu PRIVMSG #esoteric :where is the department for the prevention of code abuse when you need it < 1584740887 809605 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :though one needsnot only a handler but four extra additional converting routine arguments in case the bracket would be malformed. Usual effects with handlers use just a single one, when no effect constructor was called, and my coeffect analogy uses just one too, but this one seems to need four < 1584740932 144032 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :if this thing would work, I name it proeffects, as in “profunctor” < 1584740988 159999 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :though I’m explicitly not sure if it may be useful and if it may be generalized upto what effects-with-algebraic-declarations-and-handlers-and-whatnot are now < 1584741044 151638 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :on the plus side, in this case one doesn’t need separate effect and coeffect tagging on types < 1584741044 941885 :vivax!~vivax@66.79-161-35.customer.lyse.net JOIN :#esoteric < 1584741136 194675 :vivax!~vivax@66.79-161-35.customer.lyse.net PRIVMSG #esoteric :hello < 1584741164 582396 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :`relcome < 1584741166 532271 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​07Welcome 08to 09the 02international 06hub 13for 04esoteric 07programming 08language 09design 02and 06deployment! 13For 04more 07information, 08check 09out 02our 06wiki: 13. 04(For 07the 08other 09kind 02of 06esoterica, 13try 04#esoteric 07on 08EFnet 09or 02DALnet.) < 1584741475 126390 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :at least I hope I’ll be able to explain what I did for effects in this concatenative typed setting. int-e would you be interested? < 1584741565 300467 :int-e!~noone@int-e.eu PRIVMSG #esoteric :sorry, no < 1584741572 557124 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :ah okay no problem < 1584741619 264199 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :I’ll make an exposition anyway I think :D < 1584743068 754941 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :anyone familiar enough with Haskell types and concatenative languages should I think be able to get the following: < 1584743068 755004 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :we’ll type a stack as a heterogeneous list of types of its elements, like [bottom] 2 'a' [top] will have a type Char::Int::Nil. Usually one considers only several top elements of the stack, typing the mentioned one as Char::Int::xs or Char::xs or xs; < 1584743068 755027 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :a single-word function would be typed as xs → ys. Now suppose we can quote parts of the code, writing that as []. If : ts₁ → ts₂, then [] : xs → [ts₁ → ts₂]::xs; < 1584743068 804314 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :enter effects. We would denote the type of a function xs → ys having effects E when applied, as xs −E→ ys. Now we can type a concatenation simply as: f : xs −E₁→ ys, g : ys −E₂→ zs ⊢ f g : xs −(E₁∪E₂)→ zs; < 1584743068 804360 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :let ESig e vs rs express that any constructor of effect named e takes vs and leaves rs (this is a simplistic setting); and we can add two primitives, effect and handle, with types < 1584743068 804402 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :effect : ESig e vs rs ⇒ vs −{e}→ rs; handle : ESig e vs rs ⇒ [[rs −E→ bs]::vs −E′→ cs]::[bs −E″→ cs]::[as −E→ bs]::as −((E\{e})∪E′∪E″)→ cs; < 1584743068 804414 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :effect is obvious, it just makes an effect. handle takes an effect handler, a normal return handler, and a code in which we would handle the effect e; < 1584743069 756323 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :when a constructor is handled, the handler receives an additional delimited continuation, from the constructor upto the end of the code being handled, and the handler may choose to continue with it any numer of times or to return early; < 1584743069 756395 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :this is not new but the presentation for the concatenative setting may be or not be interesting. The dual thing would give a continuation from the start of the code upto a constructor, and I hope that captures something coeffectful; < 1584743070 755673 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :that’s all! I’ll go read something about coeffects once again or maybe I’m going to play backgammon with a friend. Hopefully this isn’t too long < 1584743119 610650 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :s/isn’t/wasn’t < 1584743318 227345 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :ah, also: executing effectful code would be straightforward, using a call stack enhanced with “handle entries” using as delimiters. Executing a coeffectful code will require a translation of the code, as one needs to handle constructors right to left < 1584743342 610024 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :(if I’m not mistaken) < 1584743504 417364 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :and the translation should might be done very simply (with effects, too), quoting all the continuations which would be required to handle each constructor, and add some glue < 1584743720 280797 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru PRIVMSG #esoteric :s/“handle entries” using as delimiters/…used… < 1584744162 257057 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I am making a major template for making Magic: the Gathering cards with TeXnicard. This includes .auto. command to automatically fill in some fields (such as the collector numbers and color identity), and .errors. command to tell you what errors it detects in the current record. < 1584745633 310667 :vivax!~vivax@66.79-161-35.customer.lyse.net PART #esoteric :"WeeChat 2.7.1" < 1584746630 414134 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Ping timeout: 258 seconds < 1584746643 738404 :voidio!iovoid@hellomouse/dev/iovoid JOIN :#esoteric < 1584746671 756186 :dnm_!sid401311@gateway/web/irccloud.com/x-foxmuzunhkxiyiwa JOIN :#esoteric < 1584746679 117115 :Deewiant_!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric < 1584746726 730887 :^[!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep QUIT :Ping timeout: 246 seconds < 1584746726 827451 :dnm!sid401311@gateway/web/irccloud.com/x-zfrzaokywzpinxpa QUIT :Ping timeout: 246 seconds < 1584746726 878822 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi QUIT :Ping timeout: 246 seconds < 1584746727 13843 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Ping timeout: 246 seconds < 1584746727 422810 :dnm_!sid401311@gateway/web/irccloud.com/x-foxmuzunhkxiyiwa NICK :dnm < 1584746738 244243 :^[_!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep JOIN :#esoteric < 1584746765 909543 :iczero!iczero@hellomouse/dev/iczero QUIT :Ping timeout: 246 seconds < 1584746791 887497 :iczero!iczero@hellomouse/dev/iczero JOIN :#esoteric < 1584746913 615884 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric < 1584747340 133005 :wlp1s1!iczero@hellomouse/dev/iczero JOIN :#esoteric < 1584747367 244511 :j4cbo_!sid186930@gateway/web/irccloud.com/x-uokwdxpbfutetegr JOIN :#esoteric < 1584747426 889240 :iczero!iczero@hellomouse/dev/iczero QUIT :Excess Flood < 1584747427 38086 :j4cbo!sid186930@gateway/web/irccloud.com/x-krkzhpgvhbnlejlw QUIT :Ping timeout: 246 seconds < 1584747427 803765 :j4cbo_!sid186930@gateway/web/irccloud.com/x-uokwdxpbfutetegr NICK :j4cbo < 1584748469 425737 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? economics < 1584748470 678898 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :economics? ¯\(°​_o)/¯ < 1584748487 964555 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`learn Economics is just applied numerology. < 1584748490 543882 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Learned 'economic': Economics is just applied numerology. < 1584748503 334111 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :`? just < 1584748504 562563 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Just is just a just adverb. < 1584748508 947717 :int-e!~noone@int-e.eu PRIVMSG #esoteric :``mv wisdom/economic{,s} < 1584748509 750820 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​`mv? No such file or directory < 1584748513 534570 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` mv wisdom/economic{,s} < 1584748514 435542 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :mv: cannot stat 'wisdom/economic': No such file or directory < 1584748534 115427 :int-e!~noone@int-e.eu PRIVMSG #esoteric :right, what's that environment variable again? < 1584748562 641210 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Or I could use the .. trick < 1584748593 637665 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` mv $HACKENV/wisdom/economic{,s} < 1584748595 799364 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1584748634 454551 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`hwrl economics < 1584748635 479699 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/log/tip/wisdom/economics