Viewing profile — bjz_

Traits are designed in such a way that there always is some privileged “receiver” type. In abstract datatypes, ML modules, and type classes there isn't this bias. In an ADT you can…

I think it's more a reflection of how Rust evolved, and the techniques and approaches known and understood at the time and the strangeness budget they were (understandably) willing…

Thanks for reminding people! > This is a thought I've often had myself. The name `unsafe` is not wrong, per-se, but it can sometimes have the wrong connotation Yeah, this is one of…

Hey, funny to see this old thing pop up here! I don't really use this site any more, but thought I'd just pop in to remind people that these are my personal thoughts from last year…

It's pretty obvious that "Le Coq Sportif" is part of a non-english brand name. Coq not so much, especially out of context - eg. people overhearing professional conversations about …

They are differently powerful. Rust's macros can let you extend the syntax and do context-free code generation, where as C++ can let you to type-directed code generation. You can d…

Yeah, would really love to see a static type system that tackled this directly - ie. handling versioned nodes in a cluster and ensuring deployments happen safety. I think it would …

From what I see it's the dismissive way it was posed, with little curiosity about the real challenges. Similar to the 'oh I could build that in a weekend' style comments that are p…

One limitation is privacy and abstraction. You can hide implementation details with most ML module systems - eg. hiding the underlying type of `Node`. You can also make local defin…

As a bit of a nit-pick, it's not _that_ new - see languages like ML, SML, OCaml, Miranda, Haskell, Coq, etc. that combined the notion of types from programming languages and types …

I'm sad it's not!

Glamorous Toolkit[0] is pretty neat! More of something designed for making software on top of, but it's a pretty cool example of what's possible. [0]: https://gtoolkit.com/

Relevant wikipedia article: https://en.wikipedia.org/wiki/Dimensionless_quantity Radians and degrees are both ratios where the units cancel out - ie. m/m. The point that is made is…

Yeah, it's not an uncommon to feel this way, especially if you've not learned the humanities formally. Pretty much the first thing I learned in art theory at university was how muc…

I think he was the one to ask Phil Wadler to help out on the Featherweight Go formalization work.

I don't think these kinds of long term, far-seeing projects would survive in the life-and-death contest of startups and the private sector either. I dunno what the alternative is, …

Ahh cool - had some similar questions here: https://news.ycombinator.com/item?id=23460980 - mainly, how much manual switching do you have to do? Or is it seamless, depending on wha…

Oh that's nice to hear! Some questions: Do you have to run this command manually, and does it mutate the shell state? That's one thing that frustrated me with opam in the past as w…

Yeah, it's really great to see the progress there. However, afaik, it still doesn't freeze packages by default, or let you have multiple packages of the same version in a dependenc…

> OCaml's is also excellent but not immediately obvious (their docs have improved a lot) Interesting! The last time I tried OPAM, it actually seemed more frustrating than Cabal! Ma…

What happens if you are building a library that is published to Hackage?

I think Rust gives the symbols unique hashes for each crate version to avoid this. See this answer on Stack Overflow for more information: https://stackoverflow.com/a/51722134 - no…

The new improvements to Cabal have been super nice of late, but one thing I _really_ wish Cabal would do is allow for multiple versions of a library to be used in the same project.…

Also Mozilla Research

Then why not charge people to do those kinds of jobs more? Or encourage companies to make the jobs less unpleasant and more fulfilling? A UBI means that workers have more power to …