This article convinced me that I wish I was using a language like F# with a similar type system https://fsharpforfunandprofit.com/posts/designing-for-correctne

This article convinced me that I wish I was using a language like F# with a similar type system https://fsharpforfunandprofit.com/posts/designing-for-correctness/ https://fsharpforfunandprofit.com/posts/designing-for-correc... That article made me feel like I'm kind of wasting some percentage of my life dealing with bugs that would just disappear if I was using a better language. I don't know what the tradeoffs are though but it did convince me I'm probably missing out on being more productive.