首页   注册   登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
推荐学习书目
Learn Python the Hard Way
Python 学习手册
Python Cookbook
Python 基础教程
Python Sites
PyPI - Python Package Index
http://www.simple-is-better.com/
http://diveintopython.org/toc/index.html
Pocoo
值得关注的项目
PyPy
Celery
Jinja2
Read the Docs
gevent
pyenv
virtualenv
Stackless Python
Beautiful Soup
结巴中文分词
Green Unicorn
Sentry
Shovel
Pyflakes
pytest
Python 编程
pep8 Checker
Styles
PEP 8
Google Python Style Guide
Code Style from The Hitchhiker's Guide
宝塔
V2EX  ›  Python

解放 Python 的表达力

  •  2
     
  •   thautwarm · 35 天前 · 2657 次点击
    这是一个创建于 35 天前的主题,其中的信息可能已经有所发展或是发生改变。

    这个是给 python 用来做语法和语义扩展的, https://github.com/thautwarm/moshmosh

    搞出了目前最快的 python pattern matching: https://github.com/thautwarm/moshmosh/blob/master/tests/match.py

    实现也蛮卫生,不会像 pampy 这种骗人项目一样又慢又脏… 学习成本也小(不需要背 api),然后我也是跟了 python idea 里想换 thread,考虑了前人的 concern 和十几年的 story 做的,基础是 12 年的 extensible pattern matching 和我自己的创新,应该这几年内不会有更好的了(纯 python 实现和设计的话)。

    还有一些其他有用的扩展,比如让你再不用写 lambda 关键字的 quick lambda 扩展和 pipeline 扩展:

    https://github.com/thautwarm/moshmosh/blob/master/tests/quick_lambdas.py

    这个 quick lambda 和 scala 的有区别,能写出功能更强更简炼的表述,不过可能引入一点额外复杂度。。我个人是觉得很好读,如果有想法也可以 issue 或者自己花几十行写一个新的 quick lambda 扩展。

    然后 pipeline 扩展占用了|运算符,如果你想用原来的|,可以用#-pipeline关掉扩展,扩展的范围约束是以行数的区间为粒度的。扩展可以反复开启和关闭。

    然后是一个 quasiquote 的扩展 template-python,其实模式匹配也是基于它实现的:https://github.com/thautwarm/moshmosh/blob/master/tests/template_python.py

    可能不如 macropy 好用,但表达力是完善的。

    然后局部重载二元运算符的扩展:https://github.com/thautwarm/moshmosh/blob/master/tests/scoped_operators.py

    不知道有没有用,主要是简单,我在 ppt 里是拿来讲怎么实现一个扩展的。

    然后如果你想自己写一个扩展,可以看看 pipeline 扩展,只有 30 行而且很多空行和 import,也没有复杂语句。

    https://github.com/thautwarm/moshmosh/blob/master/moshmosh/extensions/pipelines.py

    这个扩展框架只在 main 模块里没法直接用,可以参考下面 benchmark 怎么做的 workaround https://github.com/thautwarm/moshmosh/blob/master/benchmark.py

    最后,欢迎大家来听和这个项目相关的 pyconchina talk, 杭州找李欣宜, 成都找 thautwarm.

    cn.pycon.org/index.html

    24 回复  |  直到 2019-10-14 23:58:52 +08:00
        1
    thautwarm   35 天前
    自定义 pattern 用的__match__ protocol 和几年前 python idea 某 thread 上提出的原版本不一样,主要是为了优化性能又 keep 表达力。__match__方法第一个参数是解构应该得到的变量数目,第二个是解构对象; 返回 None 表示匹配失败,返回一个 tuple 表示匹配成功(注意这个 tuple 的长度必须是第一个参数值那么多)
        2
    thautwarm   35 天前
    多行 lambda 其实完全可以做,但是为了能用现有的 python formatter 我还是不建议做语法扩展。
    语义扩展就 ok 了。。
        3
    thautwarm   35 天前
    我那个 benchmark 里是只比 pampy 快 16 倍到 20 倍,主要没兴趣多写了。。。

    https://github.com/thautwarm/moshmosh/blob/master/benchmark.py
        4
    laike9m   35 天前
    红姐 tql
    之前不知道李欣宜,搜了一下才知道是做 PLT 的妹子,感觉好难得

    最近又有人在讨论 lambda: https://discuss.python.org/t/are-better-lambdas-really-impossible/2446
        5
    locoz   34 天前 via Android
    红姐🐮🍺
        6
    thautwarm   34 天前 via Android
    @laike9m 他们没谈 quick lambda...
        7
    thautwarm   34 天前 via Android
    @laike9m 说起来我觉得 quick lambda 真的好,既不需要更新现有语法(可以用之前的格式化工具),然后也比这个 post 里提的都简洁。。
        8
    memedahui   34 天前
    没有爆照,差评
        9
    BacGa   34 天前   ♥ 1
    我倒是要看看有多少人是因为头像进来的
        10
    deep777blue   34 天前
    我倒是要看看有多少人是因为头像进来的
        11
    laike9m   34 天前
    @thautwarm 什么是 "quick lambda" 😳
        12
    KDr2   34 天前
    我建议直接上 hylang :D
        13
    thautwarm   34 天前 via Android
    @laike9m 我有一个绝妙的图: http://imgur.com/gallery/Axy81c6
        14
    thautwarm   34 天前 via Android
    @KDr2 hy 除了太菜还行
        15
    exhades   34 天前 via Android
    红姐 tql
        16
    laike9m   34 天前
    靠 _ 来区分语义总觉得可读性不太好啊😹
        17
    thautwarm   34 天前 via Android
    @laike9m
    https://stackoverflow.com/questions/7673545/usage-of-in-scala-lambda-functions

    这个是 martin odersky 为了 scala 的可读性和简洁性设计的。。自那以后的 jvm 语言都或多或少有这功能。。
    quick lambda 这个名字是 lihaoyi 为 macropy 里的类似功能取的名字:https://macropy3.readthedocs.io/en/latest/quick_lambda.html#quicklambda
        18
    thautwarm   34 天前 via Android
    @laike9m 也可以自定义关键字啊,
    # +quick-lambda(it)
    然后就可以类似 kotlin 了:
    map(it * 2, seq) -> map(lambda it: it*2, seq)
        19
    laike9m   34 天前
    @thautwarm 主要问题是,如果 py 里原来不存在 _ 的使用,那倒问题不大。然而 _ 已经有很多用处了,就会比较 confusing
        20
    janxin   34 天前   ♥ 1
    本来还有犹豫杭州去不去,看来要去了
        21
    thautwarm   34 天前 via Android
    @laike9m 所以 moshmosh 是个 pragma oriented 的语法扩展。。。
        22
    thautwarm   34 天前 via Android
    @janxin 😝
        23
    pythonee   34 天前
    看了楼主的 V 站和 github,这是我在 v 站捕获的另一位大神呀
        24
    thautwarm   34 天前   ♥ 1
    支持了 IPython console, 我觉得这个项目已经无敌了, 远远超过已有的东西(
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   776 人在线   最高记录 5043   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.3 · 22ms · UTC 22:03 · PVG 06:03 · LAX 14:03 · JFK 17:03
    ♥ Do have faith in what you're doing.