Thread
Stories related to "Library providing compile-time checking of SQL and simple data-mapping for Hasql" across the full archive.
slides http://llvm.org/devmtg/2014-04/PDFs/Talks/drejhammar.pdf from the [2014 european llvm conference](https://lobste.rs/s/igbm8q/2014_european_llvm_conference_videos_and_slides_now_available)
Part two -- jonesforth.f -- can be found here: http://git.annexia.org/?p=jonesforth.git;a=blob;f=jonesforth.f
First in an ongoing series. [Part 2](https://medium.com/@MartinCracauer/a-gentle-introduction-to-compile-time-computing-part-2-cb0a46f6cfe8) is also available.
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (2000)
(web.stanford.edu)
Abstract: "Systems software such as OS kernels, embedded systems, and libraries must obey many rules for both correctness and performance... This paper attacks this problem by... meta-level compilation to write simple, system-specific compiler extensions that automatically check their code for rule ...
I think I've summarized what they're saying correctly, but I could be mistaken. I don't think this is out yet, just what they're planning.