Meme of LinOnetwo

本质上都是描述需求，只不过有明确的操作语义，才能正确描述所有细节。

而基因编辑语言这可能不是这样，因为蛋白在不同的环境下有不同行为，还没有明确的操作语义。可能更类似于 verilog 之类的电路语言。