News for hackers. Stuff that matters.
Re:Redox – A Unix-Like Operating System Written in Rust by nickpsecurity on Tuesday November 13, 2018 @05:05PM (#18445357)
I'd look at Haskell-based stuff first. I was told, though, by Haskellers that things like House operating system are imperative in style even if done in Haskell. So, a quick search for functional programs for OS's gave these possibilities:

https://news.ycombinator.com/item?id=7166755

You were actually in that thread. Did the commenter's work not actually use FP or you not see it?

Re:Redox – A Unix-Like Operating System Written in Rust by stcredzero on Tuesday November 13, 2018 @07:28PM (#18446232)
You were actually in that thread.

That's kinda trippy. It's like I was a different person. Also, I was working on the predecessor system to the one I'm currently working on. Back then, the thing was written in Clojure. I later ported it to Go. The design philosophy has changed a heck of a lot as well. Back then, I was going to have everything on the same very large and fast virtual instance, with modest goals for the largest population/scale. Now my system is scalable by adding more "workers," which I've spread out onto small AWS instances.