LLVM Talk

Building programming media for novices.

Language Composition

• the bootstrap project
  • algebra
  • physics
  • data science

language levels - flags - rethink modularity - subroutines - objects - classes - procedures - libraries/modules - languages

When you make an operation cheap, it changes how users perceive it.

joeerl: - ‘thread pools are a failure of a language’ - X-oriented programming -> x is cheap to make and user

make it cheap to create langauges

language oriented programming.

• enrich what import does.
• provides
  • language extensions
  • restrictions
  • closure over libs
  • and other first-order information.

flags are not composable.

inventing languages is natural, but programming langauges.. ad hoc, brittle implementations and unsafe composition.

seymor pappert - low floor and high ceilings.

#lang margrave - SAT SOlving, security policies

#lang scribble/base

new syntax - rhombus.

matthew flatt - macros are lightweight apis for compilers

“A programmable programmable language”

Runtime systems

state, threads, locks

morris hurley threads book

TSR.

continuations [ primitive] - graceful terminations - longful computes

four contributions (“continuations from generalized stack inspection”) paper.

js -> js compiler –> stoppify compiler - stopify.org

Accessibility

• scene graph
• semantic prioritization
  • frequency

Error Messages

epistemical closure

Cohen’s kappa - take out the agreement by chance.

“parley”