ANN: The Disciplined Disciple Compiler - alpha 1

[Ben Lippmeier]

Hi All,
I'm pleased to announce the initial alpha release
of the Disciplined Disciple Compiler (DDC).

Disciple is an explicitly lazy dialect of Haskell which includes:
 - first class destructive update of arbitrary data.
 - computational effects without the need for state monads.
 - type directed field projections.

All this and more through the magic of effect typing.

More information (and download!) available from:
    http://www.haskell.org/haskellwiki/DDC
or  http://code.google.com/p/disciple

DDC: more than lambdas.

Onward!
Ben.



_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Wolfgang Jeltsch-2]

Am Donnerstag, 20. März 2008 07:09 schrieb Ben Lippmeier:

> Hi All,
> I'm pleased to announce the initial alpha release
> of the Disciplined Disciple Compiler (DDC).
>
> Disciple is an explicitly lazy dialect of Haskell which includes:
>  - first class destructive update of arbitrary data.
>  - computational effects without the need for state monads.
>  - type directed field projections.
>
> All this and more through the magic of effect typing.
>
> More information (and download!) available from:
>     http://www.haskell.org/haskellwiki/DDC
> or  http://code.google.com/p/disciple
>
> DDC: more than lambdas.
>
> Onward!
> Ben.

Short question: Is it appropriate to put the homepage of a non-Haskell project
on the Haskell Wiki?  I mean, putting some basic info about such a project
there and link to the project’s website might be okay and is already done in
certain cases.  But projects like Agda or Epigram typically don’t use
haskell.org as a webspace provider and I think this is the way to go.  What
do others think?

Best wishes,
Wolfgang
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Brandon S. Allbery KF8NH]

On Mar 20, 2008, at 10:08 , Wolfgang Jeltsch wrote:

> Am Donnerstag, 20. März 2008 07:09 schrieb Ben Lippmeier:
>> Hi All,
>> I'm pleased to announce the initial alpha release
>> of the Disciplined Disciple Compiler (DDC).
>>
> Short question: Is it appropriate to put the homepage of a non-
> Haskell project
> on the Haskell Wiki?

Depends on how closely related it is, i.e. could this be considered a  
testbed for stuff that might end up in a future ghc release?

--
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@...
system administrator [openafs,heimdal,too many hats] allbery@...
electrical and computer engineering, carnegie mellon university    KF8NH


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Duncan Coutts]

On Thu, 2008-03-20 at 15:08 +0100, Wolfgang Jeltsch wrote:

> > More information (and download!) available from:
> >     http://www.haskell.org/haskellwiki/DDC
> > or  http://code.google.com/p/disciple
> >
> > DDC: more than lambdas.

> Short question: Is it appropriate to put the homepage of a non-Haskell project
> on the Haskell Wiki?  I mean, putting some basic info about such a project
> there and link to the project’s website might be okay and is already done in
> certain cases.  But projects like Agda or Epigram typically don’t use
> haskell.org as a webspace provider and I think this is the way to go.  What
> do others think?

I think it's fine. Agda and Epigram are not dialects of Haskell, DCC is.

Also we tend to allow any project written in Haskell to use the
haskellwiki, I don't see that compilers should be excluded.

Duncan

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Don Stewart-2]

g9ks157k:

> Am Donnerstag, 20. März 2008 07:09 schrieb Ben Lippmeier:
> > Hi All,
> > I'm pleased to announce the initial alpha release
> > of the Disciplined Disciple Compiler (DDC).
> >
> > Disciple is an explicitly lazy dialect of Haskell which includes:
> >  - first class destructive update of arbitrary data.
> >  - computational effects without the need for state monads.
> >  - type directed field projections.
> >
> > All this and more through the magic of effect typing.
> >
> > More information (and download!) available from:
> >     http://www.haskell.org/haskellwiki/DDC
> > or  http://code.google.com/p/disciple
> >
> > DDC: more than lambdas.
> >
> > Onward!
> > Ben.
>
> Short question: Is it appropriate to put the homepage of a non-Haskell project
> on the Haskell Wiki?  I mean, putting some basic info about such a project
> there and link to the project’s website might be okay and is already done in
> certain cases.  But projects like Agda or Epigram typically don’t use
> haskell.org as a webspace provider and I think this is the way to go.  What
> do others think?

While YHC, lambdabot and xmonad do :) So I think the precedent has been
that anything written in Haskell, or any Haskell-like compiler, can be
happily hosted.

-- Don
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Ben Lippmeier]

Hi Wolfgang,
Rest assured it really is a Haskell project. Apart from the way it  
does field projections, DDC will compile a significant number of  
Haskell programs with no modifications.

Ben.


On 21/03/2008, at 1:08 AM, Wolfgang Jeltsch wrote:

> Short question: Is it appropriate to put the homepage of a non-
> Haskell project
> on the Haskell Wiki?  I mean, putting some basic info about such a  
> project
> there and link to the project’s website might be okay and is already  
> done in
> certain cases.  But projects like Agda or Epigram typically don’t use
> haskell.org as a webspace provider and I think this is the way to  
> go.  What
> do others think?
>
> Best wishes,
> Wolfgang
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@...
> http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Derek Elkins]

On Thu, 2008-03-20 at 09:20 -0700, Don Stewart wrote:

> g9ks157k:
> > Am Donnerstag, 20. März 2008 07:09 schrieb Ben Lippmeier:
> > > Hi All,
> > > I'm pleased to announce the initial alpha release
> > > of the Disciplined Disciple Compiler (DDC).
> > >
> > > Disciple is an explicitly lazy dialect of Haskell which includes:
> > >  - first class destructive update of arbitrary data.
> > >  - computational effects without the need for state monads.
> > >  - type directed field projections.
> > >
> > > All this and more through the magic of effect typing.
> > >
> > > More information (and download!) available from:
> > >     http://www.haskell.org/haskellwiki/DDC
> > > or  http://code.google.com/p/disciple
> > >
> > > DDC: more than lambdas.
> > >
> > > Onward!
> > > Ben.
> >
> > Short question: Is it appropriate to put the homepage of a non-Haskell project
> > on the Haskell Wiki?  I mean, putting some basic info about such a project
> > there and link to the project’s website might be okay and is already done in
> > certain cases.  But projects like Agda or Epigram typically don’t use
> > haskell.org as a webspace provider and I think this is the way to go.  What
> > do others think?
>
> While YHC, lambdabot and xmonad do :) So I think the precedent has been
> that anything written in Haskell, or any Haskell-like compiler, can be
> happily hosted.

My experience has been that the Haskell community is and has been very
supportive of such projects, and most Haskellers would be more than
happy to have such a project on the Haskell Wiki.

Pugs started on the Haskell wiki.

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Tim Chevalier]

On 3/20/08, Ben Lippmeier <Ben.Lippmeier@...> wrote:
>
>  Hi Wolfgang,
>  Rest assured it really is a Haskell project. Apart from the way it
>  does field projections, DDC will compile a significant number of
>  Haskell programs with no modifications.
>

Can you elaborate on "a significant number of Haskell programs"? Do
you expect that DDC can compile any Haskell (98?) program except some
weird corner cases, or are you aware of a particular class of Haskell
programs it currently can't compile?

(I'm asking in order to find out whether DDC would potentially be
useful for my work, not so as to question whether it should be on
haskell.org (I don't care about that :-))

Cheers,
Tim

--
Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt
"It's easy to consider women more emotional than men when you don't
consider rage to be an emotion." -- Brenda Fine
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Ben Lippmeier]

Hi Tim,
DDC doesn't aim for Haskell 98 compliance - its really a superset of a  
subset of it - but I've followed Haskell syntax and philosophy where  
ever possible. The compiler is written in Haskell and I want DDC to  
support as much of it as possible to make its eventual boot-strapping  
easier. There's much more common ground between Disciple and Haskell  
than say, ML and O'Caml, or Haskell and Clean.

Most of the expression syntax is there eg: function binding, lambdas,  
let, where, pattern matching, case expressions, pattern guards, data  
type definitions, class and instance definitions etc etc.

For the alpha version at least, the main deviations are:
  - dictionary passing is not finished.
  - you'll need to put region annots on recursive data type defs as  
the elaboration isn't quite finished.
  - it uses strict evaluation as default
  - field projections are different
  - no monadic desugaring in do notation.
  - no irrefutable patterns yet.

The rest is all Haskell 98 (minus all the effect typing extensions, of  
course!).

For the alpha2 release I'm hoping that most straight-up Haskell 98  
programs will compile with it after some cosmetic modifications:  
mostly adding the suspension operator where appropriate, and using the  
new field projection syntax.

Ben.

> Can you elaborate on "a significant number of Haskell programs"? Do
> you expect that DDC can compile any Haskell (98?) program except some
> weird corner cases, or are you aware of a particular class of Haskell
> programs it currently can't compile?
>
> (I'm asking in order to find out whether DDC would potentially be
> useful for my work, not so as to question whether it should be on
> haskell.org (I don't care about that :-))
>
> Cheers,
> Tim
>
> --
> Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in  
> doubt
> "It's easy to consider women more emotional than men when you don't
> consider rage to be an emotion." -- Brenda Fine

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe