LLVM Talk

Building programming media for novices

Created: Jan 26, 2024 by Pradeep Gowda Updated: Jan 27, 2024 Tagged: llvm-talk

Building programming media for novices.

Language Composition

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”

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

epistemical closure

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

“parley”