"If NASA's Remote Agent[1] had been implemented in Haskell, OCaml or ML, do you think debugging DS1 would have been as simple as connecting to a REPL and changing some definitions in a living core?"
Erlang in particular is known for rock-solid support for this, and Armstrong never advocated for pure functional languages.
"Sure, you can use a simple array to build a b-tree, but don't you want to explicitly state that variable x is a b-tree if that's the case?"
Erlang in particular is known for rock-solid support for this, and Armstrong never advocated for pure functional languages.
"Sure, you can use a simple array to build a b-tree, but don't you want to explicitly state that variable x is a b-tree if that's the case?"
You can do this in Erlang with atoms.