The compiler codebase is awfully complicated, only Don can make big changes in it. 2. Don thinks that the language is in a good shape and things like HKT or macros or <put anything here> should not be incorporated.
The compiler codebase is awfully complicated, only Don can make big changes in it.
This sounds very unfortunate... Is this a reason why development of the refactoring tools seems to have stalled? (Lack of open compiler a la Roslyn) The one thing that holds me back of using F# for serious work is lack of tooling (ReSharper)
Personally, I don't miss HKT. Maybe because I've never seriously used a language with them.
Macros, on the other hand, would open a door for adding features to the language. It's even more important considering how hard it to do it currently, right in the compiler codebase. But Don does not hear us :(
i'd be happy with just some simple marcos for CTFE metaprogramming type generation that gets checked properly, it doesn't even need to be flexible enough to define all kinds of new syntax constructs and whatnot
Yes, but it's not enough. Although Nemerle has extraordinary metaprogramming abilities, the codebase is awful, so they saw no way to maintain and extend it further. Hence rewrite. It's sad to say, but I think the current F# compiler has no future.