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 <dun...@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@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
