Re:The Vale Programming Language
by skohan on Friday November 20, 2020 @12:11PM
(#25162459)
Idk I mean maybe it's a matter of taste, but I just never felt like it was that cumbersome to write type names in the function signatures. In a short script it's not like you would usually have the dozens or hundreds of function signatures it would take to make this feel like drudgery.
[ Parent
| on HN ]
Well think about writing functions inside a repl or interactive environments like jupyter notebooks or just plain scripting. Enforcing type annotations add little value in those cases and end up making the language ill suited for such use cases.
Whole form type inference is actually a super power that allows for writing extremely expressive code without giving up type safety.