Re: [Haskell-cafe] Which is the most "hackable" compiler?

GHC compiler plugins may also be what you're looking for. Also, does ghc not compile core files anymore? It used to; you can always use an older ghc version. Tom

El 13 ago 2016, a las 20:20, Ben Lippmeier escribió:

...

On 13 Aug 2016, at 5:58 AM, MarLinn via Haskell-Cafe wrote:

So maybe you can help me here: Have you experienced any of the alternative compilers as especially easy for a newcomer to pick up and play around with? If it helps, I would be satisfied with plain Haskell2010 or even Haskell 98, although some GADT and/or TypeFamilies code to butcher would be nice, too. The ideas are mostly about larger scale structures like whole functions.

You might want to check out DDC [1]. It’s still in a pre-alpha state, but what it does have is a working external core language. You could write your own front end that produces System-F, then have DDC compile that. The individual compiler passes are also fairly well separated, so it’s easy to change.

...

One representative example idea is "Could it help the implementation - and does it even make sense - to view a module as just a weirdly written zero parameter type class?" As I said: crazy ideas.

This is perfectly reasonable. I think Agda does something similar.

Ben.

[1] http://disciple.ouroborus.net/

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.