Type system plug-ins [Was: Re: Coverity tool]

[retard]

Thu, 11 Feb 2010 16:20:55 -0500, bearophile wrote:

> dennis luehring:
>> but how should the plugin-system work?
> 
> I am ignorant still about type systems. But see something about
> pluggable type systems: http://lambda-the-ultimate.org/node/1311

In some educational Compiler Done Right (tm) projects the various parts 
of the compiler might be loosely coupled clean modules, but experience 
shows that in real life when you take e.g. efficiency into consideration, 
compilers tend to get nasty. Both parser and type system are two of the 
subsystems that almost everything else on a compiler depends on.
> 
> 
>>what do the LLVM-guys think about plugin like that<
> 
> Chris Lattner, the boss of the LLVM project, has told me that he is not
> interested in a plug-in system for LLVM similar to the new GCC one,
> because LLVM has adopted kind of the opposite design strategy: it's made
> of loosely connected components that you can recombine and reuse to do
> what you want.
> 
> Bye,
> bearophile