two mechanisms for dynamic type checks — wingolog
wingolog.org
wingolog: article: two mechanisms for dynamic type checks