Viewing profile — someone_19

Ada is the lost knowledge of a past, more advanced civilization.

> No, you’re clearly wrong; golang was always going to add support for generic functions. Let's get this straight. I'll give you a long quote from Rob Pike's article where he descr…

You already have iota. Type safety is not needed by design: > Go intentionally has a weak type system... Go in general encourages programming by writing code rather than programmin…

...and Java didn't even have basic enums or sum types from the beginning. But it had null. They added enums, they added sealed classes. They're trying to get rid of null (apparentl…

So you mean to say that PHP5 and Js from 2007 had a well-founded design?

I agree that they were clearly not in a hurry. I disagree that they are doing everything right. I am interested to see how they will fix the 'million dollars mistake'.

Indeed, in 2012, it was not clear to anyone that generics were needed /s

> but the good parts of JS are better than anything else in existence What you talking about?! I can't think of a single thing in Js that I could say is good. Okay, two big corpora…

Here is example of compile time error with wrong newtype argument: https://play.rust-lang.org/?version=stable&mode=debug&editio... rust-analyzer gives an error directly in IDE.

Unhappy way is a part of contract. So yes, that is what I want. If a function couldn't fail before but can after the update - I want to know about it. In fact, at each layer, if yo…

You can do this quite easily in Rust. But you have to overload operators to make your type make sense. That's also possible, you just need to define what type you get after dividin…

Maybe once or twice a month I'll get some language issue (like no negative trait bounds, restrictions on generic const, or something related to lifetime). I might spend an hour or …

> It's essentially impossible to write a Rust program without relying on many of its escape hatches like RefCell and unsafe, that make the borrow checker go away. This is very cont…

...and using it in function calls would also be inconvenient. Now I have a clear understanding of what is happening and how. Nevertheless, using something like this for educational…

My first thought when I was learning Rust was "Why don't they use a different operator for move?", something like: let a let b let j = 0; // Copy let k = j; This may not be conveni…

> Second is an absolutely strict programming language, that incorporates not only memory membership Rust style, but every single object must have a well defined type that determine…

Look at vectors or hash maps. This is a perfect example of the Rust philosophy. Namely, writing complex low-level abstractions that offer a convenient and reliable high-level API. …

> Golang is basically just more concise Java But golang/newsqueak was developed much earlier, in the early 80s by Rob Pike. https://en.wikipedia.org/wiki/Newsqueak ``` type point: …