Follow

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.

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

@leobm for me, investing in is the same amount of effort (to me) than investing in , but with PurErl I get the whole power of purescript type system at my fingertips and ease of extending the compiler. And portable types!

With Gleam, I tried to write compiler code but gave up (because I'm a silly goose).

None if this is a nudge against Gleam, it's very good and I would even say *correct* way to code for BEAM in 2025. It just doesn't suit my preferences at the moment!

Thank you for bringing it up. 💙 💛

Sign in to participate in the conversation
Doma Social

Mastodon server of https://doma.dev.