Hacker News new | ask | show | jobs
by Horusiath 108 days ago
> 1. Go with a better type system. A compiled language, that has sum types, no-nil, and generics.

I was looking for something like that and eventually found Crystal (https://crystal-lang.org) as a closest match: LLVM compiled, strong static typing with explicit nulls and very good type inference, stackfull coroutines, channels etc.
2 comments
kbolino 108 days ago
Go does not use LLVM at all and never has. It uses its own compiler and its own (quirky) assembler. Of course, this does not matter to most people, but LLVM compilation can be both a blessing (good interop with C/FFI) and a curse (changes to LLVM internals causing issues for languages other than C/C++).
link
brabel 108 days ago
Crystal is a typed Ruby. The closer to Go language would probably be Odin.
link
mastermage 108 days ago
Odin is more of an alternative C than Go. V is inspired by Go has like nearly the same syntax as Go and alot of Goodies. Like Error Types, Sum Types and more.
link
pansa2 108 days ago
Crystal’s syntax is similar to Ruby’s, but AFAIK the similarity more-or-less ends there.
link