The Nineteenth Byte

emanresu A

00:02

I would let y'all into my maths class zoom but they actually check :/

lyxal

Well lucky for you and everyone else, lyxtures resume next week

Unrelated String

pog

lyxal

This semester we have a fine selection of courses that hopefully have zoomies: database and information management, algorithms, and discrete mathematics

Zion mycelia adamancy

What kind of discrete mathematics?

lyxal

There's more than one kind?

Also, it's an introduction to discrete mathematics

Zion mycelia adamancy

00:10

Ok, what are they covering? :P

lyxal

One second let me check the course outline :p

Zion mycelia adamancy

@lyxal There's the nice kind, the less nice kind and the "we don''t talk about this" kind :P

4

thejonymyster

ninjad

lyxal

Elementary set theory
Relations and functions
Graph theory
Modular arithmetic
Logic and proofs
Enumeration techniques
Elementary probability theory
Recurrence relations

emanresu A

I have a competitive maths thing

Zion mycelia adamancy

00:13

@lyxal This is second year stuff?

lyxal

First

I just didn't last year

Zion mycelia adamancy

Ah right, I was thinking, this is stuff we did in my first semester

@lyxal Are you sure you'll be able to handle "modular arithmetic"? Sounds super complicated, and not at all like a basic mathematical operation included in most programming languages

emanresu A

caird %= lyxal

Zion mycelia adamancy

May 11, 2021 at 1:23, by caird coinheringaahing

@lyxal frick, only 10/10 not 69/420? I failed as a crewmate, hella sus. Let me just go commit frick and die

lyxal

@Zionmyceliaadamancy well gee now that you mention it like that, I don't know now :p

Steffan

00:23

@NoHaxJustRadvylf Except that my implementation is way shorter without even attempting to golf :P

Neil

@NoHaxJustRadvylf ES10 has .at(-1) for that

thejonymyster

@NoHaxJustRadvylf the ability to grab the "last" element of an array is so convenient to me that (in non golf contexts) ive been using shift and unshift instead of pop and push since that puts it at 0 lol

Zion mycelia adamancy

@hyper-neutrino It's been over a year, read these words again:

May 11, 2021 at 1:23, by caird coinheringaahing

@lyxal frick, only 10/10 not 69/420? I failed as a crewmate, hella sus. Let me just go commit frick and die

emanresu A

And we put it in the lyxtures

And Daniel read it out

Zion mycelia adamancy

Wait, really?

Between sleep deprivation and being drunk, I basically can't remember anything from those lectures

emanresu A

00:31

I'm pretty sure Jo King sent it :P

Zion mycelia adamancy

Ngl, rereading the transcript, I love seeing the moment when lyxal actually posted the link, and everyone's sheer disbelief :P

Unrelated String

lmao

Zion mycelia adamancy

in We love us some Daniel, May 10 at 6:50, by lyxal

glhf

lyxal

in We love us some Daniel, May 10 at 6:52, by caird coinheringaahing

Dude, I was gonna suggest you send me a link privately, god damn man

Zion mycelia adamancy

in We love us some Daniel, May 10 at 7:01, by lyxal

@Zionmyceliaadamancy Also, I kept offering to bribe people to do stuff, man I am not financially safe when drunk :P

Unrelated String

00:38

in We love us some Daniel, May 10 at 7:37, by Unrelated String

if you saw my name and thought it sounds made up i don't blame you

Zion mycelia adamancy

in We love us some Daniel, May 10 at 7:09, by caird coinheringaahing

Doesn't care who he teaches, fucking based right there

NoHaxJustRadvylf

@Neil Yeah, but I'm super not a fan of things like .at, .set, .get, etc. Way too ugly and verbose.

@Steffan 1. That doesn't work properly with .map and stuff, since the .constructor is wrong

2. That doesn't handle indices the same way a normal array does. array[0] != array["00"] != array["0.0"]

emanresu A

@NoHaxJustRadvylf Next challenge: Make a mutable string

NoHaxJustRadvylf

3. That actually doesn't let you access any of the array's properties or methods

Steffan

wellt hen set the constructor

oh i guess that doesn't fix it

Zion mycelia adamancy

00:47

@emanresuA String = list of characters, ez

Steffan

i forgot that using map and stuff would still trigger get

NoHaxJustRadvylf

Every single modification between mine and yours is necessary in order to make it work properly

(Although I guess "properly" depends on what you need it to do)

@emanresuA Ooh this is a fun one

Jo King

@emanresuA incorrect

emanresu A

Do you remember who it was?

Jo King

it was george rhodes i believe

OldSandboxPosts

01:00

Sandbox posts last active a week ago: Nest some addition, differently

Zion mycelia adamancy

@JoKing The question still remains: who is George Rhodes? :P

Jo King

Phil Fillips

NoHaxJustRadvylf

@emanresuA Done

gist.github.com/Radvylf/091176d9d0de858bc2c48d4dbd6f0046

var ps = "xyz"._;
ps[1] = "Y";
ps.concat(" abc");
console.log(ps + ""); // "xYz abc"

NoHaxJustRadvylf

01:33

CMQ: Is symbolic math worth it for a golfing language? Or can I get away with floats?

I want to have complex numbers, so maybe a pair of floats would be sufficient?

@NoHaxJustRadvylf ("symbolic math" as in being able to represent things like the square root of two, pi, rationals, etc. to arbitrary precision, no manipulation of actual non-number symbols would be needed of course)

Steffan

I don't think it would be needed

lyxal

02:19

@NoHaxJustRadvylf well it depends really

It kinda helps for challenges where you'd otherwise be screwed by floating point stuff

Just make sure the library you use to implement symbolic math doesn't lead to security vulnerabilities in your golfing language :p

NoHaxJustRadvylf

No worries, I'd be implementing it myself

(Which on the other hand is a perfectly good reason to worry)

emanresu A

Lol

lyxal

02:32

@NoHaxJustRadvylf in conclusion, I'd say yes. Iirc there's been a few instances where it's been useful in beating other languages

New Posts

04:13

0

Q: Minecraft Commands I/O Methods

What I/O should be allowed for Minecraft commands answers? There is already this post, but it is mainly focused on redstone creations, and is quite outdated. Here are some specific points, however, a general rule would be preferable: Is it allowed to receive numerical input in a scoreboard you c...

Ginger

06:05

Hi is it time to LYAL/LDW yet?

New Posts

06:40

0

Q: Extract Strings from Text

In some languages, strings are started and ended with a quote mark ('). And quote itself is escaped by writing it twice sequentially. For example, empty string is written as '', and I'm is written as 'I''m'. This question is about find out all non-overlapping strings from left to right in such fo...

code-golf string

lyxal

@Ginger not yet

But soon

hyper-neutrino

07:42

@Zionmyceliaadamancy >_>

emanresu A

07:58

Vote plz

pxeger

It would be nice to have some way of being notified of new tag synonyms

emanresu A

That page is very well hidden

pxeger

Jun 30 at 15:29, by pxeger

CMC: create the best avatars for the LotM and LYaL feeds

Anyone working on this?^

or should I just unpin it

emanresu A

08:52

Wow this is clever

pxeger

What does the ~ mean?

oh it means "follows the distribution"?

Desmos has such an immense feature set for a calculator. How do they make money?

emanresu A

It's a regression thing

@pxeger Selling it to teachers

pxeger

09:11

stackoverflow.blog/2022/07/11/…

emanresu A

We don't get one :(

Wait nvm these are (just-out-of) beta sites

Still sad that we don't get a custom 404.

pxeger

@emanresuA We've already got one lol

mousetail

No dark theme though

pxeger

it seems like SE doesn't care that much about dark mode

mousetail

I need a theme that looks identical to SO so my coworkers can't see that I'm golfing

emanresu A

09:17

@mousetail That shouldn't be that hard to do

A userstyle with a bunch of !importants should wokr

Newly Featured Posts

11:03

84

Q: Count of "a"s and "b"s must be equal. Did you get it computer?

In the popular (and essential) computer science book, An Introduction to Formal Languages and Automata by Peter Linz, the following formal language is frequently stated: $$\large{L=\{a^n b^n:n\in\mathbb{Z}^+\}}$$ mainly because this language can not be processed with finite-state automata. This e...

code-golf string decision-problem parsing balanced-string

pxeger

12:00

Welcome to the third Language Design Workshop! The general premise is that you can post work you've done or are doing on esolangs and people will give feedback. In short, you'll get to show off our languages and their features, chat about them, get feedback, try out WIP languages, and, hopefully get ideas over the next 24 hours.

4

mathcat

lol

lyxal

ninja'd

mathcat

gud

pxeger

mine's better because it doesn't use the made up word "y'all"

lyxal

nevermind the fact y'all'll is in the first two announcements :p

Nobody Needs Names

12:01

What about y’all’ll’ll’ll’ll…

pxeger

also SE chat thinks you posted yours at 23:59, and mine was at 0:00

Nobody Needs Names

@mousetail good point

@pxeger lol

pxeger

not that the difference can be significated anyway

mathcat

should I rename Curo to Quro?

imo looks more unique

lyxal

sure

sounds good to me

mousetail

12:03

Quro sounds cooler for sure

mathcat

nice

Nobody Needs Names

@pxeger lol

emanresu A

^^^

I have a WIP language that's inherently stackbased but externally looks more tacit

Nobody Needs Names

Ooh

@emanresuA can I see that

↗️🔂🔂🔀🔄↗️↩️⬇️↙️🔼↕️↔️🔄🔀⏬⬆️🔼⬆️🔼↖️↗️⤴️⬇️⬆️🔼⏭⏯⏯⏬⏩⬆️🔽⬆️↗️⬆️1️⃣🆒1️⃣▶️7️⃣⏸*️⃣⏸*️⃣⏸0️⃣🆒5️⃣3️⃣⏸*️⃣▶️ Which means I am on a mobile phone

currently in pizza hat

(idk why it’s not called hat, implied by logo

thejonymyster

12:27

no its a hut, the logo is a roof

@emanresuA i love lang that is one thing but is pretending to be another thing

i was recently trying to implement bf as if it were a functional language :P

mainly as a joke but it was interesting to learn more abt implementing functional composition

Nobody Needs Names

@thejonymyster looks like a hat to me…

thejonymyster

some things look like more than one thing

and anyway what is a roof but a hat for a house :P

Nobody Needs Names

Dhjdbsbhsjjgbdbd hahahhahahahhah

ldw seems deadish

lets make a Pizza Hut workshop instead lol

I decided to go to Magnus trajner

bye

for now

Raja’s riddles are SSS so sSsSsOooOooOoo hard

pxeger

13:01

>:[

mousetail

You put a lot of effort into censoring that

pxeger

there aren't enough questions!!

mousetail

Sad

It's hard to write good questions though

thejonymyster

13:15

LDQ: Does the specific order of commands in a lang matter?

like, not order of operations

but like, in the encoding

i feel like if youre working with a SCBS it mostly doesnt, other than having things be neat and orderly

but im working with stuff smaller than a byte, so i feel like its important that theres some symmetry at the bit level

pxeger

You may want to consider restricted-source

thejonymyster

e.g. having 1000 and 1001 be a symmetric pair of commands with eachother makes more sense than having 1000 and 1101 be a symmetric pair of commands

ooh good point

pxeger

try to spread out similar commands to provide redundancy if certain subsets of bytes are disallowed?

thejonymyster

good thinking

might not work for what im doing right now since its a tarpit and ideally there is no redundancy :P but in general i like the thinking behind that

mousetail

Are you planning to to use huffman coding?

Fatalize

13:23

@thejonymyster In general, I would say trying to match ASCII for the characters shared with your code page is desirable, if only for elegancy

thejonymyster

@mousetail while i do enjoy huffman coding im doing something a bit sillier

mousetail

I'm intrigued

thejonymyster

im having trouble phrasing it, its not super complicated im just bad

the amount of bits the IP reads per command is a thing you can modify

but the commands stay the same

mousetail

Ok cool, so if you use only basic commands you can reduce the number of bits per command?

thejonymyster

yeah

unfortunately its also a tarpit so its not super golfy about that

mousetail

13:26

Tarpits are fun

thejonymyster

but im not like copyrighting it or anything so if anyones a genius feel free to play around with that idea

also yes :)

this one is sort of inspired by like, if youve ever seen TASes where they make the console read code from like controller input or other data

i mean i guess what im about to describe is "what if a program was also where all the data was stored" which like yeah we all know what a self modifying lang is

but the idea is you just define a bunch of pointers and move them to other pointers

the location of a pointer is stored in the data as well

there isnt even a flip bit builtin, you just increment a pointer who's location is stored at the bit you want to flip

PyGamer0

how is this updated codepage?

(cc @NoHaxJustRadvylf)

NoHaxJustRadvylf

@thejonymyster Not really, unless they're mapped to specific characters, or positions in a grid (like the 16×16 one for SBCSs)

Also, morning!

thejonymyster

@PyGamer0 can you send a monospace screenshot?

PyGamer0

ok

lyxal

13:39

@NoHaxJustRadvylf looks at clock you're 21 minutes too early :p

early to be calling it morning that is

PyGamer0

thejonymyster

idea for a project for a bunch of dedicated ppl to undertake: monospace-all-unicode

NoHaxJustRadvylf

DVSM is pretty close, right?

Adám

Missing most characters.

NoHaxJustRadvylf

@lyxal Late night!

Doesn't have the same ring to it :p

Morning! and Afternoon! and Evening! all work though, weirdly

PyGamer0

13:41

codepage

lyxal

@NoHaxJustRadvylf well it'll be morning in 19 minutes, so leave your morning till then :p

Fatalize

@PyGamer0 Not a fan of the currency symbols, what kind of operation will you give them?

PyGamer0

group n links as n/m/d

Fatalize

and also the 3-4 cyrillic characters

NoHaxJustRadvylf

That н could be confused with H

Adám

13:42

@PyGamer0 What font is that? A custom Iosevka?

lyxal

лнпя don't really feel chain seperatory. I know I touched on this last time, but something about them doesn't yell "hey, I'm starting a new chain lmao"

PyGamer0

@Adám yep

@lyxal hmm.... suggestions?

mousetail

Why is the rupee seperate from the other currency symbols?

NoHaxJustRadvylf

This is just my (probably unpopular) opinion, but I'm not a huge fan of √ΣΠ

lyxal

@PyGamer0 øµðɓ are a good start

obviously not those because Jelly, but something like them

PyGamer0

13:43

@mousetail .... i think i can group them together

NoHaxJustRadvylf

√ always looks kind of weird, Σ feels too different from the rest for a common operation like sum, and Π looks too much like other stuff (especially your nearly identical п) and has the same problem as Σ

Fatalize

also you have greek π and cyrillic п

which in most fonts will look the same I assume

PyGamer0

@Fatalize didnt notic that

lyxal

can confirm

mousetail

I know very little about code pages so I'm judging purely on estetics, but the letters with the dots above them look maybe too similar to the normal letters

PyGamer0

13:45

o_o

alright removing cryllic

mousetail

lower case letters are ok but for the upper case letters the dot really blends in

NoHaxJustRadvylf

@mousetail Those are a pretty standard part of most code pages

lyxal

@mousetail really? I think they work fine

NoHaxJustRadvylf

So we're all used to differentiating them already :p

mousetail

Again I know nothing about code pages

Fatalize

13:45

Or use very distinct cyrillic letters, like Ж or Ю or Ч

NoHaxJustRadvylf

Plus, since there's underdot ones too, they're positively awesome for filling in big gaps in code pages

lyxal

@Fatalize ooh those are good

@PyGamer0 ЖЮЧ and something else for chain seps

NoHaxJustRadvylf

@mousetail Opinions of non-code-page-designers are just as important, since that's the group of main people using it

Fatalize

@mousetail I don’t necessarily agree, but also it’s because letters with dot above/below are very useful for unified mnemonics

PyGamer0

@lyxal let me just stick with jelly

@NoHaxJustRadvylf sooo any suggestions?

Fatalize

13:47

@lyxal Ж in particular because it’s symmetric

mousetail

There are the curly mathematical versions of letters in unicode, don't remember what they are called but they look more distinct

Fatalize

Ш and Э are also cool possibilities I guess

NoHaxJustRadvylf

@PyGamer0 I'd just use letters/whatever else your normal monads are for those, presuming they're sqrt/sum/prod.

mousetail

The caligraphic letters

lyxal

TIL there's a single character for ǳ

PyGamer0

13:48

@NoHaxJustRadvylf ok so what do i replace those slots with?

NoHaxJustRadvylf

As for filling in the space, maybe ©®¡ or something

mousetail

And frankfurtur letters too

NoHaxJustRadvylf

IMO you should have as many characters as possible type-able with common keyboard layouts

@lyxal ǳ nuts

lyxal

@NoHaxJustRadvylf now see I'mma pull a radvylf on you here and say that I'm not a huge fan of ©®

pxeger

@mousetail do you mean fraktur?

mousetail

13:49

Yes

PyGamer0

whoa iosevka is broken or something

NoHaxJustRadvylf

@lyxal I could see that. Why?

lyxal

©® display weirdly - sometimes the ® is the same size as the ©, other times it really isn't

mousetail

I'm dyslexic on prime wendsdays

NoHaxJustRadvylf

@lyxal Yeah, that's true. I noticed consolata does that.

lyxal

13:50

also, apart from register usage, they don't really have much mnemonic usage

Fatalize

@lyxal ® looks very small in chat for me

but not when I c/c it…?

lyxal

similar to the above image?

©®

Fatalize

even smaller

NoHaxJustRadvylf

They're easily accessible on the US-INTL keyboard layout though, the same one Jelly uses

(Depends a lot on your priorities though, if it's a transpiled or copy-paste-oriented language then that doesn't really matter)

lyxal

it also doesn't matter if your online interpreter has tab auto-completion built-in :p

pxeger

13:52

I like ¤ if you're looking for another symbol

Fatalize

Trying all the combinations on my keyboard layout

Just found out I can type ☮ with alt gr + j

lyxal

¤ is a good one

PyGamer0

why does iosevka swap locations for the phi characters

lyxal

sounds like an iosevka problem

Adám

Yeah, I noticed that too. Apparently which glyph goes where isn't a settled thing.

pxeger

13:53

why are there two phis?

one uppercase one lowercase?

Fatalize

phi and varphi I guess

(in LaTeX at least)

Adám

φ and ϕ (code: φ or ϕ)

pxeger

or is it a LaTeX \varphi kinda deal

Adám

By me, the two render swapped in text vs code.

lyxal

@Adám oh wow I see what you mean

Fatalize

13:55

The closed circle is for the capital, and open for lowercase

pxeger

φ is "greek small letter phi", and ϕ is "greek phi symbol"

Fatalize

if you disagree you are wrong

Adám

Nope. Captial is Φ

Fatalize

@Adám I’m talking about writing it, not the actual codes

Adám

@pxeger Yes, everyone agrees on that, but how should they look?

pxeger

13:56

different?

mischievous_face

lyxal

no. they should look the exact same

Fatalize

Greeks should just use the latin alphabet, that would be simpler

lyxal

completely indistinguishable except for a single pixel

pxeger

@Fatalize well then do I have the code golf challenge for you

lyxal

that's how they should look

Adám

13:57

@Fatalize Capital stands on the line like I. Lowercase descends below, like p

NoHaxJustRadvylf

We should all standardize on a single written alphabet. Latin is too eurocentric, and the rest are too domain specific, so we'll have to invent something new. Since we're doing that, we can go ahead and add support for built-in error correction and compression algorithms. We can abolish all of Unicode and use a single SBCS for everything.

pxeger

Braille?

Fatalize

Good luck finding a middle ground between chinese and latin

Adám

IPA?

NoHaxJustRadvylf

@pxeger What if we invent new syllables?

pxeger

14:00

can we invent a new class of phoneme which is neither consonant nor vowel?

NoHaxJustRadvylf

@Adám Still eurocentric but also unreadable and mixing pronunciation with spelling in a way that wouldn't work for a lot of languages

Adám

Wait, wait, I have it. Let's create a mapping for each of our existing letters to a pattern of 32 bits.

NoHaxJustRadvylf

@lyxal Good morning!

pxeger

@Adám great idea!

lyxal

@NoHaxJustRadvylf thank you

pxeger

14:01

and then we could compress them into one or two bytes for the most common letters!

lyxal

@NoHaxJustRadvylf I was really hoping you'd remember that

pxeger

I wonder what we should name this new universal code...

maybe "codeuni"?

Adám

@pxeger Nah, to conserve space by skipping lots of all-0 bytes, let's devise a scheme where initial bits determines if subsequent bytes are included in the current character.

Seggan

@NoHaxJustRadvylf cyrillic with W would fit the bill, I think

lyxal

@pxeger nah nah WTF-32 is a much better name

Adám

14:03

@pxeger JUC: Joint Universal Code

NoHaxJustRadvylf

@Seggan Fitting in tonality would be a lot of work

lyxal

@pxeger WTF-8 if using Adám's idea

Seggan

@NoHaxJustRadvylf tonality as in...

pxeger

no, we should call it "the 8th Codeuni Format of Transformation". "8-CFT"

NoHaxJustRadvylf

Tone (linguistics)

Tone is the use of pitch in language to distinguish lexical or grammatical meaning – that is, to distinguish or to inflect words. All verbal languages use pitch to express emotional and other paralinguistic information and to convey emphasis, contrast and other such features in what is called intonation, but not all languages use tones to distinguish words or their inflections, analogously to consonants and vowels. Languages that have this feature are called tonal languages; the distinctive tone patterns of such a language are sometimes called tonemes, by analogy with phoneme. Tonal languages are...

E.g., Mandarin

á != à != ā != ǎ

(Not sure those are the right diacritics but w/e)

lyxal

14:05

I will never get ǎ

Sometimes it renders correctly

othertimes it just doesn't

NoHaxJustRadvylf

Ah, normalization issue.

Your font doesn't handle that combining diacritic right

But the precombined character works

Seggan

@NoHaxJustRadvylf ah, we use those sometimes in russian

lyxal

@NoHaxJustRadvylf gotta love SE

pxeger

why does my keyboard layout give me "â" ("a with circumflex") instead of "ǎ" ("a with caron") when I type "dead caron" + "a"?

mousetail

Someone should make a language where the data is encoded by the way each diacritic is normalized. C = 00 D=01 KC=10 KD=11

pxeger

14:08

is there a language which has an all-diacritics codepage yet?

mousetail

Even copy pasting would most likely destroy the data

Adám

@pxeger Ah, so every piece of code would be a single character?

lyxal

@pxeger maybe, let me check

pxeger

a single grapheme

lyxal

I know there's one with zalgo-like stuff

codegolf.stackexchange.com/a/233830/78850 kinda comes close

it had zalgo text as a SBCS, but still had ascii in it

I say had, because the repo source is deleted now

Adám

14:13

> ◌͐
< ◌͑
+ ◌̂
- ◌̌
. ◌̇
, ◌̉
[ ◌̀
] ◌́

Fatalize

@pxeger It’s called Vietnamese

lyxal

@Adám diacritif*ck

Adám

With appropriate mapping, Vietnamese should be executable as BF.

mousetail

@Adám Maybe some langauge is executable without special mapping. The original BF compiler had only ASCII support so it's likely some other symbols would also collide for byte values, thus be executable brainfuck

pxeger

not in UTF-8

mousetail

14:19

Use UTF-32

UTF-8 trying to be backwards comaptible ruining our plans

thejonymyster

14:33

@mousetail just remembered; i also did this because its an easy way to allow arbitrarily many pointers to exist :P

Seggan

14:48

ooh youve got a memory unsafe golflang?

NoHaxJustRadvylf

LDQ: Useful infinite list operators?

pxeger

All list operators should work on infinite lists

Seggan

as in...

NoHaxJustRadvylf

@pxeger Well sure, but the reverse is not true

Seggan

generating infinite lists or what pxeger said?

NoHaxJustRadvylf

14:50

And since I'm used to regular old finite lists, I might miss important or useful infinite list operations

@Seggan Anything involving infinite lists

pxeger

I can't think of any operations that work on infinite lists but don't work on finite lists

Seggan

generate from function, cycle

pxeger

other than things that only output infinite lists, like "repeat" or "give me every positive integer"

thejonymyster

@pxeger "get last item"? :P

pxeger

that's the opposite

Seggan

14:52

hmm cant really think of many

NoHaxJustRadvylf

@pxeger There's also operators that work on finite lists, but aren't really necessary, but are much more important with infinite ones. Like seeing if an item is in a monotonic list.

thejonymyster

@pxeger i beg to differ, i think you said it backwards

pxeger

"get last item" works on finite lists, but doesn't work on infinite lists

NoHaxJustRadvylf

Yeah, and you said finite list operators should work on infinite lists, and that doesn't

It was a counterexample

pxeger

oh to chat.stackexchange.com/transcript/message/61573259#61573259 not to chat.stackexchange.com/transcript/message/61573271#61573271

I didn't look at which message it was in reply to lol

NoHaxJustRadvylf

14:55

lol

pxeger

yeah, well, insofar as is possible

thejonymyster

agree

despitethe counter

maybe it should just do something else in that case

pxeger

it's not possible to detect whether an arbitrary list is finite or not

Seggan

itd be solving the halting problem

thejonymyster

oh right, i forgot a generated list could just, not be infinite :P

NoHaxJustRadvylf

14:58

Not necessarily, if your language only supports known-finite or known-infinite lists

thejonymyster

right thats what i imagined

pxeger

@NoHaxJustRadvylf such a language wouldn't be very useful though

NoHaxJustRadvylf

Why not?

Most useful infinite list operations don't require generators/iterators being able to stop

pxeger

You couldn't do any kind of filtering on infinite lists

NoHaxJustRadvylf

Yeah you could

Steffan

14:59

just make a generator that only yields items that satisfy condition

NoHaxJustRadvylf

It'd just be an infinite list that infinitely loops after a certain point

And if it was a monotonic filter, you'd return a known-finite list

Transcript for