Just as I had to got rid of #haskell tag (in favour of #lean), sadly, I feel like it's time to get rid of #elixir tag in my bio.
I'm doing a #rust rewrite of #ZeroHR backend now and while I'm not ruminating too much over the time and money spent on #elixir backend, I find it so much cheaper and faster to write in well-typed languages.
I really hope to become profitable so that I can have a look at #PureNix + #PureErl + #PureScript combo, but I think I'm years away from such a luxury.
@pmidden yes, I did a megaparsec and a wasm compiler as a contract. It's fast, it works.
There are bugs, but it's ok.
@pmidden it's like Elixir in 2012. 😃
I would even be ready to put my money where my mouth is (attached is an excerpt from https://zerohr.io/blog/simple-programming-is-not-easy)
@jonn interesting about the #Haskell tag. Is #Lean that mature for actual programming, then?