Just as I had to got rid of tag (in favour of ), sadly, I feel like it's time to get rid of tag in my bio.

I'm doing a rewrite of backend now and while I'm not ruminating too much over the time and money spent on 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 + + combo, but I think I'm years away from such a luxury.

@jonn interesting about the #Haskell tag. Is #Lean that mature for actual programming, then?

@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.

Follow

@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 zerohr.io/blog/simple-programm)

Sign in to participate in the conversation
Doma Social

Mastodon server of https://doma.dev.