01:02 <erip> A data class is basically a named tuple

01:03 <erip> It typically defines equality, to-string, hash

01:05 <erip> I have something like this: `class val User is (Equatable[User] & Comparable[User] & Hashable & Stringable)`, but the body is ~20 lines, which is pretty verbose for something that should just hold data

05:02 <That_Guy_Anon> hey, i am trying to get to get pony to run on solus, but for some reason it can't find ld

05:03 <That_Guy_Anon> now i am not quite sure what exactly it expectes in --linker to guide it to the linker

19:10 <erip> Is there a reason Range's `next` method is total?

19:10 <erip> https://stdlib.ponylang.io/collections-Range/#next

19:10 <erip> Seems like it should be partial

19:33 <strmpnk> It calls has_next internally and then at the end it turns into a constant on each call. It does seem like arbitrary behavior but it does have total behavior.

19:35 <vaninwagen> You can override partial methods with total ones, so it extends Iterator although iterator defines next() as being partial

19:37 <erip> Yeah, I guess my real question is: why is that behavior the behavior? heh

19:37 <erip> honest question. I might have tunnel vision right now

19:39 <vaninwagen> You mean, why is it total?

19:40 <erip> Indirectly, yes. Why is the behavior to stay at the end of the range when you call next?

19:40 <erip> It's as good as anything and forces totality. maybe that's a good enough reason

19:49 <vaninwagen> Yeah, and the iterator protocol demands to call has_next() before each call to next(). If you just call next() without checking, you break the warranty seal

19:50 <vaninwagen> next() might call a professional killer to brutally murder an innocent kitten in that case

20:46 <erip> makes sense