bjz_

26 ms·

211.
by bjz_ 10y ago
I like it because usually that 10% of the time is where I should really be focusing my attention.
212.
by bjz_ 10y ago
You learn to love the compiler. It becomes a symbiotic relationship, and the cycle times for refactors and debugging are short because you get such quick up front feedback. Your productivity certainly takes a hit initially though.
213.
by bjz_ 10y ago
It ensures that you consume a state at most once. You can kind of visualize state 'moving' through your functions - going in through the arguments and out through the returned value.
214.
by bjz_ 10y ago
Once you get past the learning curve, Rust is a joy to work in, and you can switch your mind off to things that the compiler can help you with. The trouble is that it takes longer to grok than the four days most people give it. It's no
215.
by bjz_ 10y ago
Yeah, I can second that recommendation on reading the paper [0]. It's one of the nicest I've read. There is also a Rust crate for it[1] - though it's not as... 'pretty'... as the Haskell EDSL, obviously. [0]: http:
216.
by bjz_ 10y ago
Ahhh, kibwen (aka. bstrie) is one of the gems of the Rust community. He never fails to make us remember to look at the silly side of our silly programming debates.
217.
by bjz_ 10y ago
I think it's important to continue to do research in this area. I use Rust now because it is a great language with a strong community, tooling, and momentum, in spite of it's flaws and blind spots, but I see it more as a stepping
218.
by bjz_ 10y ago
Maybe we should make it de rigeur that people relate their "inventions" with past art? A lot of times, when I point out past art, I get met with instant open hostility from younger devs. Is it any wonder that programming has the
219.
by bjz_ 10y ago
> Unfortunately this stupidity is never going to end as long as language creators measure language success in adoption numbers and TIOBE scores rather than the warm fuzzy feeling of handling certain people's needs really, really wel
220.
by bjz_ 10y ago
Any idea on what the status of ParaSail is? Seems to have been pretty quiet lately :(
221.
by bjz_ 10y ago
Although others don't see the 'dark cloud', as a long time user of Rust it has definitely put me off pushing for it too hard at work. That said, Diesel and Serde are now the only big libs that require nightly, but this is due
222.
by bjz_ 10y ago
Alas, I think a week is too short to give Rust. Go will get you more pay-off in the short term, but as you internalise the rules of Rust you'll really start to reap the benefits. Unfortunately being an experienced user, I'm not aw
223.
by bjz_ 10y ago
Any examples of those you can share? I've been curious about quickcheck for a while now, but have not known how it would work beyond the simple examples that are most often shown.
224.
by bjz_ 10y ago
How easy is it to get Kafka and Rust working together?
225.
by bjz_ 10y ago
Indeed! It generated ᖗᗒᎲᗕᖘ, which I think is one of the best bears I've ever seen!
226.
by bjz_ 10y ago
Yes, that helps a ton! So it's simply combining extensible effects with state transitions to help you be more specific about the legal ways to sequence effectful operations. The proliferation of type params looks intimidating from a us
227.
by bjz_ 10y ago
Any more papers/resources I can look at to get more context on the indexed monads vs effect systems comparison? Are they as composable as effects - ie. how do they solve the problems with monad transformers, etc?
228.
by bjz_ 10y ago
Yeah, as someone who is interested in implementing an effect system in a language, I'd also love to know why the new approach is being considered.
229.
by bjz_ 10y ago
> In many ways, I wish this list took a cue from Benjamin Pierce's Types and Programming Languages which features not an ordered list but a graph of the concepts related in the book His dependency graph for Software Foundations is e
230.
by bjz_ 10y ago
I guess it depends on what you value. Me and my colleagues have found that Elixir is a massive pain when it comes to confusing, non-local run-time error messages. I also feel pretty out in the cold in terms of having a reliable type system
231.
by bjz_ 10y ago
Purity is orthogonal to laziness. Languages like Idris, Purescript, and Elm are pure but also eagerly evaluated.
232.
by bjz_ 10y ago
What model of Thinkpad? I'm another one considering jumping since the announcement. :( What do you wish you had?
233.
by bjz_ 10y ago
I like that it references itself under 'Miscellaneous'.
234.
by bjz_ 10y ago
I heard a while back that there was some work going into an interpreter for rust's mid-level IR (MIR), with the intention being to support a REPL. Not sure how that is going though.
235.
by bjz_ 10y ago
Yeah, I switched to VS Code because of the nice Rust plugin, and the editor is now really growing on me! The Elm support is also getting quite good.
236.
by bjz_ 10y ago
As he said, it was going to be used live and he wanted to be sure that it wouldn't blow up on set, whilst still allowing for rabid development in a small time window. Seems like a perfect use case.
237.
by bjz_ 10y ago
I haven't had much luck the the advanced setting for Elm - seems to optimise too much away, and I get undefined field errors when I try to run the code.
238.
by bjz_ 10y ago
I dunno, I find static types to be a core design tool that are highly beneficial from the earliest stage of a project. They help you probe a problem space as you develop, and offload a great deal of cognitive burden to your tools. I actuall
239.
by bjz_ 10y ago
Same problem here - Firefox.
240.
by bjz_ 10y ago
Unfortunately that means they lack lots of the pattern matching niceties that you get in languages with builtin ADTs. There is an impressive paper about implementing pattern matching on sub-classes, but it's pretty hackily done using t

More ›