型システムの実装