>>17Computer PL research
Haskell was made for the purpose of having a functional language.
Yep. Haskell's purpose is for PL researchers to play around with what they can do in Haskell. Ergo, Haskell's purpose is itself.
things you can do in Haskell
You can do many things in Javascript that you can't in most other languages. That makes it successful, yes, but the people who are doing that kind of thing are making dorodango.
Metaprogramming
Yes. ML is a fantastic family of languages to write compilers in. Metaprogramming is about programming programs; that does not necessitate targeting the host language.
You are an idiot and all your points are false.
Thank you for validating all that I live for. I'm sure your PhD thesis contains this very sentence.