I’m not quite sure why you fetishise a bit-for-bit over semantic equivalence. Doesn’t it turn “it works on my machine” into "it works on my machine as long as it has this sha: … "?

I am no messenger.

But I do bring you a message:

the message - of death!

It’d be nicer to see tagged unions first, with the machinery for those, and then take steps to provide a semantic fix for error handling.

And as for your specific question: typechecked code doesn’t get to production with a type error; it won’t compile. There’s a common phrase, “left-shifting errors”. It means catching bugs as early in the development cycle as possible. In terms of things like developer time (and patience), it’s far more cost-effective to do so.

I worked on OpenStack back in the day: millions of lines of untyped Python.

Let’s say you’ve got an X509 certificate. You know you can probably pull the subject out of it - how? Were I using Java (for instance), the types would guide my IDE and make the whole thing discoverable. The prevalent wisdom at the time was that the repl was your friend. “Simply” instantiate an object in the repl then poke at it a bit.

And it’s not just that kind of usability barrier. “Where is this used?” is a fantastic IDE tool for rapid code comprehension. It’s essentially impossible to answer for a large Python codebase.

Don’t get me wrong: python is still a great go-to tool for glue and handy cli tools. For large software projects, the absence of type enforcement is a major impediment to navigation, comprehension and speed of iteration.

Wait until you hear why Cambridge exists.

Morrissey might be a twat but he spent years writing stuff like this to the NME and then actually put his money where his mouth was.

He doesn’t want to be co-president. He’s a founder of the USA.

Fucking well said.

Sexy anti-woke task force officer?

Bobby Fingers has the best definition of “woke,” one that I feel all can agree with, even if they are dismayed by the quality of his dashboards.

The lizardfolk brigade.

In 2016, 96% of UKIP membership voted for (some version of) Brexit - their raison d’etre. 4% is a typical fraction of any group to be chaotically bonkers.

Thank-you.

And 51 feels prime. Someone sgould write a letter.

It’s “revelation,” singular. Like trivial pursuit.

The way the electoral roll is managed varies from place to place.

Avoiding automatic voter registration tends to favour the more traditionally conservative demographic; it’s racist and classist, but the people who turn up to vote on local electoral issues are too, by and large. It requires engagement to change.

You’ve linked into it, but I was just going to point at the Git book: https://git-scm.com/book/en/v2

It’s an afternoon’s reading; it does an excellent job of giving you the right mental model - and a crib aheet of commands to navigate it.

I have observed people taking Rust seriously. You need to reexamine your assumptions.

We have an evolved capability to short-circuit decisions with a rapid emotional evaluation. It means as a species we didn’t die out early [“that’s a lion; I’m a oerson; lions eat people ergo… Agh!” is not a sustainable strategy] - what’s amazing is that we can also apply it to elarned abstract things like an aestetic sense about programming languages. Such instincts aren’t always perfect, but they’re still worth paying attention to. I don’t see a reason not to express that in a blog post, but you can replace it with “this is unergonomic and in some cases imprecise” if you prefer.

That seems like quite a lot of booms.

FWIW I was trying to do something like this and ended up with pretty much what you describe - some custom shading to get everything working.