Re: [Haskell-cafe] Haskell as embedded DSL

Perhaps Functional Morphology , "a toolkit for morphology development" would be of interest. -- Grzegorz On 7/5/06, Joel Reymont <[EMAIL PROTECTED]> wrote: Folks, Do you have examples of using Haskell as a DSL in an environment NOT targeted at people who k

Re: [Haskell-cafe] Haskell as embedded DSL

Joel Reymont skrev: On Jul 5, 2006, at 3:07 PM, Niklas Broberg wrote: Lava: http://www.cs.chalmers.se/~koen/Lava/ Excellent example, thank you Niklas! Are you using QuickCheck for verification? I assume you're asking if Lava (rather than Niklas) uses QuickCheck. In Lava, you write prope

Re: [Haskell-cafe] Haskell as embedded DSL

On Jul 5, 2006, at 3:07 PM, Niklas Broberg wrote: Lava: http://www.cs.chalmers.se/~koen/Lava/ Excellent example, thank you Niklas! Are you using QuickCheck for verification? Thanks, Joel -- http://wagerlabs.com/ ___ Haskell-Cafe mail

Re: [Haskell-cafe] Haskell as embedded DSL

On 7/5/06, Joel Reymont <[EMAIL PROTECTED]> wrote: Do you have examples of using Haskell as a DSL in an environment NOT targeted at people who know it already? Lava: http://www.cs.chalmers.se/~koen/Lava/ "Lava is a hardware description language based upon the functional programming language Ha

[Haskell-cafe] Haskell as embedded DSL

Folks, Do you have examples of using Haskell as a DSL in an environment NOT targeted at people who know it already? I'm thinking of using Haskell to build my Mac trading app but I'm very concerned about dumping Haskell on the trading systems developers. It seems that using, say, Ruby as t