Ending PHP Support, and the Future of Hack
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