但是你说的问题也确实有工程方法。iota/jot下可以把组合子编码到任何二进制字符串都是一个程序，即计算函数。于是可以从最小的开始向上搜索，不能type的扔掉，能type的先找到的就是最短的，后面找到的能等价的就是等价类里的，类似在applicative structure里找质数。//@天宝十节度:工程上的代码简化我没兴趣（不管用不用AI方法），但如果有人聊从递归论角度研究“最简/最短程序”，那我可就不困了[捂嘴哭]