Full closures for D

[Mikola Lysenko]

Bruce Adams Wrote:

> Nathan Reed Wrote:
> 
> > Bruce Adams wrote:
> > > Since they're on the language comparison feature chat it implies (to me at least) that there is some perceived benefit to the concept.
> > > Any poor strictly functional guys care to explain what it is?
> > > 
> > 
> 
> But could there be any benefit to a 'non functional' language like D.

I'm inclined to agree with Bruce.  My opinion is that for C-style languages, monads are just a bunch of category-theoretic red tape.  The primary function of monadic types is to induce ordering and side-effects within the evaluation of functional programs.  D already has a well defined order for executing statements, so adding support for monads seems redundant in a most painful way.

Monadic type modifiers are also inscrutably arcane.  Nothing is going to scare off newbies more easily than several pages of incomprehensible mathematical text describing how to print a line of text to the console (see: Haskell).

-Mik