2008/10/4 Jason Dagit <[EMAIL PROTECTED]>:
> 3) Write a python generating EDSL in Haskell
> strong arguements against it. The main problem with #3, is that if I share
> code with other devs they have to learn Haskell and my EDSL since they won't
> be able to just hack the generated python, simila
On Fri, Oct 3, 2008 at 6:39 PM, <[EMAIL PROTECTED]> wrote:
> G'day all.
>
> Quoting Don Stewart <[EMAIL PROTECTED]>:
>
> How about EDSLs for producing high assurance controllers, and other
>> robust devices they might need. I imagine the LHC has a good need for
>> verified software components...
G'day all.
Quoting Don Stewart <[EMAIL PROTECTED]>:
How about EDSLs for producing high assurance controllers, and other
robust devices they might need. I imagine the LHC has a good need for
verified software components...
On a related topic, I'm curious if anyone apart from me has been secret
