< 1750295846 768734 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :what's the name for the operation which converts a value into a type (e.g. in dependently-typed languages)? I'm vaguely remembering "lift" but am not sure that's correct < 1750295908 493437 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement < 1750296221 867707 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I don't know? < 1750296324 51885 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ais523: are you looking for the reify/reflect pair that's illogically named? < 1750296385 141453 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(reify would be the one that creates a type from a value; I find that illogical because the values are supposed to be concrete and the reflections immaterial) < 1750297195 884755 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :int-e: so I'm trying to implement the "scoped generic" thing that b_jonas and I were talking about earlier – what I'm doing is writing a library in which a value that exists at runtime can be used as a generic parameter in the type system, meaning that types parameterised the same way are always referring to the same value < 1750297221 524295 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and the language doesn't have a generic like that, so the library takes a value and creates a type to represent it < 1750297239 44776 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and I was wondering what the standard name for that is (and if it made enough sense to use) < 1750297365 636622 :int-e!~noone@int-e.eu PRIVMSG #esolangs :here's an example use of that terminology: https://hackage.haskell.org/package/reflection-2.1.8/docs/Data-Reflection.html#v:reify (`reflect` has a friendlier type but isn't the operation you want) < 1750297423 851975 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ais523: unless I'm misunderstanding but what you just wrote is still in line with that < 1750297424 126647 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :does "s :: *" mean that s has a simple kind, i.e. is a type? < 1750297443 672617 :int-e!~noone@int-e.eu PRIVMSG #esolangs :yeah < 1750297500 780321 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think that might be the operation I want, but will need to really concentrate to make sure < 1750297754 133471 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :OK, so this is basically the operation I want, although it's implemented slightly differently – in my case values of arbitrary types can be converted to types and the only thing you can do with the resulting types is convert them to values, whereas with Data.Reflection it generates particular types which aren't opaque and you can match on the structure of the type (which means that it only works for certain types of «a») < 1750297771 671948 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and I think that difference might be enough to cause a difference in the naming (in any case, I am not a fan of those names) < 1750297884 560197 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ais523: Nah, the only thing that `reify` allows you to do with `s` is use the `Reifies` class instance, and that only gives you back the value. < 1750297892 937930 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :actually I think my API is more like that of Given than Reifies < 1750297924 172683 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Actually I thought *you* wanted to deconstruct the resulting type, so the `reflection` package would fall short. < 1750297938 259856 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But you only asked for a name and that would still apply. < 1750297943 751819 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :right < 1750297955 543403 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I assumed there was a standard name < 1750297957 443836 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but maybe there isn't < 1750297998 832217 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Maybe these names are only used in the Haskell niche. I wouldn't be terribly surprised. < 1750298068 626534 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :hmm, maybe something like "value_as_type" would be clear to people who aren't used to dependently typed languages < 1750298085 105465 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(it is certainly less ambiguous doing it that way round than an OCaml-ish "type_of_value"!) < 1750298334 292569 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ais523: Oh. Here's the thing about deconstructing that `s` type... *if* that type was actually a standard type like Either (Int, Bool) (Char -> [Bool]) then yes, you'd be able to deconstruct it using type class instances. But conceptually it just makes up an entirely new, anonymous type. < 1750298385 578682 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And *actually* it relies on type erasure and gets away with not creating a type at all, just a class dicitionary for it that encapsulates the given value. `Given` does exactly the same thing but a but more honestly. < 1750298500 746052 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :hmm… the variance seems wrong here < 1750298549 507194 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :ah, no < 1750298569 700666 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think I'm confused about how forall works in Haskell < 1750298598 588953 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :or maybe => < 1750298748 831333 :int-e!~noone@int-e.eu PRIVMSG #esolangs :forall s. a means the caller provides s, and the result type is a. Except Haskell doesn't allow that unless `s` can be determined from the type `a`. So you end up with forall s. Proxy s -> a shenanigans for that. < 1750298762 510003 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I'd expect "give" to take two arguments (via currying): an argument of an arbitrary type a, and a polymorphic function that can take a type parameter of any type with the "Given a" typeclass to produce a result of an arbitrary type r, returning r < 1750298777 447804 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and I think it actually does that and I just misread the syntax < 1750298792 112407 :int-e!~noone@int-e.eu PRIVMSG #esolangs :operationall, Reifies s a => is also a function; the caller provides a class dictionary for the given s and a. < 1750298836 237454 :int-e!~noone@int-e.eu PRIVMSG #esolangs :and you end up with (forall s. r) -> r because there's no type-level `exists`; it has to be encoded like that instead (or tucked away into a GADT I suppose) < 1750298940 571815 :int-e!~noone@int-e.eu PRIVMSG #esolangs :it *is* a horrible looking type < 1750299008 932955 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Especially if you consider the counterpart `reflect :: proxy s -> a` that is largely unencumbered by these restrictions (still "suffers" from having no type applications... well GHC added them but that happened very recently) < 1750299408 45835 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :is it correct to think of => as being like a function arrow for a function that takes a type as argument, just like -> is a function arrow for a function that takes a value as argument? < 1750299733 174496 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Well the thing to the left of => tend to be class dictionaries (more generally constraints), so they aren't types. And the forall s. a syntax doesn't have an arrow at all. < 1750299916 628477 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :right < 1750300017 672763 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I was expecting a type for "give" like «forall a r. a -> (forall s where s :: Given a. r) -> r» but that might not be easily expressible as a Haskell type < 1750300203 331804 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Well, the type of `given` really makes no sense logically. < 1750300327 239811 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Like if you take the usual rules of haskell, you can only ever have one instance of `Given Int`, say, `Given Int where given = 42`. But using `given` you can (and essentially have to) violate this constraint. < 1750300359 412817 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Err, I mean `give` < 1750300388 252582 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I also meant `instance Given Int where given = 42` < 1750300470 854950 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But if you want a logical type, and express it in Haskell, you end up with `reify` or something that closely resembles it, with the model that each time you use it with a new value, you get a different `s`. < 1750300491 297953 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :right < 1750300503 596570 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I guess what i'm trying is indeed more like «reify», then < 1750300558 711469 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :doing this in Rust has one major advantage, which is that Rust already has types that are (e.g.) different each time round a loop < 1750300619 578258 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but unfortunately the types differ only in the lifetimes, which are erased at runtime, so without language changes, you can only implement the equivalent of «reflect» for finitely many types at a time (so it doesn't work in recursive contexts) < 1750301174 753296 :int-e!~noone@int-e.eu PRIVMSG #esolangs :did the context leading up to it involve https://doc.rust-lang.org/stable/std/thread/fn.scope.html ? < 1750301256 692093 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Obviously that doesn't encode values. it's just the one place in Rust that I'm aware of that conjures a lifetime from thin air and (ab)uses it as a tag.) < 1750301397 412649 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Maybe I should try to read context. That definitely won't happen tonight though. < 1750301421 65121 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :int-e: sort of; using lifetimes as tags is a known technique < 1750301458 232237 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :http://ais523.me.uk/blog/scoped-generics.html is a good source for where all this came from, and probably more understandable than the IRC logs (but it's long enough that you won't want to read it tonight) < 1750301466 752136 :int-e!~noone@int-e.eu PRIVMSG #esolangs ::t runST < 1750301467 718644 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :(forall s. ST s a) -> a < 1750301492 720361 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(earliest use of this particular trick in Haskell... well as far as I'm aware) < 1750301516 383037 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there's some discussion of the history of using lifetimes as tags in there (which the Rust community calls "generativity") > 1750301516 720608 PRIVMSG #esolangs :14[[07///14]]4 10 02https://esolangs.org/w/index.php?diff=159964&oldid=147306 5* 03Tanner Swett 5* (+0) 10Update my name < 1750307351 888735 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user > 1750307749 8240 PRIVMSG #esolangs :14[[07Category:Instruction list pointer14]]4 N10 02https://esolangs.org/w/index.php?oldid=159965 5* 03BestCoder 5* (+178) 10Created page with "when an esolang uses a list of instuctions and commands to move a cursor in the list of instructions and run them to artifically decrease "instruction count", example [[Example]]" > 1750307928 22740 PRIVMSG #esolangs :14[[07Example14]]4 N10 02https://esolangs.org/w/index.php?oldid=159966 5* 03BestCoder 5* (+265) 10Created page with "example for a category == commands == a - moves pointer to left d - moves pointer to right s - runs command at pointer == list == list: 1234 1 - prints 1 2 - prints 2 3 - prints 3 4 - prints 4 also pointer wraps around [[Category:Instruction list pointer]]" > 1750308059 463169 PRIVMSG #esolangs :14[[07Category:Instruction list pointer14]]4 10 02https://esolangs.org/w/index.php?diff=159967&oldid=159965 5* 03BestCoder 5* (+41) 10 > 1750308304 29296 PRIVMSG #esolangs :14[[07Template:Stub14]]4 10 02https://esolangs.org/w/index.php?diff=159968&oldid=143707 5* 03BestCoder 5* (+1) 10 > 1750308439 814325 PRIVMSG #esolangs :14[[07Template:Stub14]]4 M10 02https://esolangs.org/w/index.php?diff=159969&oldid=159968 5* 03Corbin 5* (-1) 10Undo revision [[Special:Diff/159968|159968]] by [[Special:Contributions/BestCoder|BestCoder]] ([[User talk:BestCoder|talk]]): No, I thiink iit was fiine before. > 1750308500 382517 PRIVMSG #esolangs :14[[07Template:Stubnoinfo14]]4 10 02https://esolangs.org/w/index.php?diff=159970&oldid=154752 5* 03BestCoder 5* (+3) 10 > 1750308632 374866 PRIVMSG #esolangs :14[[07Template:Deadlink14]]4 10 02https://esolangs.org/w/index.php?diff=159971&oldid=30797 5* 03BestCoder 5* (+20) 10 > 1750308724 41957 PRIVMSG #esolangs :14[[07Template:Stubnoinfo14]]4 10 02https://esolangs.org/w/index.php?diff=159972&oldid=159970 5* 03Corbin 5* (-217) 10Remove several layers of vandalism. > 1750308751 345731 PRIVMSG #esolangs :14[[07Template:Deadlink14]]4 M10 02https://esolangs.org/w/index.php?diff=159973&oldid=159971 5* 03Corbin 5* (-20) 10Undo revision [[Special:Diff/159971|159971]] by [[Special:Contributions/BestCoder|BestCoder]] ([[User talk:BestCoder|talk]]) > 1750308838 170456 PRIVMSG #esolangs :14[[07Category talk:Instruction list pointer14]]4 N10 02https://esolangs.org/w/index.php?oldid=159974 5* 03Corbin 5* (+273) 10Created page with "This category was created without discussion. As such, it might be deleted. Next time, please follow the [[esolang:policy]] and start a discussion on [[esolang talk:categorization]] first. Thanks! ~~~~" > 1750309752 44825 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=159975&oldid=158461 5* 03Xyzzy 5* (+504) 10 > 1750309867 972675 PRIVMSG #esolangs :14[[07User talk:Xyzzy14]]4 10 02https://esolangs.org/w/index.php?diff=159976&oldid=158901 5* 03Xyzzy 5* (+143) 10 > 1750309978 863790 PRIVMSG #esolangs :14[[07User:BestCoder14]]4 10 02https://esolangs.org/w/index.php?diff=159977&oldid=159712 5* 03BestCoder 5* (+41) 10 > 1750310007 331041 PRIVMSG #esolangs :14[[07User:BestCoder14]]4 10 02https://esolangs.org/w/index.php?diff=159978&oldid=159977 5* 03BestCoder 5* (+5) 10 > 1750310026 255316 PRIVMSG #esolangs :14[[07User:BestCoder14]]4 10 02https://esolangs.org/w/index.php?diff=159979&oldid=159978 5* 03BestCoder 5* (-46) 10 < 1750310409 629390 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection < 1750310468 693503 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse > 1750310847 315680 PRIVMSG #esolangs :14[[07Template:Start14]]4 N10 02https://esolangs.org/w/index.php?oldid=159980 5* 03BestCoder 5* (+27) 10Created page with "{{{1}}} is an esolang where" > 1750310882 122934 PRIVMSG #esolangs :14[[07Esolang testing14]]4 10 02https://esolangs.org/w/index.php?diff=159981&oldid=149534 5* 03BestCoder 5* (+10) 10 > 1750310930 742205 PRIVMSG #esolangs :14[[07Esolang testing14]]4 10 02https://esolangs.org/w/index.php?diff=159982&oldid=159981 5* 03BestCoder 5* (+2) 10 > 1750310957 809685 PRIVMSG #esolangs :14[[07Template:Start14]]4 10 02https://esolangs.org/w/index.php?diff=159983&oldid=159980 5* 03BestCoder 5* (+4) 10 > 1750310983 779788 PRIVMSG #esolangs :14[[07Esolang testing14]]4 10 02https://esolangs.org/w/index.php?diff=159984&oldid=159982 5* 03BestCoder 5* (+13) 10 > 1750311697 177574 PRIVMSG #esolangs :14[[07Template:Start14]]4 10 02https://esolangs.org/w/index.php?diff=159985&oldid=159983 5* 03BestCoder 5* (+8) 10 > 1750311712 452336 PRIVMSG #esolangs :14[[07Template:Start14]]4 10 02https://esolangs.org/w/index.php?diff=159986&oldid=159985 5* 03BestCoder 5* (-3) 10 > 1750311735 209048 PRIVMSG #esolangs :14[[07Template:Start14]]4 10 02https://esolangs.org/w/index.php?diff=159987&oldid=159986 5* 03BestCoder 5* (+14) 10 > 1750311756 25786 PRIVMSG #esolangs :14[[07Esolang testing14]]4 10 02https://esolangs.org/w/index.php?diff=159988&oldid=159984 5* 03BestCoder 5* (-15) 10 > 1750312058 79465 PRIVMSG #esolangs :14[[07Two commands14]]4 10 02https://esolangs.org/w/index.php?diff=159989&oldid=128742 5* 03BestCoder 5* (+38) 10 > 1750312101 547119 PRIVMSG #esolangs :14[[07Category:Recursion14]]4 N10 02https://esolangs.org/w/index.php?oldid=159990 5* 03BestCoder 5* (+22) 10Created page with "[[Category:Recursion]]" > 1750312419 164729 PRIVMSG #esolangs :14[[07Example14]]4 10 02https://esolangs.org/w/index.php?diff=159991&oldid=159966 5* 03PkmnQ 5* (+28) 10Turning tarpits seems to be the more common name > 1750312609 594614 PRIVMSG #esolangs :14[[07Template:Notpossible14]]4 N10 02https://esolangs.org/w/index.php?oldid=159992 5* 03BestCoder 5* (+44) 10Created page with ":''This esolang is impossible to implement''" < 1750313775 675524 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Well, I'm going to bed. Somebody else can clean this up. > 1750315549 532540 PRIVMSG #esolangs :14[[07Grass14]]4 10 02https://esolangs.org/w/index.php?diff=159993&oldid=120141 5* 03Tpaefawzen 5* (+13) 10/* External resources */ DEAD LINK < 1750315751 87671 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1750315867 392151 PRIVMSG #esolangs :14[[07Grass14]]4 10 02https://esolangs.org/w/index.php?diff=159994&oldid=159993 5* 03Tpaefawzen 5* (+72) 10/* External resources */ implementation < 1750316785 923013 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca QUIT :Ping timeout: 248 seconds > 1750318862 256453 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Category:Instruction list pointer10]]": undiscussed category > 1750318929 225257 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Esolang testing10]]": offtopic (not an esolang) > 1750318929 245657 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Talk:Esolang testing10]]": Deleted together with the associated page with reason: offtopic (not an esolang) > 1750318948 270288 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Category:Recursion10]]": undiscussed category > 1750319071 513718 PRIVMSG #esolangs :14[[07User talk:BestCoder14]]4 10 02https://esolangs.org/w/index.php?diff=159995&oldid=131302 5* 03Ais523 5* (+455) 10please stop creating categories without approval > 1750319132 697791 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Template:Notpossible10]]": this probably shouldn't be a hatnote; rather, the reasons should be discussed in the computational class section if they're interesting/nonobvious (see also [[Category:Uncomputable]]) > 1750319199 726770 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Template:Start10]]": not useful as a template; the page source would be more readable if you wrote that out manually, and most esolang pages won't want to start like that < 1750320124 289171 :b_jonas!~x@88.87.242.184 QUIT :Quit: leaving < 1750326864 866764 :ais523!~ais523@user/ais523 QUIT :Quit: quit > 1750328087 972830 PRIVMSG #esolangs :14[[07Record14]]4 10 02https://esolangs.org/w/index.php?diff=159996&oldid=158866 5* 03None1 5* (+70) 10/* Commands */ > 1750330010 518261 PRIVMSG #esolangs :14[[07Record14]]4 10 02https://esolangs.org/w/index.php?diff=159997&oldid=159996 5* 03None1 5* (+1541) 10Add Python interpreter, implemented and TC proof > 1750330241 551651 PRIVMSG #esolangs :14[[07Record14]]4 10 02https://esolangs.org/w/index.php?diff=159998&oldid=159997 5* 03None1 5* (+112) 10/* Interpreter */ > 1750330295 511767 PRIVMSG #esolangs :14[[07Record14]]4 10 02https://esolangs.org/w/index.php?diff=159999&oldid=159998 5* 03None1 5* (+98) 10 > 1750330420 461311 PRIVMSG #esolangs :14[[07Record14]]4 10 02https://esolangs.org/w/index.php?diff=160000&oldid=159999 5* 03None1 5* (+130) 10 > 1750330534 814622 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=160001&oldid=159881 5* 03None1 5* (+50) 10/* Realm */ > 1750330568 928569 PRIVMSG #esolangs :14[[07Record14]]4 10 02https://esolangs.org/w/index.php?diff=160002&oldid=160000 5* 03None1 5* (+0) 10/* Computational class */ Unary usually uses 0's rather than a's. < 1750331531 914315 :APic!apic@apic.name PRIVMSG #esolangs :Hi < 1750332007 97458 :V!~v@ircpuzzles/2022/april/winner/V QUIT :Ping timeout: 265 seconds > 1750333217 281682 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=160003&oldid=159975 5* 03PrySigneToFry 5* (+416) 10 > 1750336423 474693 PRIVMSG #esolangs :14[[07Grass14]]4 10 02https://esolangs.org/w/index.php?diff=160004&oldid=159994 5* 03Tpaefawzen 5* (+3314) 10/* Examples */ > 1750340927 232369 PRIVMSG #esolangs :14[[07Untitled-Null14]]4 10 02https://esolangs.org/w/index.php?diff=160005&oldid=159917 5* 03Hajunsheng 5* (+104) 10 > 1750341588 882840 PRIVMSG #esolangs :14[[07Planes14]]4 M10 02https://esolangs.org/w/index.php?diff=160006&oldid=159963 5* 03WhirlELW 5* (+366) 10added bold > 1750341663 440993 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03GreenThePear 5* 10uploaded "[[02File:Rgbl hello world.png10]]": Hello world program in rgbl < 1750341675 654796 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas > 1750341729 629931 PRIVMSG #esolangs :14[[07Planes14]]4 M10 02https://esolangs.org/w/index.php?diff=160008&oldid=160006 5* 03WhirlELW 5* (+16) 10minor adjustment in behavior > 1750341943 895158 PRIVMSG #esolangs :14[[07Rgbl14]]4 N10 02https://esolangs.org/w/index.php?oldid=160009 5* 03GreenThePear 5* (+6964) 10Page created < 1750341947 398458 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :ais523: "the library takes a value and creates a type to represent it" => I don't understand how that would ever work in rust. I think I can believe you can do something like that in Haskell. Or you could do it in Rust but only to experiment with const generic parameters that aren't scoped, still have a compile time known value, but you want to do < 1750341947 899165 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :something with them that rust's built-in const generic parameters don't yet support, eg. parameters of a user-defined aggregate type. < 1750341956 984388 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I also don't know what this should be called. < 1750342051 912509 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1750342297 475451 :myname!~myname@152.53.22.209 PRIVMSG #esolangs :https://www.youtube.com/watch?v=8taEllwQ2iE this might qualify for this channel > 1750343091 853818 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=160010&oldid=159953 5* 03GreenThePear 5* (+11) 10Add rgbl < 1750343294 888550 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed > 1750343438 441714 PRIVMSG #esolangs :14[[07User:GreenThePear14]]4 10 02https://esolangs.org/w/index.php?diff=160011&oldid=84452 5* 03GreenThePear 5* (-460) 10Update for rgbl < 1750350833 997462 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection < 1750350859 393578 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse > 1750353407 68983 PRIVMSG #esolangs :14[[07Planes14]]4 M10 02https://esolangs.org/w/index.php?diff=160012&oldid=160008 5* 03WhirlELW 5* (-3) 10 < 1750353722 638734 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname > 1750355446 588256 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=160013&oldid=158849 5* 03Aadenboy 5* (+348) 10/* scrapped template */ new section > 1750355511 550885 PRIVMSG #esolangs :14[[07User:Aadenboy/wikipiss14]]4 10 02https://esolangs.org/w/index.php?diff=160014&oldid=159555 5* 03Aadenboy 5* (+383) 10 < 1750355798 615389 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca JOIN #esolangs zzo38 :zzo38 > 1750357466 859 PRIVMSG #esolangs :14[[07Triolang14]]4 10 02https://esolangs.org/w/index.php?diff=160015&oldid=159711 5* 03BestCoder 5* (+28) 10 > 1750358176 617339 PRIVMSG #esolangs :14[[07Nested one input functions14]]4 10 02https://esolangs.org/w/index.php?diff=160016&oldid=135898 5* 03BestCoder 5* (+51) 10 > 1750358614 600252 PRIVMSG #esolangs :14[[07Infinid14]]4 N10 02https://esolangs.org/w/index.php?oldid=160017 5* 03BestCoder 5* (+18) 10Redirected page to [[D]] < 1750360143 314198 :b_jonas!~x@88.87.242.184 JOIN #esolangs b_jonas :b_jonas > 1750362656 118650 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Template:Minpre10]]": unused template, author requested deletion > 1750364572 884397 PRIVMSG #esolangs :14[[07Planes14]]4 M10 02https://esolangs.org/w/index.php?diff=160018&oldid=160012 5* 03WhirlELW 5* (+24) 10edited $, removed ! and added = > 1750364784 131768 PRIVMSG #esolangs :14[[07Planes14]]4 M10 02https://esolangs.org/w/index.php?diff=160019&oldid=160018 5* 03WhirlELW 5* (+77) 10 > 1750365130 786759 PRIVMSG #esolangs :14[[07Planes14]]4 M10 02https://esolangs.org/w/index.php?diff=160020&oldid=160019 5* 03WhirlELW 5* (+66) 10added WIP message > 1750365154 945239 PRIVMSG #esolangs :14[[07Planes14]]4 M10 02https://esolangs.org/w/index.php?diff=160021&oldid=160020 5* 03WhirlELW 5* (+0) 10moved wip message up > 1750365190 104563 PRIVMSG #esolangs :14[[07Planes14]]4 10 02https://esolangs.org/w/index.php?diff=160022&oldid=160021 5* 03WhirlELW 5* (+0) 10moved wip message to the instruction set section > 1750365381 703900 PRIVMSG #esolangs :14[[07Planes14]]4 M10 02https://esolangs.org/w/index.php?diff=160023&oldid=160022 5* 03WhirlELW 5* (-41) 10fixed inaccuracy in behavior section > 1750367539 926582 PRIVMSG #esolangs :14[[07Works in progress14]]4 M10 02https://esolangs.org/w/index.php?diff=160024&oldid=156082 5* 03WhirlELW 5* (+13) 10added planes > 1750368244 75712 PRIVMSG #esolangs :14[[07Planes14]]4 10 02https://esolangs.org/w/index.php?diff=160025&oldid=160023 5* 03WhirlELW 5* (+145) 10edited instruction set > 1750368982 714665 PRIVMSG #esolangs :14[[07Planes14]]4 10 02https://esolangs.org/w/index.php?diff=160026&oldid=160025 5* 03WhirlELW 5* (+637) 10added 99 bottles of beer program > 1750370627 200150 PRIVMSG #esolangs :14[[07Planes14]]4 M10 02https://esolangs.org/w/index.php?diff=160027&oldid=160026 5* 03WhirlELW 5* (-66) 10removed wip message as the instruction set wont change anymore > 1750372320 402460 PRIVMSG #esolangs :14[[07User:Shazun bhasfu14]]4 N10 02https://esolangs.org/w/index.php?oldid=160028 5* 03Shazun bhasfu 5* (+137) 10userpage? > 1750373409 3791 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=160029&oldid=159853 5* 03Hotcrystal0 5* (+498) 10/* New esolang idea */ new section < 1750373749 840363 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1750373843 451088 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :"the library takes a value and creates a type to represent it" => I don't understand how that would ever work in rust ← create a global variable, store the value in the global variable, create a type (it doesn't matter what the type actually stores so you can use a ZST), have the deref implementation on the type read from the global variable, use lifetime trickery + runtime checks to ensure that the variable is always initialised when you try to use it and < 1750373844 868294 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :never tries to store two values at once < 1750373855 501870 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(the last requirement means that this doesn't work properly in recursive code, but I can live with that) < 1750373876 999178 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and by "doesn't work properly" I mean a deterministic panic, not UB > 1750374911 451672 PRIVMSG #esolangs :14[[07DisFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=160030&oldid=159430 5* 03Tpaefawzen 5* (+5) 10/* Overview */ note of braces resolving < 1750376458 87087 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1750376513 949727 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 268 seconds < 1750376540 963282 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1750376762 565219 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Excess Flood < 1750376925 22376 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron (they/them)