GreeningGalaxy has quit [Ping timeout: 201 seconds]
Wetmelon has joined #kspacademia
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
GreeningGalaxy has joined #kspacademia
Wetmelon has quit [Ping timeout: 194 seconds]
GreeningGalaxy has quit [Ping timeout: 201 seconds]
icefire has quit [Read error: Connection reset by peer]
GreeningGalaxy has joined #kspacademia
GreeningGalaxy has quit [Ping timeout: 190 seconds]
GreeningGalaxy has joined #kspacademia
GreeningGalaxy has quit [Ping timeout: 206 seconds]
<egg|zzz|egg>
returning an stl-iterator-like struct is always a mess, so I just made a Vessel::ForAllParts(std::function<void(Part&)>) function
<egg|zzz|egg>
and then I made a Vessel::ForSomeParts(std::function<void(Part&)>) :D
<egg|zzz|egg>
clearly we need a language with a "for some" statement, like there are "for all", "foreach" etc.
<e_14159>
egg|zzz|egg: But does "for some" imply not "for all"?
<egg|zzz|egg>
e_14159: were this predicates, this would be or, rather than and; here it's imperative, so it picks one element (collection must not be empty) and runs on that
<e_14159>
Plans for C++20?
<egg|zzz|egg>
(which element is implementation-defined; users shall not rely on how it is picked)
<egg|zzz|egg>
e_14159: Ada 2012 introduced for all loops (their syntax for foreach), and also added the keyword some for predicates
<egg|zzz|egg>
e_14159: sadly they didn't make a for some loop :D
<egg|zzz|egg>
well it's not really a loop I guess
<egg|zzz|egg>
so maybe it should be "for some X of A do ..." contrasting with "for all X of A loop", similar to the "return X : T do ..." statement
<egg|zzz|egg>
but then what would the end be? can't be end loop
<e_14159>
But do we also need a "for None X of A loop"?
<egg|zzz|egg>
oh wait the loop is just for X of A loop
<egg|zzz|egg>
no all
<egg|zzz|egg>
the all is in the predicates only
<egg|zzz|egg>
e_14159: or maybe it should be implementation-defined whether it picks one or several elements :D
<egg>
UmbralRaptor: but it gives us back the planet Ceres
<egg>
which is nice
<egg>
also Titan, which is cool, becomes one
<UmbralRaptor>
That should placate the ice weasels.
<egg>
that too
<egg>
Are there Titatic ice weasels
<egg>
s/tic/nic
<Qboid>
egg meant to say: Are there Titanic ice weasels
<UmbralRaptor>
Not sure.
GreeningGalaxy has quit [Quit: SIGNAL LOST]
GreeningGalaxy has joined #kspacademia
<Norgg>
egg: Heh, github/johnturner is the account I use for work things but I'm constantly forgetting to set git settings and commit under the wrong one...
<egg>
Norgg: yeah, you did a couple of commits using that one on principia