Twey

19 ms·

241.
by Twey 3y ago
Hmm, I only see a little bit of bash in asdf, but it's mostly wrappers that I don't expect to have much impact on performance? E.G. https://gitlab.common-lisp.net/asdf/asdf/-/blob/master/ma
242.
by Twey 3y ago
Very amused to see FORTH used as a by-word for illegibility in an article essentially extolling the virtues of Lisp syntax.
243.
by Twey 3y ago
Nix caches are signed — what additional supply-chain attacks are you thinking of? I think if the attacker gets hold of a distribution machine + a trusted private key you're in trouble no matter your distribution model — even if you dow
244.
by Twey 3y ago
Computer science and software engineering are completely separate disciplines, alike in dignity — but trouble arises when you confuse one for the other. Computer science is a theoretical discipline, ideally suited to being taught in an acad
245.
by Twey 3y ago
Edward Kmett has a great explanation[1] of the considerations around this space. It's not that alternatives to the orphan rule are hard to implement, it's that they lead to things being much harder to reason about for the programm
246.
by Twey 3y ago
The universal quantification works for defining the _implementation_, but (by itself) not for defining the constraints. Yes, if you write an implementation for `Optional<A>` then it _is_ implemented for any `A` — but it's impossi
247.
by Twey 3y ago
Monads are similarly fundamental in the theory of programming/computation — when you start considering effectful computation at a deep level, monads come up pretty quickly, in a way that is independent of the programming language in qu
248.
by Twey 3y ago
Semi nit (but semantically quite important): not `Optional<A> implements Monad<A>`, but `Optional implements Monad`. The reason many languages can't encode the `Monad` type class correctly is due to this fact: type construc
249.
by Twey 9y ago
Doesn't have to be terribly inefficient if you're careful with your encoding. See e.g. https://en.m.wikipedia.org/wiki/Quote_notation
250.
by Twey 9y ago
Sure, they are, but they're sums , not products . Go's failure to acknowledge this leads to infecting every type with the Billion-Dollar Mistake in an effort to encode sums as products (and loses out on compiler checking of it,