NOTE: use Perl; is on undef hiatus. You can read content, but you can't post it. More info will be forthcoming forthcomingly.
All the Perl that's Practical to Extract and Report
Stories, comments, journals, and other submissions on use Perl; are Copyright 1998-2006, their respective owners.
Code as contracts (Score:2)
You would probably be interested in the converse: code as contracts -
Production systems based on this work (or at least this line of thought) are in use on Wall Street, except using OCaml instead of Haskell.
Re: (Score:1)
I know someone who has code in use on Wall St using that line of thought that is written in SQL-CLR! (You didn't know that SQL Server has a functional language embedded in it? You're not alone!)
The More Fun Question Is (Score:1)
Are contracts a DSL?
Re: (Score:1)
They aren't, but they do use domain-specific language.