|
1.
BitC Language Specification While the current language specification uses a Scheme-like concrete syntax, this choice is a matter of convenience only. It is entirely possible to build a ... 2.
Type Inference for Unboxed Types and First Class Mutability It supports first class polymorphism over all types (including unboxed types). It also supports ``first class'' mutability in the sense value of any type ... 3.
The BitC Programming Language BitC is a new systems programming language. It seeks to combine the flexibility, safety, and richness of Standard ML or Haskell with the low-level ... 4.
BitC Compiler: Clconv.cxx File Reference void cl_convert, (, UocInfo *, uoc, ). Definition at line 732 of file stale/Clconv.cxx. References child(), AST::children, and cl_convert_ast(). ... 5.
The BitC Programming Language BitC is a new systems programming language. It seeks to combine the flexibility, safety, and richness of Standard ML or Haskell with the low-level ... 6.
BitC Compiler: inter-pass.hxx File Reference Definition at line 80 of file inter-pass.hxx. Referenced by checkInfTypedValues(), polyinst(), and Specialize(). #define CHKERR, (, noerr,. exp, ). Value: ... 7.
BitC Compiler: SSA.cxx File Reference SSA.cxx File Reference. #include <stdint.h> #include <stdlib.h> #include <dirent.h> #include <fstream> ... Definition at line 169 of file SSA.cxx. ... 8.
BitC Compiler: BlockLexer Struct Reference void BlockLexer::ungetChar, (, ucs4_t, c, ) .... Definition at line 116 of file BlockLexer.hxx. Referenced by getChar(), lex(), and ungetChar(). ... 9.
BitC Compiler: sherpa::EnumSet< T > Class Template Reference What we do here is to define EnumSet over an underlying arithmetic type. If you instantiate it over an enum, it will only permit initializers over that enum ... 10.
Polymorphism by Polyinstantiation Full Polyinstantiation: Functions are customized per-type. (many compilers have used this too various degrees, ex: C++ templates, MLton?) ... |
