通用量子生物学:生命科学的类型安全 | MLOG | MLOG