[Haskell-cafe] Contracts

[Colin Adams]

I thought the OP was talking about software contracts (as in Eiffel /
Design By Contract ).

Liquid Haskell is interesting in this respect. Though I doubt if it
qualifies as mature.


On 7 August 2013 16:15, Duncan Coutts <duncan at well-typed.com> wrote:

> On Mon, 2013-08-05 at 23:13 -0400, Julian Arni wrote:
> > I've come across interesting papers - and old, sometimes inaccessible,
> > repositories - related contracts in Haskell (Dana Xu and SPJ's papers;
> > haskellcontracts and the Programatica Project). And then some newer,
> > apparently not quite mature projects (Dan Rosen's repositories, for
> > instance). Is there anything in between - mature, but not abandoned?
>
> We did an implementation of the contracts idea for one of our customers
> which is available (under AGPL or commercial license) on github:
>
> https://github.com/netrium/Netrium
>
> --
> Duncan Coutts, Haskell Consultant
> Well-Typed LLP, http://www.well-typed.com/
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130807/f0ded6ed/attachment.htm>