Today I looked at idris and purescript as languages to use for the network backend stuff. I want to use an advanced language so that I can be relatively sure there aren't any major bugs, and hopefully be easier to maintain. Purescript is based on Haskell and has some of the features of idris. It looked alright and should work, but I liked idris better, even though its much newer and somewhat experimental. Since it's a dependently typed language, it will allow me to use proofs to verify that it doesn't contain certain types of bugs. Also, I've used idris extensively before, so it help me work faster. The downside is that not too many people know or use it, so I plan to only use it for the backend network code, and leave the front end typescript/svelte. I got idris compiling and working with javascript, and I should be able to start writing the basis for the network code tomorrow and see how it goes. I'm not ruling out using another library for networking instead, but if I don't find anything good, I will have to write my own.