nilaway

Hey HN, I've been working on Soppo, a language that compiles to Go, adding features to catch errors at compile time instead of runtime: enums with exhaustive matching, `?` for error propagation, and nil safety from static analysis of nil flows (sort of like https://github.com/uber-go/nilaway but currently much less sophisticated). It's designed to still look and feel like Go, and be able to use any Go library directly. Playground: https://play.soppolang.dev Not production ready and still a little early in development, but curious what people think about the design.

> better nulability checks In development: https://github.com/uber-go/nilaway

Go would probably be my favorite language if it just had a few more features around functional programming. Specifically around immutability and nullness, and maybe exhaustive switch statements. Then it just might be perfect. At work we use Uber’s NillAway, so that helps bit. https://github.com/uber-go/nilaway Though actually having the type system handle it would be nicer.

Yep, the ecosystem doesn't support anything like it and a lot of Go people are downright hostile towards this solution :) You could also try your luck with https://github.com/uber-go/nilaway