What are your thoughts surrounding static and dynamic typing?
There's a new development[0] within Common Lisp that aims to support static type checking.
My experiences with static type checking have been annoying at best.
Here are some supplemental statements[1], which I hope will serve as a springboard for further discussion.
~Static Typing~
Advantages:
- More errors are caught
- One can refactor with greater confidence
- Can ease the mental burden of writing programs
- Types serve as documentation
Disadvantages:
- Time investment
- The actual error report is vague at best
- Suffocating
- Boilerplate
- Difficult & choice fatigue
[0]: https://github.com/coalton-lang/coalton
[1]: https://pchiusano.github.io/2016-09-15/static-vs-dynamic.html