pypyでは、言語仕様の定義とその具体的かつ低水準な実装を分離できるようにしている。