4 ms·

Out of curiosity, what language, if any, has those properties?

• sklogic 11y ago
  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 https://github.com/akeep/nanopass-framework http://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf http://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf [2] http://scheme2011.ucombinator.org/papers/Alvis2011.pdf http://scheme2011.ucombinator.org/papers/Alvis2011.pdf [3] https://github.com/combinatorylogic/mbase https://github.com/combinatorylogic/mbase
  • charlieflowers 11y ago
    @sklogic, I have been looking for something like MBase. Is there something like a beginner's tutorial anywhere?
    • sklogic 11y ago
      There is a bit outdated tutorial in https://github.com/combinatorylogic/mbase/tree/master/misc/demos 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.