On: What would it take to add refinement types to Rust...

[akkad33]

All these are just functional features you find in every functional language though. Rust was highly influenced by OCAML and other ML languages

[threeseed → akkad33]

Hence why I said it was a feeling.

And I think the fact the overall style of the language e.g. braces, semicolon, method signatures, loop handling is so similar to Scala versus OCaml contributes to this.