No, the possessive apostrophe doesn’t apply to possessive pronouns. Apostrophes in pronouns are for abbreviations (like “he is” becomes “he’s” and “it is” becomes “it’s”)

https://dictionary.cambridge.org/grammar/british-grammar/pronouns-possessive-my-mine-your-yours-etc

And: https://promova.com/content/86_Possessive_Pronouns_in_English_41a7b3d23c.png

Apple and its* policies.

Did you really have to use that stupid “fake news headline” phrase? Gross.

I like the concept…

Good troll.

That’s what I’m thinking.

Good troll.

Maybe an antagonistic AI bot.

Good troll.

Right? Like the Atari 2600. Absolutely HORRIBLE graphics!!!111!!11!!!111!!

I thought of Pascal, Java and C#, but pretty much any language listed here as “explicit / nominal / static” makes the cut:

https://en.wikipedia.org/wiki/Comparison_of_programming_languages_by_type_system

Oh, so what you’re describing is strong typing. I thought it was a unique feature of Ocaml. But in reality, any strong-typed language will have this as well.

And yeah, Typescript merely “suggests” typing, and it will allow you to build the project even if you ignore the type errors. A build system refusing to, well, build, if there are typing errors usually takes care of this, but again, the dev team may as well not implement this.

What’s so special about Ocaml’s type system?

I see what you’re saying, but no one is being bullied here.