3 ms·

It sounds like you want Frege, no? https://github.com/Frege/frege https://github.com/Frege/frege

• eduardoejp 11y ago
  I wanted a Lisp, not just a functional language. I also wanted to push things forward in some aspects, like having the module system, first-class types & having higher interaction with the compiler. Also, Haskell & macros don't seem to mix so well, and meta-programming is a big deal for me.
  • dllthomas 11y ago
    "Also, Haskell & macros don't seem to mix so well, and meta-programming is a big deal for me." With the ability to manipulate more of the components of your programs in regular code, macros become less important. But if you want to do compile-time metaprogramming in Haskell, Template Haskell is effective - typed or untyped.
• c3d 11y ago
  Never tell the creator of a language "It sounds like you want X". Creating a language is done a) for fun, b) just because, c) as a personal development plan, d) to explore, e) to become master of the universe. None of these is achieved by merely using language X, whatever the value of X is.