Miscellaneous-B

I’ve just been reading some really interesting stuff by Gilad Bracha
(paper, presentation) on the concept of pluggable types/optional type systems.

He argues about the problems that type systems introduce to languages, then suggets that the solution is to toss the type system out with respect to the language semantics, and instead allow pluggable type systems as bolt-on verifiers/optimisers/etc.

Interestingly, this is pretty much what I’d intended for our model-transformation language Tefkat. My next piece of work was going to be on adding various type-analyses (pluggable type checkers) until my employer announced its shutdown.