Static/dynamic is obviously a gradient. I find it a bit sad that it always seems to be either or these days, either no types or a full blown static generic type

Static/dynamic is obviously a gradient. I find it a bit sad that it always seems to be either or these days, either no types or a full blown static generic type system. I'm all for the ability to type variables and functions, as long as I'm still allowed to be exactly as precise as I feel like. Many would call that static typing, since there are types in the code that the compiler consumes. But my own attempts [0] at building such languages tell me that the result is still more dynamic than most. [0] https://github.com/codr4life/snabl https://github.com/codr4life/snabl