造个新语言 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
noli
V2EX    自言自语

造个新语言

  •  
  •   noli 2018-05-10 01:48:56 +08:00 414 次点击
    这是一个创建于 2800 天前的主题,其中的信息可能已经有所发展或是发生改变。
    Features:

    C++: RAII, move semantics, partial specialization

    Rust: enum type, trait, lifetime, borrow checker

    C#: Expression Tree (compiler support), linq, async/await,

    Haskell: currying

    Not OO; JIT and AOT; mandatory garbage collection (mainly deal with recycle reference).
    2 条回复    2018-05-27 16:54:19 +08:00
    noli
        1
    noli  
    OP
       2018-05-13 18:42:20 +08:00
    Rust 语言 在支持 fcontext 式的 coroutine 上遇到了问题,因为目前在 rust 的 stdlib 中使用了 TLS( thread local storage) 来存储一些用于支持 catch_unwind 的变量。

    Rust 这种在 stdlib 级别使用 TLS 的实践方式,为实现支持 M:N 模式的 coroutine 的开发者带来了极大的阻碍。
    M:N 线程和协程模型意味着 一个协程可能会被不同的线程调度运行。
    但当 协程中产生崩溃的时候,如果产生崩溃前在线程 A 运行, 产生崩溃时在线程 B 运行,那么 rust 的 catch_unwind 就会出错(因为跨越了 线程 导致 catch_unwind 所使用的 TLS 数据无效 )。

    C++ 使用 fcontext 没有这样的问题,因为 C++ 的 catch 和 throw 不使用 TLS 而是依赖于 编译器生成的 调用栈帧记录。

    不得不说,RUST 虽然社区很开放很有活力,不过确实有几个技术决策相当缺乏远见或者暴露了技术视野狭隘的问题。这种问题不是靠人多就能避免或解决的,使用的人越多兼容性负担越大。

    如果 rust 不打算破坏其 stdlib 的兼容性,rust 将来要无缝完美支持 coroutine 或者 async/await 的话,就只剩下编译器生成 状态机的一条路可走了。Zero Cost Abstraction 听着很美好,但 rust team 的人做不到呢,真可惜。
    iugo
        2
    iugo  
       2018-05-27 16:54:19 +08:00
    说语言, 我还在用 Javascript ...
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     5837 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 28ms UTC 02:17 PVG 10:17 LAX 18:17 JFK 21:17
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86