Heh, I didn't understand the title at first and thought it had something to do with an implementation of the JS redux library in Ada.<p>Anyway, it's a cool write up. I wish Ada came up more on HN. It's one of those languages that, like the author, I only know of as one that's "built for reliability, mainly used in defense applications".<p>If it's fast and safe, why doesn't it get the attention that, say, rust does?