I went searching for a lightweight immutable database that could be audited and ran into this.
I guess this is similar to XTDB and Datomic in Clojure-land, though they are maybe more full-featured and also look, kinda, heavier? AWS also has an immutable database offering that I didn’t know about, Amazon QLDB.
I would love an immutable history temporally indexed (shows latest ‘version’ of a row by default), however this doesn’t look like it, and something ‘modern’ being built in Go fills me with about as much trust in its stability and security as it being built in C or C++, which isn’t much, so that’s a weird language choice for something where they keep talking about the security…
That’s even before getting into the lack of pretty necessary features as well.
Golang’s curse, as Java’s before it, is the accessibility and appeal to a bigger group of programmers – OK let me not pull punches here, let’s call it like it is: more mediocre ones.
This inevitably leads to an explosion of popularity, writing a lot of frameworks and tools in the said language, and then 10-15 years later the industry is horrified by the ecosystem and the software quality, someone invents the next “accessible” language, everyone is all excited how “the new stuff fixed 10% of the problems of the old stuff” (let’s get real, that’s what it is very often) and the cycle repeats.
(sighs)
Until people actually make declarative programming work – and have it compile directly to machine code, or maybe better yet, to a highly successful language in terms of a compiler like Rust, OCaml or Ada / Forth – then I don’t think the area at large will at all progress.
I am about to hit 42 and it’s all just repeating in front of my eyes and makes me hopeless. We as a collective just don’t learn…
Various lisp’s have a variety of runtimes, and as for static typing, it, like it is in typed racket, is just a macro to transform the language to have typing. Lisp is completely redefinable, hence why it’s the most powerful. ^.^
BEAM is not so much a runtime as it is an OS, lol.
And racket’s strong typing is pretty good, no lifetime management like rust but it could definitely do full dependent typing like Idris if someone were to create it, the language is absolutely capable of it.
(Rust’s lifetime’s are a subset of full dependent types like Idris, a tiny tiny subset).
