做饭

宅家做饭时，程序员常会在网上搜寻菜谱，却总被千奇百怪的写法困扰 —— 步骤中莫名冒出新食材，毫无 “形式语言” 的严谨性，对习惯清晰逻辑的程序员极不友好。