The rise of type inference and its impact on language syntax:
https://medium.com/@elizarov/types-are-moving-to-the-right-22c0ef31dd4a
Related Posts
I'm designing a programming language and trying to decide the type of `let x = 1;`. Should it be Unit or Int?
Advantage of Int: really convenient when evaluating snippets in a REPL.
Advantage of Unit: It's much less confusing when type inference runs on an incomplete function.
Really cute approach to reporting type errors: when there's a type error, show an example of a runtime error that the type check has prevented!
Data-Driven Techniques for Type Error Diagnosis https://escholarship.org/uc/item/59s4h4pv
Blogging about my programming language project: choosing the basic syntax!
https://www.garden-lang.org/blog/syntax.html