John Skaller

Shelby, how do you "control which implementations get imported into the call site"? You cannot do that in Haskell. You cannot do that in Felix. And you cannot do it...

Re T=A, I'm sorry, I didn't proof read, and the idiot markup crud removed stuff. It should have read ``` class X .. with T = A ``` meaning the...

Ok, so in Felix, (1) each file is separately parsed, then the parse trees are concatenated based on include directives. Then we have (2) desugaring of terms to more basic...

Ok, so here is my take on inference. Don't! Type inference is a ver bad idea. It looks cool but it isn't. Inference makes it hard to understand code because...

C++ does not do any type inference. What it does is type deduction. Deduction is synthetic, that is, it is entirely a bottom up calculation. Inference means that inherited attributes...

BTW: if you think the only errors you can get in a compiler are parse errors or type errors .. you have no idea. Such a compiler would be useless....