理解 lambda calculus 本身有难度。
用 python 写 lambda calculus 的难度相比之下不算什么。

人家不傻，即使不舒服自己肯定也知道。
或许是有留下来继续受累的理由的，我瞎猜的比如，有更多成就感？更充实？
你找到那一点，就能理解她，站在她的角度考虑。
那时候再劝就不是劝了，是帮她所需。

到外企工作

点开始为啥没反应

我们老了是看 v2 学带娃吧

既然已经有 offer，说明是有机会去的。不如先去体验一下，哪怕发觉不适合自己再退场。退场总比进场容易吧？
到时候未必是你想象的工作强度，未必你不会乐在其中，未必不会有新的遇见，未必不会有新的收获。
可以想一想吧，如果今天不多尝试一下，若干年之后回头看，是否会略觉得遗憾呢？
能把握在手里的事情，能不遗憾当然最好。
仅供参考。祝你想明白～

做就好了

如果 [htdp]( https://htdp.org/) 引进中国，我特别想去教。用 DrRacket

我看了一下 ast 的文档，int float string 这些 literal 在解析树上都表示为 Constant 对象，也就是说，string 是单引号、双引号还是三个引号，这个信息在解析树上已经丢失了。所以你想做这件事，ast 的确做不到。不知道是否有边角的配置或者 hack 的办法可以。

但这个思路是正解，先 parse 出来，做改动，再 dump 成代码。我没注意到 ast 的这个细节，所以只是工具不适合，可以再搜索一下同类型的工具。这么多做 code format 的工具呢，它们应该实现过类似的机制才对。

这个思路是个比较通用的解法，再复杂一些的需求也可以用这个路子。如果要解决的问题是一次性的，变体又有限，可以尝试用 adhoc 的办法。比如用正则，甚至写一个自己代码都适用的规则。看问题的规模和复杂度而定吧。

> 貌似把原来的多行 doc 给用'\n'合并成了一行去了，还没找到解决办法

感觉这个想办法解决一下就行了，就当是 IDE 的一个小功能呗，挺常见的，应不难搞。

用 netcat （有的系统里命令是 nc ），一个很强大的工具。这里的应用场景是，只建立 tcp 连接，之后不发送任何数据。可以循环一下所有端口，依次建立连接试试，看些建连成功。

楼主 import 之后直接赋值 docstring 的方法，据我所知做不到改源文件的。
可以考虑用 ast module，parse 出来之后改，然后再生成代码。

这事儿不说我都不知道诶。感觉很亏。。然而我应该懒得换了

我的意思是，app 、小程序的功能性、实用性是很强的，它不适合直接传达某种思想。
传达思想这件事不是技术擅长解决的。
不如用写文章、故事，或者其它的表达方式例如绘画、电影、甚至游戏。
或者聚集一群人在一起，像 v2 这样，背后自然有一种思想、理念。但那不如说是”建一个论坛“、”建一个圈子“，而不是“做一个 app“。
换句话说，app （技术）只是载体，而不是内容本身。kindle 是载体，而里面的电子书是内容；论坛是载体，里面的人是内容；音乐视频播放器 /网站是载体，当中的作品是内容；数据库是载体，当中的论文是内容。
真正传达思想的是后者。

楼主你不如写本书。

你这个 app 都有哪些功能

感觉这件事不适合用做个 app 的方式实现

摸不了鱼..

不错啊，很方便。

感觉用起来还是有点不流畅。打开项目虽然快，但是打开目录和文件要稍等一下。command + p 列出的文件列表只是已经打开的文件，看起来跟桌面版里面提前建好索引的做法不一样。在浏览器里面一些快捷键似乎不一样了？

仅从用户角度说说，vscode 插件我不太懂，瞎说。