bjz_

33 ms·

271.
by bjz_ 10y ago
MLkit was a key influence on Rust. It's no secret that Rust has drawn from prior art in regards to regions - Cyclone is another one.
272.
by bjz_ 10y ago
> If your goal is really to just learn something, and potentially make something Yeah - Rust will most likely make you think more differently about programming than Swift will, and will give more scope in terms of systems programming. Th
273.
by bjz_ 10y ago
Yes, unless you break out of it by using unsafe storage methods, which are purposefully made unergonomic to use. Due to its type system Rust has the advantage that you can safely choose by either thread-local or atomic reference counting -
274.
by bjz_ 10y ago
Swift abstracts away lots of memory management concerns by defaulting to thread-safe reference counting. Rust defaults to the stack and allows you to choose between a wide range of memory management options, and even build your own if neces
275.
by bjz_ 10y ago
The elaboration on those points is the interesting part.
276.
by bjz_ 10y ago
The author does mention this under '2. Challenge Yourself': > I'm going to shatter some of that stuff you've previously heard about brain training games. Here goes: They don't work. Individual brain training game
277.
by bjz_ 10y ago
Yeah, Pony looks very cool. Unfortunately I don't think I could convince work to use it at this early stage, but I'm looking forward to see how it develops. Huge bonus points for being based on soundness proofs from the very start
278.
by bjz_ 10y ago
Damn, I kind of wish Elixir had gone with a high quality type system... dialyzer is just so limited. Glad to see some experimentation on this front. Any idea whether it would be possible to interface with existing Erlang libraries?
279.
by bjz_ 10y ago
For those reading, just remember to check out #rust on irc.mozilla.org - it's far more active than the freenode channel. Here's a list of the current rust-related channels on Mozilla's IRC server: https://www.rust-
280.
by bjz_ 10y ago
Oh duh, I forgot about that - even commented on a few days ago!
281.
by bjz_ 10y ago
There is definitely a prospect! The core team understands the need. It still needs an RFC though, and once that is accepted it will have to make its way from nightly, to beta, then finally to stable. So alas, not any time soon. :(
282.
by bjz_ 10y ago
Once you internalise the rules, it clicks and becomes second nature, and you learn to really appreciate the explicitness. Lifetime/ownership errors go way down, and the ones you do get are usually trivial to fix. In saying that, as wit
283.
by bjz_ 10y ago
You probably mean statically typed .
284.
by bjz_ 10y ago
One interpretation of CS (that I personally subscribe to) is as a subject about the theoretical and mathematical understanding of process and abstraction. Computers and software are just the medium. Taken that way, it's an important su
285.
by bjz_ 10y ago
I wonder if part of the problem is some universities watering down core, foundational, beautiful CS to try and make it 'practical'. They end up with a course labelled 'CS', but is actually a poorly implemented, behind-th
286.
by bjz_ 10y ago
Sounds like the kind of course that I would have wanted (I dropped out of mine). The sad thing is that they get squashed under the weight of students and industry railing against learning 'theoretical' stuff because it seems like
287.
by bjz_ 10y ago
Yes, these things will be rendered insignificant in the fullness of time, but as a human's with limited lives, it's still important to maintain empathy towards the human suffering of the here-and-now, and the very near future. It
288.
by bjz_ 10y ago
Unknown unknowns? As much as you prepare there will always be things that slip between the cracks.
289.
by bjz_ 10y ago
Could you elaborate a bit more on why you chose Rust, and why you think it was the right choice for this project?
290.
by bjz_ 10y ago
That's one place where C++ still has Rust beat. The C++'s templates are (for better or for worse), far more powerful and expressive than Rust's parametric polymorphism. There have been advances in doing more extreme compile t
291.
by bjz_ 10y ago
Rust still can benefit from Valgrind, especially if you are working on low-level libraries that require unsafe, or interface over the C ffi. The point that I think the parent is trying to make though is that Rust has made pragmatic decision
292.
by bjz_ 10y ago
That's why it's exciting to see libraries like Helix[0], Neon[1], and Rustler[2] that help folks embed Rust into higher level languages safely. Opens lots of possibilities by making even those performance critical sections of code
293.
by bjz_ 10y ago
> For example: Rust's type system certainly has some nice properties to track dependencies between middlewares[^1] but I'm not convinced middlewares are even the best approach possible here. There's a good discussion of th
294.
by bjz_ 10y ago
Oh woops, I meant to say 'in Sublime'! It seems my brain detached from my brain in the process.
295.
by bjz_ 10y ago
With Atom addons can also do a great deal of UI customization too, due to the fact that it is built on the web stack. You pay for it in performance though...
296.
by bjz_ 10y ago
VS Code seems much snappier than Atom, as someone who uses both. And the Rust extension is much better. Switching between the different key-bindings is a pain though - I wish VS Code used ST bindings, but I'm guessing they went for con
297.
by bjz_ 10y ago
It's a small thing, but I really love how Atom highlights the files that have changed in the tree view out of the box. Haven't figured out how to do that in Atom...
298.
Reference Lifetimes in Whiley(whiley.org)
11 points by bjz_ 10y ago|1 comments
299.
by bjz_ 10y ago
This is a perspective that I think we could do better at advocating for when it comes to static typing. It's not really just about safety, it's also about being able to rapidly figure out a good model for your problem through a co
300.
by bjz_ 10y ago
That one looks to be more efficient too - all those `collect`s in the original are a tad concerning...

More ›