News for hackers. Stuff that matters.

A comment on Merging In The GNU D Language Compiler To GCC. Parent comment

Re:Merging In The GNU D Language Compiler To GCC by sambeau on Saturday October 08, 2011 @10:53AM (#3088040)
To be fair, the way Go uses interfaces is new.
[ Parent | on HN ]
Re:Merging In The GNU D Language Compiler To GCC by he_the_great on Sunday October 09, 2011 @12:00PM (#3090657)
Nope, not even. SML apparently did so, and probably others.
[ Parent | on HN ]
Re:Merging In The GNU D Language Compiler To GCC by pjmlp on Sunday October 09, 2011 @08:33AM (#3090351)
The only thing new about them is that you don't need to write "implements" or something similar.
[ Parent | on HN ]
Re:Merging In The GNU D Language Compiler To GCC by sambeau on Monday October 10, 2011 @07:07AM (#3093226)
It is more subtle and powerful than that.

By placing the contract at the use of a type with an interface rather than at the declaration of a type you effectively introduce a form of duck typing to a static language.

You can write an interface for a type long after the type has been declared (or been declared by someone else). Interfaces can be defined and used without having to go back and change existing code. This is very lightweight.

[ Parent | on HN ]
Re:Merging In The GNU D Language Compiler To GCC by pjmlp on Tuesday October 11, 2011 @01:49AM (#3097315)
Still, there are a few functional programming languages that offer similar concepts. Scala is one of them, as a few in the ML family.
[ Parent | on HN ]