You still lose the benefits of Affine Types in Rust though

It can be type safe and testable with free monads

That's why I love the Readex Pro font. It also has glyphs for Arabic and a lot more languages in the same file, so I can use one font file for everything.

You can also use jbang to run java scripts with dependencies

https://www.jbang.dev/

I'm trying to build a native postman alternative using Rust + Iced. I want it to use .http files as its collections and .env files as its environments. So that data is stored in plain text and easily editable by AI and usable by other apps like VSCode rest client.

https://github.com/sharno/zagel

I was hoping it’d be cli focused (didn’t know what iced is) but I’m now glad to see the elm architecture influencing more gui libraries.

Whenever I'm filling a long form on an official website, I feel like I'm racing against an invisible clock because of this session time out thing that happened to me countless times.

That's almost the same thing as parse don't validate: https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-va...

It’s portability for a price especially if you already have your own peripherals

I’m sure if Go had nullable types and/or sum types from the beginning, it’s have been much more popular

It's already quite popular. I'm less convinced there's a large pile of people wishing for a fairly high performance garbage collected language that are not using Go because of this. There just aren't many viable alternatives.

Java and C# being the obvious (and more performant) alternatives. And compared to them, Go already wins because of not being, well, "enterprisey". And with that I mean less the languages itself, but also the whole ecosystem around them.

Go's is already "enterprisey" enough, thanks to Kubernetes ecosystem.

For the 3 people who actually need Kubernetes.

There are definitely lots, I'm one of them. I use Scala, which is very powerful and imho much nicer language than golang. But the tooling and other support is slow and subpar. But I just can't go back to a brain-dead language(!) like golang because it hurts to program in such languages to me. So I hope that either golang catches up with Scala's features, or that Scala catches up with golangs tooling.

And I think there are many similar people like me.

Scala is overcomplicated esoteric programming language. It is great for obfuscation contests. It is awful for production code, since Scala code lacks maintainability, readability and simplicity properties.

I guess we have different opinions. Maybe you had some bad experiences in the past? Scala 3 is very different from Scala 2 many years ago

There are few languages that are safer and easier to maintain, imho. The typesafety is superb.

I'm sure of the opposite given the ideas behind Go's design.

Perhaps, but other languages that look a lot like Go with these additions (e.g. OCaml) have not gained much popularity, despite getting much more love on forums like HN. It's important to remember that the people expressing strong opinions about sum types on the internet are a tiny and non-representative fraction of working programmers.

OCaml has a huge number of challenges besides "popular language plus sum types"

Go has nullable types! We want non-nullable types!

I blame C# for the confusion. Think of it this way: the ability to explicitly express a type Foo|null implies the existence of a non-nullable Foo as well. IOW it’s shorthand for “nullable and non-nullable types”.

There was also purescript: https://github.com/andyarvanitis/purescript-native