August 2020
M T W T F S S
« Jan    
 12
3456789
10111213141516
17181920212223
24252627282930
31  

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 […]