Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
有一个视频,其中 minikanren 用于从数据到程序。也就是说,给定数据,它会生成生成数据的程序。
那么是否可以生成eval这样的通用函数呢?必须将哪些数据传递给它?