[Dream] Toward another compiler?

[atravers]

CAS out of the box […]

…“content-addressable storage” : another buzzword buzz-term for the collection, taking its place alongside “write once, run anywhere” and “orthogonal persistence”.

[…] that solves a dozen problems related to distribution, recompilation, test suite running, etc.

…and perhaps making some all-new ones:

Using unsafePerformIO safely?

Here’s a concrete example of why I don’t like pretending that anything that interacts with the OS is “pure”: At work we have a Nix-based build system. It “should be” pure, since Nix is reproducible. However, it sometimes calls out to external hardware which is transiently broken, caching “hardware did not respond” into our build results, and with no way of purging it. There’s no direct analogue of that in Haskell, but it really makes me cautious of “pure” APIs that call out to the OS, and I wou…

• Compositional podcast - A content addressable store for Nix with Théophane Hufschmitt - Links - NixOS Discourse (2020)