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

[apfelmus]

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:

   http://www.e-pig.org/


Regards,
apfelmus