Re: [Haskell-cafe] Model-driven development (was: Haskell participting in big science like CERN Hadrian...)

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, similar

Re: [Haskell-cafe] Model-driven development (was: Haskell participting in big science like CERN Hadrian...)

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... On a

[Haskell-cafe] Model-driven development (was: Haskell participting in big science like CERN Hadrian...)

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