January 2020
M T W T F S S
« Sep    
 12345
6789101112
13141516171819
20212223242526
2728293031  

Categories

Archives

Archives

Stack Storage and Garbage Collection

Recently, I ran across Mike Vanier’s page containing his opinions on Scalable Computer Programming Languages. I agree almost entirely with his list:

garbage collection no pointers or pointer arithmetic a foreign function interface to the C language static type checking with type inference support for exception handling run-time error checking for errors that can’t be […]

Express yourself: to the compiler and to your fellow developer.

The keynote speaker at CGO 2012 (Chris Lattner, LLVM) put some crazy thoughts into my head.

Want compiler to know about:

memory disjointness aliasing Usage of data structures (array of struct vs struct of arrays) whether arithmetic is done on a pointer (and the bounds) invariants (in loops and between methods)

A language needs to […]