·
Sound type is everything. true = λx.λy.x false = λy.λx.y if = λc.λx.λy.y ~> x ~> c

可以考虑这两个方案

  1. 使用tmux,screen等保存工作流
  2. 使用top等命令进行保活