maxiepoo

I would think that common lisp being image-based and so therefore having tons of implicit state that is not manifest in code is a huge downside to programming with an LLM since the state of the system is not easily reproduced from program text.

Am I missing something or did the anecdote at the beginning have nothing to do with the rest?

Clearly a Kool-aid enjoyer

do you really have 20+ tabs of LLMs open at a time?

Isn't it more differential geometry?

Basically, Evan decided he wanted Elm to be a pre-packaged closed ecosystem where it was easy to develop very simple standalone apps, but made it very difficult to impossible to actually integrate with any existing JavaScript code or libraries. This was a baffling decision to people who thought Elm was supposed to be a practical language.

Blaming everything on "entitlement" from people who bought Elm's marketing about "making functional programming practical" is ridiculous. Thankfully there are now plenty of languages with better type systems than Elm (Rust, OCaml) that deploy to the web just fine.

You can do something like this with OCaml/SML's module system.

And certainly from an abstraction point of view you can do this in any dependently typed language like Idris/Agda/Coq, but these don't have great implementations.

Typed functional languages like Haskell (data)/ML (type) do have a built-in way to define new tree types, and so does Rust (enum). It's one of the biggest things I miss when I'm not using these languages, especially when combined with some metaprogramming (deriving/derive) to get some functions defined for these new types very quickly.

It is very bad that abortion is illegal but thousands of people have not been imprisoned for violating abortion laws afaik.

I'll be surprised if none of the bigger beer companies ends up buying it for the brand and history alone. But maybe it doesn't have as much name recognition as I thought.

It really is remarkable. I think the most remarkable fact about it is that the intensional identity type was invented by Martin Lof in the 70s, the groupoid model was discovered in the 90s and then finally in the late 2000s various people made the connection that Martin Lof's original system from the 70s was in a sense already a type theory for abstract homotopy theory. This led to an explosion of new ideas in type theory (univalence, higher inductive types, modalities) that took a somewhat obscure field of math/cs to the thriving research community it is today.

Even emscripten, which compiles LLVM to WASM has to use a relooper algorithm to get around the lack of jumps.

Austrian economics is truly indistinguishable from parody

This would allow you to do things like compile other assembly languages to webassembly.