Hello,<br>With your version it compiles. Thanks.<br>Corentin<br><br><div class="gmail_quote">On Thu, Nov 4, 2010 at 7:03 PM, Sebastiaan Visser <span dir="ltr"><<a href="mailto:s@fvisser.nl">s@fvisser.nl</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;">Dupont,<br>
<br>
The `AwesomePrelude' (we apologize for this name) is a very experimental project that is not a workable library or executable at all. You can better consider it to be a `bunch of code' with some interesting ideas and some interesting potential.<br>
<br>
At least my branch[1] runs on my machine and I'm still able to produce javascript code.<br>
<br>
But don't expect it to solve any of your problems. ;-) We (at least I) still have some ideas for this project and hope we can someday revive it.<br>
<br>
Cheers,<br>
Sebastiaan<br>
<br>
[1] <a href="https://github.com/sebastiaanvisser/AwesomePrelude" target="_blank">https://github.com/sebastiaanvisser/AwesomePrelude</a><br>
<div><div></div><div class="h5"><br>
On Nov 4, 2010, at 6:51 PM, Dupont Corentin wrote:<br>
> Nobody had the compilation messages I had?<br>
><br>
> ---------- Forwarded message ----------<br>
> From: Dupont Corentin <<a href="mailto:corentin.dupont@gmail.com">corentin.dupont@gmail.com</a>><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_<br>
> CompilerziLiftDefinitions_inline_closure'<br>
> ghc: unable to load package `AwesomePrelude-0.1.0'<br>
><br>
><br>
><br>
> On Thu, Oct 28, 2010 at 2:02 PM, steffen <<a href="mailto:steffen.siering@googlemail.com">steffen.siering@googlemail.com</a>> wrote:<br>
> 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>
><br>
> On 28 Okt., 12:09, Dupont Corentin <<a href="mailto:corentin.dup...@gmail.com">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>
> > _______________________________________________<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">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>
><br>
><br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">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>
<br>
</div></div></blockquote></div><br>