BitC, a programming language, faced challenges with its compilation model, insufficiency of the type system, and issues with type classes and operator overloading. The author stopped work on BitC due to various factors such as lack of funding and belief that type classes 'work' in their current form.
Table of contents
Prefacing Comments on Objects, Inheritance, and PurityCompilation ModelCompiler-Abstracted Representations vs. OptimizationTwo SolutionsConclusion Concerning Compilation ModelInsufficiency of the Type SystemConclusion Concerning the Type SystemInheritance and EncapsulationInstance Coherence and Operator OverloadingConclusion about Type Classes and Overloading:Wrapping UpSort: