Hi is a modern, practical functional programming language designed to be simple, expressive, and efficient. Its name captures the spirit of the language: as simple as saying "hi."
I want a language that is easy to learn, easy to use, and yet powerful and expressive. Hi is binary compatible with OCaml, allowing existing OCaml libraries to be used directly. The relationship between Hi and OCaml is similar to the relationship between Scala/Kotlin and Java. In other words, Hi is a better OCaml, just as Scala is a better Java.
Go: Although Go is popular for its simplicity and performance, its language design is not as expressive as other modern languages. Additionally, its type system is quite limited, which can restrict developers looking for more advanced language features.
Kotlin/Native and Scala Native: These languages, while powerful, differ significantly from their main target, the JVM. This divergence means that code written for Kotlin/Native or Scala Native is not fully compatible with Kotlin JVM or Scala JVM. As a result, they require building a separate ecosystem of libraries for the native target, which is a substantial effort and often not prioritized as highly as their main compilation target.