What about a soundly typed language that transpiles to Clojure and ClojureScript (which again transpiles to JS)?
It could be based on Subject-Verb-Object syntax, and Data First Functional Programming, with sweet-expressions, written in OCaml, to get sound type inference.
The syntax is a non-starter. It also has only local type inference. The problem might be Clojure's ad-hoc polymorphism complicates things quite a bit... I'd rather have parametric polymorphism ala. OCaml and ReScript.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
ReScript is the language I've found that seems to most closely fulfill the set of most important familiar features. It has:
(F# with Fable is another equivalent alternative, if you're into .NET)
What about a soundly typed language that transpiles to Clojure and ClojureScript (which again transpiles to JS)?
It could be based on Subject-Verb-Object syntax, and Data First Functional Programming, with sweet-expressions, written in OCaml, to get sound type inference.
That could get pretty close to the dream...!
Typed Clojure is not it... youtu.be/a0gT0syAXsY?t=94
The syntax is a non-starter. It also has only local type inference. The problem might be Clojure's ad-hoc polymorphism complicates things quite a bit... I'd rather have parametric polymorphism ala. OCaml and ReScript.