two mechanisms for dynamic type checks (via tekknolagi) — discussion

#compsci #plt