Follow

Rust doesn't have a specification
Therefore all Rust code is undefined behavior
Therefore Rust has more undefined behavior than C
Therefore Rust < C
Checkmate athiests

@sir

There is a reason of why there isn't one yet ^^

@sir @Michcioperz is there a spec to what happens if you click the "Create Repository" button in git.sr.ht, or is it theoretically allowed to delete your account?

@sir I think what @Michcioperz tried to say is that because sr.ht doesn't have any formal specification or standard that it implements, it's as much undefined behaviour as Rust is.

@sir @Michcioperz @Wolf480pl you can write a spec for it just the same.

The crystal package manager has a spec

@kurisu @Michcioperz @Wolf480pl also for the record there is documentation on what happens when you push "create a repository", which you might call a spec man.sr.ht/git.sr.ht/#repositor

@sir @kurisu @Michcioperz @Wolf480pl Pretty sure rust has documented everything, which would be a spec just the same.

nitpicking 

@sir
The hacker in me is thinking it's better to allow undefined behavior.

@sir
This is true for many programming languages. Only a minority has a public specification. (reference: en.m.wikipedia.org/wiki/Compar )

@txt_file just because everyone does it doesn't make it good

@sir
True. I also prefer languages with specification. Makes it possible to have more than one implementation.

I wanted to say that it is a general problem and not only rust.

@sir Bitcoin doesn't have a specification neither 🤔

@sir lol, point me to this mythical specification you claim to exist.

@dammkewl fair enough. Bitcoin is still shit, though, this just makes it more so. Doesn't absolve Rust

@sir What about Bitcoin is it, that has you calling it that?

@dammkewl the code is terrible, it's a huge waste of electricity, it doesn't meet its stated goal, and it makes GPUs unobtainable for many people. And it doesn't have a spec.

@sir

lol

I can't comment about the code (no pun intended)
The waste of electricity is a strawman argument
GPU's are only used for shitcoins since years

But i'm glad we agree it doesn't have a spec 😂 🍻

@dammkewl the waste of electricity is not a strawman argument. Electricity isn't free, it comes with a cost to society and drives up power for people doing productive things. GPUs might only be used by idiots but that doesn't mean *coin hasn't driven up the prices. And I failed to mention that bitcoin brings out the worst in people!

@sir Hah more strawman arguments. I don't think we're going to agree in this one though. Thanks for the fun talk!

@sir I like rust, but not having a formal specification is is a real problem. For example, this code compile and run:
fn main() {
let a = (1, 2, 3);
println!("{}", a.1lolololol);
}
And because there is no specification, this code is perfectly valid.

@sir can you please define 'undefined behaviour'?
JavaScript has specification and it is still shit - full of surprises and unnecessary parts

@EdwardTorvalds @sir Most (all?) spoken languages do not have specifications. They're defined by usage. It's usually outsiders who end up defining the language. But that doesn't mean things aren't understood, its still useful. Per a post-structural analysis, things are understood as a totality.

@farhan specification are for both humans and computer. the later is dumb, so we are better off with specification, like Drew mentioned, to avoid 'undefined behaviour'

Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!