5 ms·
This is awesome! I know lots of people would love the type safety of a Haskell or OCaml combined with the metaprogramming and AST manipulation capabilities of a
by kornish 9y ago
This is awesome! I know lots of people would love the type safety of a Haskell or OCaml combined with the metaprogramming and AST manipulation capabilities of a Lisp - and that seems to be the eventual goal of this project.
- cstrahan 9y agoThat's my thinking, too! If Haskell's Template Haskell + cross compilation woes can be avoided (ideally cross compilation should be as easy as in Go's tool chain), while retaining all the other goodies, I'll have a new favorite programming language!
- nickpsecurity 9y agosklogic's tool does that for SML with a lot more DSL's, too. https://github.com/combinatorylogic/mbase/blob/master/readme.md https://github.com/combinatorylogic/mbase/blob/master/readme...
- mushiake 9y agoThere is a proposal for new Ocaml macro inspired by racket.[0] [0]http://www.lpw25.net/ocaml2015-abs1.pdf http://www.lpw25.net/ocaml2015-abs1.pdf
- kornish 9y agoVery exciting - thanks for sharing. Now we just need proper multicore and that's a versatile modern language.
- xelxebar 9y agoExactly! I've been drooling over this kind of language in my dreams for quite a while now. Though I'd also like to see fully dependent types in there as well. Really excited about this project!
- rixed 9y agoWhile a simple lisp-like macro system would indeed be convenient when requiring a tool to transform source code, it must be mentioned that metaprogramming as in generating large amount of code based on unpredictable input is better served by tools like metaocaml or, I've heard, template Haskell, which have no equivalent that I'm aware of in lisp world.