The article mentions Typescript and Purescript under the heading "Static typing" - their definitions correspond exactly to the Go definition, with explicit types for the members.

I was just saying that for completeness, Go should probably be mentioned in that list since it's become a pretty significant language.

(For the record, I'm an absolute Go hater, but I'm also a PL enthusiast, so...)