[Haskell-cafe] DSL in Haskell

Justin Bailey jgbailey at gmail.com
Mon Nov 16 12:29:45 EST 2009


You can find teh BASIC module on hackage:

  http://hackage.haskell.org/package/BASIC

Download .tar.gz file and you can see the source.

On Mon, Nov 16, 2009 at 3:16 AM, CK Kashyap <ck_kashyap at yahoo.com> wrote:
> Thanks Don,
>
> I read the PDF. I was not able to figure out how to get the BASIC module.
> Wanted to see a reference implementation.
>
> The DSL I want to start with is a music generation DSL ... It should
> generate a wave file
> with music data as input -> for example the input could contain
> C3 D3 E3 ... -> should output a wave file with those notes ... some kind of
> mnemonics for tempo will also be there.
> Later I'd like to incorporate parallel sequence generation -> where I could
> get chord effect etc ...
> I had done a rudimentary implementation in C a while back ->
> http://kashyap-1978.tripod.com/Escapades/Goodies/Construct_WAV.html
>
> I'd appreciate it very much if you could give me some pointers on getting
> started.
>
> Regards,
> Kashyap
> ________________________________
> From: Don Stewart <dons at galois.com>
> To: CK Kashyap <ck_kashyap at yahoo.com>
> Cc: haskell-cafe at haskell.org
> Sent: Mon, November 16, 2009 12:57:54 AM
> Subject: Re: [Haskell-cafe] DSL in Haskell
>
> ck_kashyap:
>> Hi All,
>> I was reading a Ruby book and in that it was mentioned that its capability
>> to
>> dynamically query and modify classes makes it suitable for implementing
>> DSL's
>> ... I am referring to Ruby's reflection and methods like "method_missing"
>> here.
>> It can allow things like not having to define constants for all possible
>> unicode code points etc...For example, first use of U0123 could bring such
>> a
>> constant definition into existence etc
>>
>> I see multiple search hits when I look for Haskell and DSL - can someone
>> please
>> point me to a good primer or explain to me how equivalent of above
>> mentioned
>> features in Ruby can be done in Haskell ... or the Haskell alternative for
>> it.
>
> The Haskell equivalent would be overloading, primarily via type classes.
>
> See Lennart Augusston's BASIC for an example of this in the extreme:
>
>
> http://augustss.blogspot.com/2009/02/more-basic-not-that-anybody-should-care.html
>
> That's BASIC syntax, in Haskell, relying on overloading numbers, strings
> etc. And all statically typed.
>
> For a survey of some of the more recent EDSLs in Haskell, see this brief
> overview,
>
>     http://www.galois.com/~dons/papers/stewart-2009-edsls.pdf
>
> -- Don
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>


More information about the Haskell-Cafe mailing list