State of the Haskell ecosystem

Re:State of the Haskell ecosystem by sklogic on Monday August 17, 2015 @10:26AM (#10073159)

Any language that allows compile-time metaprogramming (and not as restricted as TH) should allow to implement all the components I want. One example of such a system is the Nanopass framework [1], used alongside with cKanren [2].

Another example is my own system [3].

[1] https://github.com/akeep/nanopass-framework http://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf

[2] http://scheme2011.ucombinator.org/papers/Alvis2011.pdf

[3] https://github.com/combinatorylogic/mbase

[ Parent | on HN ]

Re:State of the Haskell ecosystem by charlieflowers on Monday August 17, 2015 @07:07PM (#10076694)

@sklogic, I have been looking for something like MBase. Is there something like a beginner's tutorial anywhere?

[ Parent | on HN ]

Re:State of the Haskell ecosystem by sklogic on Tuesday August 18, 2015 @02:35AM (#10077839)

There is a bit outdated tutorial in https://github.com/combinatorylogic/mbase/tree/master/misc/d...

Also, CLike project was supposed to be a sort of a tutorial.

For a more thoroughly documented, production-ready language workbench you can also try Racket alongside with Nanopass framework.

[ Parent | on HN ]