Zig: software should be perfect [video]
youtube.com
Zig: software should be perfect [video]
1–10 of 141 posts
Re: Zig: software should be perfect [video]
#2Oh come on, we already know that logical systems cannot even self reconcile it's own promises, as Gödel proved, now someone claim software should be perfect?!
Edit: the original title does not mention perfect.
Re: Zig: software should be perfect [video]
#3There is a typo in title in word "profit"
Re: Zig: software should be perfect [video]
#4Oh come on, we already know that logical systems cannot even self reconcile it's own promises, as Gödel proved, now someone claim software should be perfect?! Edit: the original title does not mention perfect.
Yeah. Original title is “Zig: A programming language designed for robustness, optimality, and clarity – Andrew Kelley” and “Software should be perfect” is much more sensational.
Re: Zig: software should be perfect [video]
#5Oh come on, we already know that logical systems cannot even self reconcile it's own promises, as Gödel proved, now someone claim software should be perfect?! Edit: the original title does not mention perfect.
Yeah. Original title is “Zig: A programming language designed for robustness, optimality, and clarity – Andrew Kelley” and “Software should be perfect” is much more sensational.
If you look at the video, you'll see that "Software Should Be Perfect" is the title slide of the talk (you don't even have to click play, it's there at the start). And then the first words out of the speaker's mouth (other than a sound check) are "I'm going to try to convince all you that software should be perfect".
The "original title" you're referring to is what the person who uploaded the talk to youtube titled the talk, not what the speaker titled the talk.
Re: Zig: software should be perfect [video]
#6So... the perfect programming language has error-prone manual memory management and rampant undefined behaviour (well at least it can build the code to crash instead of “nasal deamons”)? Yeah right.
Re: Zig: software should be perfect [video]
#7Definitely nice to have tools (compiler warnings, static analyzers) that can keep you from hurting yourself.
Of course many projects don’t use them, for various reasons.
I wonder: is turning on full compiler warnings, then fixing them - is it making my software better, or just satisfying some type of neuroticism?
Re: Zig: software should be perfect [video]
#8Oh come on, we already know that logical systems cannot even self reconcile it's own promises, as Gödel proved, now someone claim software should be perfect?! Edit: the original title does not mention perfect.
Come on, a title like that isn’t meant to be taken too seriously.
And you’re reaching a bit far. You can write a perfect function that adds two 32 bit integers. There is a subset of code that can be written perfectly. Especially if you don’t need Turing completeness to write it.
Zig just tries it’s best to make it easy to write as much as possible of low level code in a perfect way.
Re: Zig: software should be perfect [video]
#9Javascript (programming language) and Browser (runtime environment) is a perfect piece of combination.
With JS, you have many choices of implementation.
With Browser, runtime error doesn't crash user's device.
Re: Zig: software should be perfect [video]
#10Javascript (programming language) and Browser (runtime environment) is a perfect piece of combination. With JS, you have many choices of implementation. With Browser, runtime error doesn't crash user's device.
Same is true for the JVM or Python, no?