They have but it's mostly a labor of love and it's very difficult to fit a static type system into a dynamically typed language.
We already have some false positives. Happily the team is very motivated and is grinding away at them, for which we the community are forever grateful.
We already have some false positives. Happily the team is very motivated and is grinding away at them, for which we the community are forever grateful.