It has nothing to OOP. Type systems exists also in functional languages like Haskell Elm or OCaml. I can only agree that type definitions looks similar to these in OOP languages. But it doesn't mean you need to do OOP, even such functional lib like Ramda has type definitions.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.