bjz_

6 ms·

1.
by bjz_ 4y ago
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 have a number of associated abstract datatypes, and in
2.
by bjz_ 4y ago
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 to take on at the time as opposed to something inheren
3.
by bjz_ 4y ago
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 the many things on this list that isn't a new
4.
by bjz_ 4y ago
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... I think there are some things I would add or c
5.
by bjz_ 5y ago
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 the theorem prover, or when trying to introdu
6.
by bjz_ 6y ago
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 do the latter in Rust using trait dispatch, but it'
7.
by bjz_ 6y ago
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 be possible, but it would require some careful thought and d
8.
by bjz_ 6y ago
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 pretty exhausting for creators to have to deal
9.
by bjz_ 6y ago
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 definitions in the module private. It's pretty challenging t
10.
by bjz_ 6y ago
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 from mathematics. It's more that it's only re
11.
by bjz_ 6y ago
I'm sad it's not!
12.
by bjz_ 6y ago
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/
13.
by bjz_ 6y ago
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 that adding degrees to radians w
14.
by bjz_ 6y ago
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 much art depends on influence and appropriation, and
15.
by bjz_ 6y ago
I think he was the one to ask Phil Wadler to help out on the Featherweight Go formalization work.
16.
by bjz_ 6y ago
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, other than political activism, pushing parties to suppo
17.
by bjz_ 6y ago
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 what project directory your in? I think I trie
18.
by bjz_ 6y ago
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 well. I couldn't just jump into a directory an
19.
by bjz_ 6y ago
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 dependency tree[1]. The former can be worked around, but it
20.
by bjz_ 6y ago
> 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! Maybe it's improved? Last time I tried OPAM it wo
21.
by bjz_ 6y ago
What happens if you are building a library that is published to Hackage?
22.
by bjz_ 6y ago
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 - not sure if there is a better reference
23.
by bjz_ 6y ago
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. Having to satisfy a single library version is incredibly fr
24.
by bjz_ 6y ago
Also Mozilla Research
25.
by bjz_ 6y ago
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 be picky about where they work, which puts pressure on compa
26.
by bjz_ 6y ago
I've been trying to learn enough about this problem to be of use in implementing this (playing around with my own language implementations). It seems like a real challenge might be around ensuring that your programs have extraneous &#x
27.
by bjz_ 6y ago
As an Australian who has privacy concerns their government's COVIDSafe app (see https://github.com/vteague/contactTracing ), and hence not installing it, I'm really thankful that Apple and Google are pushing t
28.
by bjz_ 6y ago
Same on Firefox!
29.
by bjz_ 6y ago
I've definitely found Elm worth playing around with - it's a really beautifully designed language with some really cool library design thrown in that I wish more people would learn from. That said I'd _really_ recommend steer
30.
by bjz_ 6y ago
This was a really great video that goes into lots of what most of the crowd sourced ventilators miss in their designs. Worth the watch if you want to know what's important in ventilator design when it comes to not doing injuries to pat

More ›