|
||||||
|
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 […] 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 […] |
||||||
|
Copyright © 2023 eric the fruitbat - All Rights Reserved |
||||||
