Intentional Programming demo (Part 2) - Compiler

Why it was recommended

Here are a couple of demo vids from well over 10 years ago

Referencecorysama · Original2016-11

What it covers

Part 2 of an old Microsoft Research demo of Intentional Programming, showing the compiler side of a system that stores programs as abstract structure rather than text. The. It is for someone who wants the derivation, proof, or implementation detail.

Video details

Channel

dftube

Length

10 min 1 sec

Year

2006

More in this topic

• Rich Harris - Rethinking reactivity
• Lexical Scanning in Go - Rob Pike
• William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
• CppCon 2016: Jason Turner “Rich Code for Tiny Computers: A Simple Commodore 64 Game in C++17”
• Clasp: Common Lisp using LLVM and C++ for Molecular Metaprogramming
• Compiling C to printable x86, to make an executable research paper