On 7/11/2016 10:42 PM, Ola Fosheim Grøstad wrote:
So yes, many languages are drawing on those principles in their type systems.
D draws many features that come from functional programming. But I am not aware of any that come specifically from Prolog.
And just to be clear, D aims to be a useful programming language. It is not intended as a vehicle for programming language research.
It is also entirely possible for a research language to advance the state of the art (i.e. programming language theory), but not be useful. That is not what D is about, though.
D's job is to get s*** done quickly and effiently and make money for the businesses that use it.
