"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.
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.
Comments
It sounds like you want Frege, no?
https://github.com/Frege/frege
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.
"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.
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.