lua 有带类型系统的版本
https://github.com/teal-language/tl

还见到过 typescript 到 lua 的转译器
https://github.com/TypeScriptToLua/TypeScriptToLua

@weakish 匹配和自动转换通常要语言有类型系统才行，类似 Java 和 C++的重载。Python 没类型系统，Type Hints 也是后面加的不能影响这种原先设计的语法，自动转换无法避开我上面提到的传参时的歧义。当然函数实现者还是可以通过 type(args[0])判断并做自动转换。

@moonkiller 抱歉没细看。其实还有你的“突然好奇”是从哪里来的，我想有可能是你受到了某些外部信息影响，那这个外部信息就是整个事情的起因，比如同事 /周围有人搜索 /查看，晋江打广告波及到你等，这些也可能让你所在 IP 段被标记

这是有语义上的差异的。函数可以接受不定长参数，你传一个元组，函数要如何区分你要把元组作为一个变长参数的第一个参数，还是要把元组拆成变参的参数?

我已经看到过很多说自己聊天内容出现在应用推荐里的情况了，不过到目前还没见到例如
"检测到 APP 在非必要场合使用录音的 API"
这样的有力证据。

实际上只要联网搜索 /查看过什么东西，账号浏览器指纹 IP 都有可能被追踪到一些信息。

@secondwtq 有无虚拟机通常不是语言决定的，是语言生态决定的。
我觉得这些应用生态的核心差异还是，应用发布时，只打包应用所需的东西，还是尝试复用终端设备的资源 /程序。前者可以实现小的单一应用体积，并解决依赖问题，但是多个应用之间就可能存在很多重复的资源(极端情况举例，现在的应用没事就整个 CEF/浏览器)。后者一开始就需要用户安装一个比较大的运行环境，后面还可以安装其他组件，可以充分复用资源，相应的也要面对 运行时大，依赖管理难的问题。 大部分 windows 应用和 android 应用和 go,c++(除 COM 技术外)的生态就接近前者，linux 包管理和 python ，java 生态就是接近后者，。我倒是倾向于后者的发布模式，但对于普通用户来说，前者确实更友好。

和 jupyter lab 比如何？我还是比较期待 jupyter lab 演化出的 IDE 的扩展，像 jupyterlab-lsp 之类的

JVM 链接查找类时的 ClassLoader 和 ContextClassloader 好像是无关的。如果想实现动态增删的 ClassLoader ，可以通过覆写 findClass 实现。也可以参考下面这个，这是我一个小项目里的一个支持动态增减 ClassLoader 的类加载器。
https://github.com/Pursuer2/xplatj/blob/master/commonj/src/main/java/xplatj/javaplat/pursuer/lang/IntegratedClassLoader.java

建议使用 kotlin ，语法糖可以脱糖，但 API 不会，有时候低版本 android 上调用了高版本 API 程序直接挂了，还会碰到像这样的坑 https://www.v2ex.com/t/717605#reply6 。如果要覆盖较广范围的 android 版本，我觉得还是不用原生最好，原生只写一些胶水。android 的 jvm 运行环境比较坑

只要能看懂，命名比较随意，不是很在意。因为修改命名是有成本和风险的，但收益却很低。我的习惯是尽可能前向兼容。

@waruqi 感谢，我在首页已经看到了，不过近期在用 py 糊胶水，没在折腾 c/c++。

Python 在 type hints 和 async 出现前实在提不起什么兴趣，但是后面加上这些关键特性后就舒服多了，生态也不错，就又学回来了。GIL 也能接受，jupyter 也是很好用。
不过不太希望 python 上 JIT，我认为上 JIT 会加大 CPython 的移植难度，性能又肯定比不上那些类型系统完善的语言如 Java，C#。

我之前在 PC 端微信搜索一个 ip 地址，搜不出来，明明写收藏里的。。不知道是什么 BUG

@AoEiuV020 给客户一个放快递柜的选项我觉得还是不错的，经常家里没人，所以我就更喜欢放快递柜，要还能便宜点不是血赚

就我了解的情况，python 编译时会查找部分系统库，openssl,libffi,gzip 等，甚至在链接的时候会链接到对应的版本上，因此发行这样的库，需要顺便提取这些依赖打包并配置 LD_LIBRARY_PATH

修改 sys.path 或者 sys.meta_path，让 import 优先加载你自己写的 py 文件

@waruqi
确实是我太理想化了，我期待的是将构建系统作为一个平台的一个部分，可以复用平台上其他的库，类似 maven 使用 jvm 插件，python 的 setup.py 。我也曾想过利用 tinycc 做个以 c 为脚本且可以引用其他 c/c++库的构建系统，不过也只就想想

类型系统这一点上，确实简单的项目不一定需要，有良好的 IDE 支持和文档可能就够了。我也是因为 maven 插件编写时一下子完全摸不着头脑的困惑产生的想法。

之前见到楼主推广了几次，但暂时还没有使用。说一些自己的想法

这个项目使用的是 luajit，我印象当中这个库的 lua 版本停止在 lua5.1 了，我个人看法，构建系统相对编译器来说，对速度的要求没有那么高，但限定死版本是否会与第三方库产生兼容性问题，不过这个仅是我的猜测，不清楚现在的兼容情况如何。

我认为即使是脚本语言，带一个可选的类型系统也是很实用的。lua 暂时可能没有增加类型系统的打算。简单构建的看下例子就能写，但当构建过程变的繁杂，甚至依赖其他的库的时候，类型系统可以帮助开发人员快速切入。

@LeeReamond
python 作为胶水语言，缺啥加啥也是正常的，可以试试个 pyuv
import pyuv
pyuv.util.interface_addresses()
就可以读 ip 了