Nobody had the compilation messages I had?<br><br><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername">Dupont Corentin</b> <span dir="ltr"><<a href="mailto:corentin.dupont@gmail.com">corentin.dupont@gmail.com</a>></span><br>
Date: Tue, Nov 2, 2010 at 2:30 PM<br>Subject: [Haskell-cafe] DSL libraries (Was: Map constructor in a DSL)<br>To: steffen <<a href="mailto:steffen.siering@googlemail.com">steffen.siering@googlemail.com</a>>, <a href="mailto:haskell-cafe@haskell.org">haskell-cafe@haskell.org</a><br>
<br><br>Hello Steffen,<br>can you compile AwesomePrelude?<br>I've got error messages (see below).<br><br>By the way, I've looked at some DSLs made in Haskell, if I don't mistake there are lots of similarities between them.<br>
There similarities could be put in a library to help the implementors of a DSL, more or less like AwesomePrelude.<br><br>Is there already packages on Hackage dealing with that?<br><br>Cheers,<br>Corentin<br><br>AwesomePrelude compilation error:<br>
I'm using GHC 6.12.1.<br><br>> cd tomlokhorst-AwesomePrelude-9819315<br>> cabal install<br>(...)<br>Warning: Lang.Haskell: Instances of type
and data families are not yet supported. Instances of the following
families will be filtered out: H<br><br><br>Then, when trying with a very simple GATD in GHCI, I've got:<br><br><interactive>: HSAwesomePrelude-0.1.0.o: unknown symbol `AwesomePreludezm0zi1zi0_<div>CompilerziLiftDefinitions_inline_closure'<br>
ghc: unable to load package `AwesomePrelude-0.1.0'</div><br><br><br><div class="gmail_quote">On Thu, Oct 28, 2010 at 2:02 PM, steffen <span dir="ltr"><<a href="mailto:steffen.siering@googlemail.com" target="_blank">steffen.siering@googlemail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">I think you would love to have a look at AwesomePrelude[1] or a fork<br>
of AwesomePrelude using associated types[2]<br>
Some more background information by Tom Lokhorst [3][4].<br>
<br>
[1] <a href="http://github.com/tomlokhorst/AwesomePrelude" target="_blank">http://github.com/tomlokhorst/AwesomePrelude</a><br>
[2] <a href="http://github.com/urso/AwesomePrelude" target="_blank">http://github.com/urso/AwesomePrelude</a><br>
[3] <a href="http://tom.lokhorst.eu/2009/09/deeply-embedded-dsls" target="_blank">http://tom.lokhorst.eu/2009/09/deeply-embedded-dsls</a><br>
[4] <a href="http://tom.lokhorst.eu/2010/02/awesomeprelude-presentation-video" target="_blank">http://tom.lokhorst.eu/2010/02/awesomeprelude-presentation-video</a><br>
<div><div></div><div><br>
On 28 Okt., 12:09, Dupont Corentin <<a href="mailto:corentin.dup...@gmail.com" target="_blank">corentin.dup...@gmail.com</a>> wrote:<br>
> Thank you for your rich responses.<br>
><br>
> Indeed I think I miss some thinks in my DSL, that would make things easier<br>
> to deal with lists and first class functions.<br>
> I don't really know what for now.<br>
> Perhaps a List Constructor? Or a constructor on functions like yours Ryan?<br>
> EAp :: Exp ref (a -> b) -> Exp ref a -> Exp ref b<br>
> It's from which DSL? It is accessible on the net?<br>
><br>
> Chris suggested me that I can only define the Foldr constructor and deduce<br>
> Map from it.<br>
> But maybe I have to add a List constructor for that.<br>
><br>
> But in the suggestions from Ryan and Brandon I don't understand why I should<br>
> add an extra type parameter and what it is!<br>
><br>
> Steffen: Wow nice. I'll integrate that ;)<br>
><br>
> I'm also looking at the Atom's DSL to get inspiration.<br>
> Something I don't understand in it is that it has two languages, on typed:<br>
><br>
> data E a where<br>
> VRef :: V a -> E a<br>
> Const :: a -> E a<br>
> Cast :: (NumE a, NumE b) => E a -> E b<br>
> Add :: NumE a => E a -> E a -> E a<br>
> etc.<br>
><br>
> And, along with it, an untyped counterpart:<br>
><br>
> -- | An untyped term.<br>
> data UE<br>
> = UVRef UV<br>
> | UConst Const<br>
> | UCast Type UE<br>
> | UAdd UE UE<br>
> etc.<br>
><br>
> What that for? What's the use of having beautiful GADT if you have to<br>
> maintain an untyped ADT aside??<br>
><br>
> Corentin<br>
><br>
</div></div><div><div></div><div>> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> Haskell-C...@haskell.orghttp://<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>
</div><br>