combinatorylogic/mbase on Hacker News

Babel towers of macro edsls, aka learn lisp. https://github.com/combinatorylogic/mbase

comment by dhdjksosja · 2024-03-07 · in The Law of Leaky Abstractions (2002)

sklogic's tool does that for SML with a lot more DSL's, too. https://github.com/combinatorylogic/mbase/blob/master/readme...

comment by nickpsecurity · 2017-05-28 · in Realizing Hackett, a metaprogrammable Haskell

…expressing complex systems. The company whose name is on it uses it for design of static analyzers. https://github.com/combinatorylogic/mbase Might send it to rsc given it he probably missed it or might have some insight after glancing at…

comment by nickpsecurity · 2017-05-12 · in An Extension-Oriented Compiler (2008) [pdf]

…And some examples: https://github.com/cisco/ChezScheme https://github.com/eholk/harlan [2] https://github.com/combinatorylogic/mbase

comment by sklogic · 2016-04-29 · in Rebol vs. Lisp Macros

> an implementation in either a dynamically typed language ML in Lisp and Prolog: https://github.com/combinatorylogic/mbase/tree/master/src/l/...

comment by sklogic · 2016-04-27 · in Show HN: Hindley-Milner Type Inference Algorithm in OCaml

…extra errors in yours. I've only run into two tools outside of Racket doing this sort of thing: https://github.com/combinatorylogic/mbase http://julialang.org/ Mbase is used in commercial tools for static analysis, etc. It's a LISP and…

comment by nickpsecurity · 2016-03-27 · in CakeML: A verified implementation of ML

Not in Racket, but still a Lisp: https://github.com/combinatorylogic/mbase/tree/master/src/l/...

comment by sklogic · 2016-03-05 · in Beautiful Racket

…than a formal specification of a type system in a paper, using the type equations (as in [3]). [1] https://github.com/combinatorylogic/mbase [2] http://minikanren.org/ [3] http://stackoverflow.com/questions/12532552/what-part-of-mil...

comment by sklogic · 2016-03-01 · in The Lisp Curse (2011)

…in the past, including SHard (still around) and DDD. Example from sklogic that embeds ML in LISP https://github.com/combinatorylogic/mbase

comment by nickpsecurity · 2016-01-22 · in Why do we need a new OS?

…Will try to dig out something. Meanwhile, you can take a look a my implementation of such a mix: https://github.com/combinatorylogic/mbase/tree/master/src/l/... An example of a grammar built on top of it:…

comment by sklogic · 2015-12-15 · in How I wrote a self-hosting C compiler in 40 days

…family. See a couple of examples of this: [1] http://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf [2] https://github.com/combinatorylogic/mbase

comment by sklogic · 2015-09-12 · in Implementing a JIT Compiled Language with Haskell and LLVM

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…

comment by sklogic · 2015-08-18 · in State of the Haskell ecosystem

…[2] http://scheme2011.ucombinator.org/papers/Alvis2011.pdf [3] https://github.com/combinatorylogic/mbase

comment by sklogic · 2015-08-17 · in State of the Haskell ecosystem

…approach I'm preaching. I've built entire layers of languages above Lisp using this kind of eDSLs: https://github.com/combinatorylogic/mbase So, yes, as long as you have a sufficiently powerful meta -language, eDSL is almost always better…

comment by sklogic · 2015-07-30 · in Buzz: An Extensible Programming Language for Self-Organizing Robot Swarms

…DSL using a specialised meta-language: http://bit.ly/1U2PGlV The meta-language is available here: https://github.com/combinatorylogic/mbase

comment by sklogic · 2015-07-27 · in DSL processing in Scala

…no memoisation and no backtracking) in Nemerle. There is also a Packrat+Pratt parser used in https://github.com/combinatorylogic/mbase

comment by sklogic · 2014-12-23 · in Yacc is Not Dead (2010)

…to build any kind of syntax on top of Lisp, with arbitrary complex DSLs. See an example here: https://github.com/combinatorylogic/mbase

comment by sklogic · 2014-11-28 · in Future of Programming Languages

https://github.com/combinatorylogic/mbase/blob/master/src/l/...

comment by sklogic · 2014-10-25 · in Parsing: The Solved Problem That Isn't (2011)

…are opposed to AST transforms? They work together well, see an example implementation here: https://github.com/combinatorylogic/mbase

comment by sklogic · 2014-10-24 · in Building an extensible syntax

See https://github.com/combinatorylogic/mbase Problem with two namespaces is, well, need to maintain two namespaces, in all your DSLs. Which in many cases may double the effort. Of course, macros must have their own namespace, but that's…

comment by sklogic · 2014-10-23 · in Pixie: A small fast, native lisp

…to extend the syntax of your core language, which is very easy for the languages based on PEG. See https://github.com/combinatorylogic/mbase and https://github.com/combinatorylogic/clike for example of this approach.

comment by sklogic · 2014-10-01 · in Benefits of Writing a DSL in Ruby

…(after all, performance does not matter for the bootstrap phase). See an example of such a use in https://github.com/combinatorylogic/mbase/blob/master/src/l/...

comment by sklogic · 2014-09-11 · in The Y Combinator (no, not that one) – A Crash Course on Lambda Calculus

P.S. PFront implementation is available here: https://github.com/combinatorylogic/mbase

comment by sklogic · 2014-09-10 · in Clike: An extensible C-like language compiler in under 3000 lines of code

You can also mix PEG (Packrat) with Pratt in an interesting way. Nemerle does this, as well as https://github.com/combinatorylogic/mbase And you can do a lot of nice stuff with PEGs, like generating error recovery and sane error messages…

comment by sklogic · 2014-09-10 · in Parsing: a timeline

▲ 4

MBase compiler development framework is released

story by sklogic · 2014-09-09 · 0 comments