> no need for type annotations This language has polymorphism and mutation, like OCaml. I wonder how they avoid the "value restriction" problem that in OCaml f

> no need for type annotations This language has polymorphism and mutation, like OCaml. I wonder how they avoid the "value restriction" problem that in OCaml forces you to write type annotations in some places: https://ocaml.org/manual/polymorphism.html https://ocaml.org/manual/polymorphism.html