logoalt Hacker News

zahlmanlast Tuesday at 10:42 PM1 replyview on HN

> because all the interface stuff comes from statically typed languages.

No, it doesn't. It comes from theory that came after the languages.

> Some* dynamic languages borrowed it, but most use "implicit" interfaces

An implicit interface is an interface, and is exactly the sort of thing I'm talking about in GP. The point is that you think about the object in terms of its capabilities, rather than some proven-up-front categorization that it fits into. What it does, not what it is.


Replies

maleldilyesterday at 1:49 AM

You can achieve this with structural subtyping, such as Go interfaces and Python protocols. Whether that is desirable is a different question.