[Haskell-cafe] Re: US Homeland Security program language security risks

apfelmus apfelmus at quantentunnel.de
Sun Jan 6 10:04:51 EST 2008

Achim Schneider wrote:
> That's an interesting task: Design a non-touring complete,
> restricted language in which every expression is decidable, without
> making the language unusable for usual programming problems.

Have a look about dependently typed languages like Epigram:



More information about the Haskell-Cafe mailing list