< 1633132840 801229 :b_jonas!~x@catv-176-63-2-81.catv.broadband.hu PRIVMSG #esolangs :ais523: but also according to https://doc.rust-lang.org/nightly/std/mem/fn.discriminant.html rust calls "discriminant" the number that tells only which constructor is used in an enum value, without the parameters for that constructor < 1633132852 279837 :b_jonas!~x@catv-176-63-2-81.catv.broadband.hu PRIVMSG #esolangs :and that page talks about "enum variant" < 1633132905 837226 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :ais523: your question is vague enough that haskell's "algebraic datatype" seems to apply < 1633132930 731147 :b_jonas!~x@catv-176-63-2-81.catv.broadband.hu PRIVMSG #esolangs :"https://doc.rust-lang.org/nightly/reference/items/enumerations.html" mentions "variant", "constructor", and "discriminant" < 1633132943 862690 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :oh hum < 1633132948 602510 :b_jonas!~x@catv-176-63-2-81.catv.broadband.hu PRIVMSG #esolangs :also "enum variant" < 1633132965 307479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :misread the question, i think. what b_jonas said. < 1633133007 397030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :(i interpreted "variant" in the colloquial sense) < 1633133046 123484 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :they're sum types, so call them "terms"? < 1633133049 902267 :keegan!~beehive@li521-214.members.linode.com PRIVMSG #esolangs :and product types have factors? < 1633133070 314133 :b_jonas!~x@catv-176-63-2-81.catv.broadband.hu PRIVMSG #esolangs :you might also try to look in C++ papers, because they use "constructor" for something else so they will probably have different terms < 1633133273 934322 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Each of the various different things in an std::variant is an alternative, but that's probably not quite the same. < 1633133351 807845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :. o O ( are all these different word for it meta-variants ) < 1633133354 289312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :*s < 1633133542 334082 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :keegan: Prolog uses "term" but I think that also includes things like integers, which I want to exclude from this < 1633133558 342811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :. o O ( a programming language with obstructors and instructors ) < 1633133560 905795 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :that said, an integer is probably actually a special case of this in Prolog < 1633133571 506554 :b_jonas!~x@catv-176-63-2-81.catv.broadband.hu PRIVMSG #esolangs :you might look in http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0095r0.html and its followup papers, that's the paper that suggests first class support for rust-like enums into C++, but I don't know what its afterlife is and what followup papers there are < 1633133581 458324 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :ais523: i think "functor" is the prolog term? < 1633133593 785750 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :I think functor might be the name for the tag specifically? not sure though < 1633133604 513920 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :I have some prolog docs open at the moment, I've been trying to figure this out < 1633133630 6158 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :looks like "functor" specifically refers to the tag plus the number of arguments < 1633133636 897141 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :e.g. the functor of a(b,c) is a/2 < 1633133679 953588 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :oh, got it: the precise Prolog term for what I'm looking for is "compound term" < 1633133811 873615 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :I guess there probably isn't a standard name? this is surprising < 1633133910 137308 :hendursaga!~weechat@user/hendursaga QUIT :Quit: hendursaga < 1633133924 613448 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :hmm, "tagged union" seems fairly universal as a general name for the type these things belong to, but "tagged union value" is a bit of a mouthful < 1633133929 202600 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Hm, are we allowing infinite unions? It would be surprising if an integer were a tag value, since that would be hard to exhaustively code against. < 1633133938 633114 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1633134010 25027 :imode!~imode@user/imode PRIVMSG #esolangs :I've always known that stuff as tagged unions, ais523. < 1633134067 97555 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :Corbin: Prolog does, but I'm not planning to < 1633134091 944262 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :imode: right, I was looking for a name for the sort of thing that's a value of a tagged union (without necessarily needing to indicate which union it belongs to) < 1633134140 755933 :imode!~imode@user/imode PRIVMSG #esolangs :hm. value, I guess? good question.. < 1633134255 997963 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :the context is that I'm making a vaguely jsonlike format that handles tagged union / list / integer rather than dictionary / list / integer in a way that maps across languages (primarily for internally representing ASTs in a language I'm writing, although if it ends up useful in other contexts too I have no problem with that) < 1633134456 649003 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :currently I'm leaning towards "term" to represent these, but there's one major issue with that, that discourages me: because I'm extensively representing ASTs in this sort of format, it's going to come into context with grammars a lot, and in the context of a grammar, it represents a nonterminal rather than a terminal < 1633134547 647947 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :(so calling it "term" may be a little confusing juts due to the similarity of names) < 1633134553 254983 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :I may go with it anyway though < 1633134885 82806 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :I guess "object" isn't horrible < 1633134905 737299 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :or maybe there's some sort of definition, defining it by what it isn't (it isn't a number or list) < 1633135349 989924 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Do you have other data formats other than union/list/integer (such as byte sequences)? < 1633138423 118390 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :zzo38: I've been considering strings, but I think I'm going to represent them as lists of codepoints < 1633138433 290715 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :(where the codepoitns are integers) < 1633138468 398615 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :also floats but those don't map neatly between languages < 1633138510 596758 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :How big are integers allowed to be in this format? < 1633139561 237343 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Also, do you have a document? < 1633139740 627937 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :zzo38: I think it should allow bignums (although not all programs will be able to read them) < 1633139769 314558 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :and I don't have a document yet because I'm still designing it, I need to work out the details before I can write them down < 1633139775 593078 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :OK < 1633141193 990771 :b_jonas!~x@catv-176-63-2-81.catv.broadband.hu PRIVMSG #esolangs :ais523: I'm not surprised that there's no standard name yet. these are functional programming concepts, they have all kinds of conflicting names between multiple programming languages that reinvent them with different variants, just like the list operations < 1633141245 36042 :b_jonas!~x@catv-176-63-2-81.catv.broadband.hu PRIVMSG #esolangs :and I think that's a terminology that won't be covered by TAOCP so that can't spread a name either < 1633141474 6325 :imode!~imode@user/imode PRIVMSG #esolangs :we have names like monad and you're wondering why there's no standard name yet? all of them are invented or obscure. :P < 1633142557 947945 :ais523!~ais523@109.249.181.93 PRIVMSG #esolangs :"monad" is the standard name for a monad, though < 1633142604 860191 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :There's not even a clear preference for "sum" vs "coproduct" here. < 1633143198 894690 :ais523!~ais523@109.249.181.93 QUIT :Remote host closed the connection > 1633145225 518187 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=88477&oldid=88476 5* 03GoodCoderBBoy 5* (+130) 10fixed some inline code blocks > 1633145503 600148 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=88478&oldid=88477 5* 03GoodCoderBBoy 5* (+30) 10replaced 'hate' with 'strongly disapprove of' > 1633145640 185316 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 10 02https://esolangs.org/w/index.php?diff=88479&oldid=88478 5* 03GoodCoderBBoy 5* (+173) 10added link to more examples > 1633145683 286479 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=88480&oldid=88479 5* 03GoodCoderBBoy 5* (+4) 10fixed github link < 1633146029 904717 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :clearly they should have kept the name "triple" for monads, would have avoided so much confusion hth > 1633146030 141578 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 10 02https://esolangs.org/w/index.php?diff=88481&oldid=88480 5* 03GoodCoderBBoy 5* (+214) 10added adder example > 1633146068 5460 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=88482&oldid=88481 5* 03GoodCoderBBoy 5* (-49) 10Removed partial sentence > 1633146190 521486 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=88483&oldid=88482 5* 03GoodCoderBBoy 5* (+4) 10Added full-stops / periods / circular-punctuation-which-follows-the-end-of-a-sentence. > 1633146443 430650 PRIVMSG #esolangs :14[[07User:GoodCoderBBoy14]]4 N10 02https://esolangs.org/w/index.php?oldid=88484 5* 03GoodCoderBBoy 5* (+217) 10create page > 1633146514 470031 PRIVMSG #esolangs :14[[07User talk:GoodCoderBBoy14]]4 N10 02https://esolangs.org/w/index.php?oldid=88485 5* 03GoodCoderBBoy 5* (+224) 10created page > 1633148401 337396 PRIVMSG #esolangs :14[[07Composite14]]4 N10 02https://esolangs.org/w/index.php?oldid=88486 5* 03ArthroStar11 5* (+2946) 10created page and provided link to my interpreter > 1633148500 160243 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=88487&oldid=88469 5* 03ArthroStar11 5* (+16) 10added my language "Composite" > 1633148563 831135 PRIVMSG #esolangs :14[[07User:ArthroStar1114]]4 10 02https://esolangs.org/w/index.php?diff=88488&oldid=87640 5* 03ArthroStar11 5* (+132) 10 < 1633148762 973939 :b_jonas!~x@catv-176-63-2-81.catv.broadband.hu PRIVMSG #esolangs :"monad" just doesn't come up much, Haskell is the only one that has it as a full abstraction, as opposed to just particular monads < 1633148853 256144 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :"Monad" and other names are used in mathematics, and can also be used in a computer program < 1633148964 191786 :b_jonas!~x@catv-176-63-2-81.catv.broadband.hu PRIVMSG #esolangs :and they already have "burrito" as the alternate name, maybe that's what the next generation will call it < 1633149348 237005 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :burrito was the worst song < 1633149823 811924 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Do you know what should be a convention of suffix of file names of composite puzzle sets? (No suffix is required, although perhaps there should be the convention, to be distinguish from non-composite puzzle sets) < 1633150265 903370 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :ais523: I've heard "summand" sometimes, for part of a sum. < 1633150279 824910 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Actually, I saw "summand" too sometimes < 1633151186 316413 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Is there a implementation of UNIX compress/uncompress that implements the Quasijarus compression format other than Quasijarus? (I could write one without too much difficulty, but would want to know if there already is in any Linux package) < 1633151578 78586 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite > 1633154994 998809 PRIVMSG #esolangs :14[[07Talk:XSVL14]]4 N10 02https://esolangs.org/w/index.php?oldid=88489 5* 03ArthroStar11 5* (+1182) 10Created page with "== some observations == Hey, I was looking through your source code and noticed a couple of things. It's perfectly fine the way it is but I feel these may be helpful if you go..." > 1633155358 41181 PRIVMSG #esolangs :14[[07Talk:XSVL14]]4 M10 02https://esolangs.org/w/index.php?diff=88490&oldid=88489 5* 03ArthroStar11 5* (+0) 10fixed typo in example code < 1633155358 417269 :imode!~imode@user/imode QUIT :Ping timeout: 252 seconds < 1633157649 855398 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de JOIN #esolangs * :Thelie < 1633158773 774279 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de QUIT :Remote host closed the connection < 1633158784 392612 :immibis!~hexchat@62.156.144.218 JOIN #esolangs * :realname < 1633159786 390659 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User > 1633159967 35977 PRIVMSG #esolangs :14[[07User talk:GoodCoderBBoy14]]4 10 02https://esolangs.org/w/index.php?diff=88491&oldid=88485 5* 03GoodCoderBBoy 5* (+35) 10added esolangs created list > 1633159980 270454 PRIVMSG #esolangs :14[[07User talk:GoodCoderBBoy14]]4 M10 02https://esolangs.org/w/index.php?diff=88492&oldid=88491 5* 03GoodCoderBBoy 5* (+2) 10fixed link > 1633160076 903971 PRIVMSG #esolangs :14[[07User talk:GoodCoderBBoy14]]4 M10 02https://esolangs.org/w/index.php?diff=88493&oldid=88492 5* 03GoodCoderBBoy 5* (+0) 10fixed link > 1633160089 932197 PRIVMSG #esolangs :14[[07User:GoodCoderBBoy14]]4 10 02https://esolangs.org/w/index.php?diff=88494&oldid=88484 5* 03GoodCoderBBoy 5* (+44) 10added esolangs created list > 1633160574 453079 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 10 02https://esolangs.org/w/index.php?diff=88495&oldid=88483 5* 03GoodCoderBBoy 5* (+374) 10added exit conditions < 1633160692 382831 :river!~river@tilde.team/user/river JOIN #esolangs river :river > 1633160772 6452 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 10 02https://esolangs.org/w/index.php?diff=88496&oldid=88495 5* 03GoodCoderBBoy 5* (+48) 10AutomataFuck DOES NOT SUPPORT NESTED LOOPS. > 1633160881 25937 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 10 02https://esolangs.org/w/index.php?diff=88497&oldid=88496 5* 03GoodCoderBBoy 5* (+50) 10how do nested loops behave > 1633160964 91083 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=88498&oldid=88497 5* 03GoodCoderBBoy 5* (+15) 10code execution updated > 1633161164 698640 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 10 02https://esolangs.org/w/index.php?diff=88499&oldid=88498 5* 03GoodCoderBBoy 5* (+99) 10implementations section < 1633161928 634439 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1633162128 639456 :hendursaga!~weechat@user/hendursaga QUIT :Ping timeout: 276 seconds < 1633162701 750300 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1633162950 846178 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User > 1633163583 975286 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=88500&oldid=88499 5* 03GoodCoderBBoy 5* (+159) 10Details and corrections > 1633166344 435552 PRIVMSG #esolangs :14[[07AutomataFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=88501&oldid=88500 5* 03GoodCoderBBoy 5* (+1) 10moved categories to the bottom > 1633166624 303195 PRIVMSG #esolangs :14[[07WikiFuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=88502 5* 03GoodCoderBBoy 5* (+1247) 10Page created > 1633166667 490004 PRIVMSG #esolangs :14[[07WikiFuck14]]4 10 02https://esolangs.org/w/index.php?diff=88503&oldid=88502 5* 03GoodCoderBBoy 5* (-14) 10made code inline > 1633166738 260446 PRIVMSG #esolangs :14[[07WikiFuck14]]4 10 02https://esolangs.org/w/index.php?diff=88504&oldid=88503 5* 03GoodCoderBBoy 5* (+14) 10undid last edit > 1633167367 225649 PRIVMSG #esolangs :14[[07Kolmogorov14]]4 M10 02https://esolangs.org/w/index.php?diff=88505&oldid=88363 5* 03Kaveh Yousefi 5* (+178) 10Added a hyperlink to the 99 bottles of beer program to the external sources. < 1633168056 633760 :hendursa1!~weechat@user/hendursaga QUIT :Ping timeout: 276 seconds < 1633168174 633771 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1633168230 503293 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1633168254 737888 PRIVMSG #esolangs :14[[07WikiFuck14]]4 10 02https://esolangs.org/w/index.php?diff=88506&oldid=88504 5* 03GoodCoderBBoy 5* (+1129) 10instruction table > 1633168632 646314 PRIVMSG #esolangs :14[[07WikiFuck14]]4 10 02https://esolangs.org/w/index.php?diff=88507&oldid=88506 5* 03GoodCoderBBoy 5* (+37) 10added credit < 1633168640 292706 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1633168797 189478 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1633169062 304846 :river!~river@tilde.team/user/river QUIT :Quit: Leaving < 1633169081 903057 :river!~river@tilde.team/user/river JOIN #esolangs river :river < 1633170044 928749 :nakilon!~nakilon@user/nakilon PRIVMSG #esolangs :I wish new languages were not just memes around the esolang wiki < 1633173346 759607 :river!~river@tilde.team/user/river QUIT :Quit: Leaving < 1633175004 375858 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1633175766 319321 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1633180206 687112 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Yeah, the whole "what if I made silly syntax!?" urge is boring. At the same time, it's a necessary byproduct of refusing to agree on society's typical limitations for programming languages; we don't require readability. < 1633181997 32806 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`factor 1114111 < 1633181997 985121 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :1114111: 1114111 < 1633182019 616216 :int-e!~noone@int-e.eu PRIVMSG #esolangs :> maxBound :: Char < 1633182021 64660 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs : '\1114111' < 1633182070 553601 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`factor 111412 < 1633182071 419584 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :111412: 2 2 7 23 173 < 1633182180 999212 :int-e!~noone@int-e.eu PRIVMSG #esolangs :At least this one is fleshed out and implemented < 1633183773 51711 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :1114111, is that the Unicode number? Yeah. So recognizable. < 1633183874 57296 :riv!river@tilde.team/user/river PRIVMSG #esolangs :well spotted < 1633183961 684686 :int-e!~noone@int-e.eu PRIVMSG #esolangs :cursed video games controls: qsdz for ←↓→↑ and no option to remap keys < 1633184053 451583 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(https://en.wikipedia.org/wiki/AZERTY is why) < 1633184075 736958 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Oh, I thought it was something designed for someone who's sitting at a 45° angle with respect to the keyboard, and off to the left. < 1633184201 992257 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :We had a school trip to CERN once, all the keyboards there are azerty. I zqs spelling qll zeird qll the time. < 1633186471 51010 :costledger_!~cost@103.134.42.228 JOIN #esolangs * :cost < 1633186577 527746 :costledger_!~cost@103.134.42.228 PART :#esolangs < 1633188636 244795 :Melvar!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de PRIVMSG #esolangs :`factor 1114112 < 1633188637 44738 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :1114112: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 17 < 1633188687 6079 :Melvar!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de PRIVMSG #esolangs :(Seventeen planes of 2¹⁶ codepoints each.) < 1633188766 684688 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oops < 1633188957 383959 :Melvar!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de PRIVMSG #esolangs :Also written as 0x110000. < 1633188980 838322 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-17-76-68-65-112.dsl.bell.ca JOIN #esolangs vyv :vyv verver < 1633189627 944581 :int-e!~noone@int-e.eu PRIVMSG #esolangs :also the limit of what utf-16 can encode < 1633189659 402390 :int-e!~noone@int-e.eu PRIVMSG #esolangs :FWIW, "oops" was less about the typo and more about not immediately realizing that the result I got was nonsense. < 1633189960 440940 :Melvar!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de PRIVMSG #esolangs :I figured as much. The typo happens to anyone. < 1633191057 816661 :Melvar!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de PRIVMSG #esolangs :Is there a stack lang with algebraic data types? < 1633191483 669230 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( STG? ) < 1633191532 604873 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I guess that is a serious answer, really... look at implementations of functional programming languages and you'll find such things. < 1633191708 365601 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Does it have to be a stack language, or just a tacit/concatenative language? < 1633191712 21650 :Melvar!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de PRIVMSG #esolangs :Huh. Didn’t realize that was stack-based? Though now that I think about it … the scraps I’ve heard sort of make that answer make sense. < 1633191926 423694 :Melvar!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de PRIVMSG #esolangs :Hmm, well, I was thinking about a specific way to have construction / deconstruction work that depends on a stack. (cons that packs the tag atop the stack and the field values below it into a single stack element, uncons that reverses this, case/match which branches on a tag). < 1633191959 142445 :Melvar!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de PRIVMSG #esolangs :And was wondering whether this has been done before and what alternatives there are to accomplish the same thing. < 1633191986 258781 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Sure. Have you seen Joy? < 1633191997 739666 :Melvar!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de PRIVMSG #esolangs :Not really? < 1633192029 410570 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Ah. Joy would be a good language to look at, then. http://tunes.org/~iepos/joy.html is a decent introduction which skips a lot of the category theory. < 1633192081 599972 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :The main issue is *custom* data types. Any high-level labeled ADT can be built from basic ingredients: Sums, products, fixpoints. The labeling is the valuable ingredient, as it can be used to enforce well-typedness in certain nice ways. < 1633192209 681027 :Melvar!~melvar@dslb-178-001-195-022.178.001.pools.vodafone-ip.de PRIVMSG #esolangs :Oh, I actually read that concatenative combinators page. < 1633193113 357987 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 252 seconds < 1633193113 431388 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 252 seconds < 1633193163 456653 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-17-76-68-65-112.dsl.bell.ca QUIT :Quit: Konversation terminated! < 1633194562 664224 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1633195667 429683 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1633196106 767719 :imode!~imode@user/imode JOIN #esolangs imode :imode < 1633196951 536291 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1633197260 79355 :hendursa1!~weechat@user/hendursaga QUIT :Quit: hendursa1 < 1633197299 627050 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1633197606 30945 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1633199253 789293 :Manna5!~Quirck@83.29.151.32.ipv4.supernova.orange.pl JOIN #esolangs * :Manna5 < 1633199486 894268 :Manna5!~Quirck@83.29.151.32.ipv4.supernova.orange.pl QUIT :Remote host closed the connection < 1633200412 511243 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1633203507 753619 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1633203597 167661 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User > 1633206298 189940 PRIVMSG #esolangs :14[[07Stardust14]]4 10 02https://esolangs.org/w/index.php?diff=88508&oldid=88440 5* 03PixelatedStarfish 5* (-1815) 10Blanked the page > 1633206321 858148 PRIVMSG #esolangs :14[[07Starstuff14]]4 N10 02https://esolangs.org/w/index.php?oldid=88509 5* 03PixelatedStarfish 5* (+1816) 10Created page with " '''Starstuff''' is a (family of) programming language(s) by [[User:PixelatedStarfish]]. It is designed such that an arbitrary sequence of characters can be interpreted as sou..." > 1633206357 161950 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=88510&oldid=88437 5* 03PixelatedStarfish 5* (+2) 10/* Stardust */ > 1633206421 167202 PRIVMSG #esolangs :14[[07Starstuff14]]4 10 02https://esolangs.org/w/index.php?diff=88511&oldid=88509 5* 03PixelatedStarfish 5* (+4) 10 < 1633208407 881110 :moony!moony@hellomouse/dev/moony QUIT :Quit: leaving < 1633208420 586207 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :Quit: Blame iczero something happened < 1633208420 668761 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit! < 1633208583 397442 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :( < 1633208713 378800 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :probably iovoid? < 1633209412 423384 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds < 1633209441 188949 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1633209472 487481 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit! < 1633209472 487537 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :Quit: Blame iczero something happened < 1633209621 841768 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :( < 1633209676 418376 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :probably iovoid? < 1633210975 649000 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :Quit: Blame iczero something happened < 1633210975 893060 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit! < 1633211228 576107 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :probably iovoid? < 1633211392 252019 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :( < 1633214323 573529 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Windows Update sure can be vague: "We need to do a few more things before you can update. We'll let you know when we're done and what to do next. This window will automatically close in 2 minutes." < 1633214352 829447 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :(Booted it for the first time in a year or so, it's always a huge mess of updates.) < 1633214621 801501 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Those things always happen when I boot to Windows. < 1633214643 870926 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Why is updating such a mess? < 1633214660 669665 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Shouldn't it be possible to do everything in the background unintrusively until the final switch to the new configuration, which should be instant? < 1633214666 789012 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I mean, even in the cases where you need to reboot. < 1633214874 564329 :moony!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her) < 1633214945 716171 :Hooloovoo!~Hooloovoo@hax0rbana.org PRIVMSG #esolangs :... yeah, that's nice, until it eats 100% of your disk access time (at high priority, or something), and actually using the computer for anything is impossible < 1633215876 436052 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__ < 1633217587 283670 :Noisytoot!~noisytoot@sourcehut/user/noisytoot NICK :GPLv3 < 1633217607 555468 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen