Well VHDL ensures termination through syntax and validation checks. I don't think both exist in one language, although their might be a Haskell DSL that does both.
Keean. On 7 Jul 2015 6:26 pm, "Raoul Duke" <[email protected]> wrote: > > Have you used VHDL? Depending on the compiler, VHDL sequential processes > can > > be compiled to hardware. Also type systems can enforce termination > (strong > > normalisation), as in simply typed lambda calculus. > > > do all such features exist in one language yet? > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev >
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
