V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
Leviathann
V2EX  ›  TypeScript

你在生产代码里写过的最复杂的类型是啥

  •  1
     
  •   Leviathann · 157 天前 · 1368 次点击
    这是一个创建于 157 天前的主题,其中的信息可能已经有所发展或是发生改变。
    作为一个可以玩类型体操的语言,除了可以获得类似 Java 、C#的防笔误、智能提示等优点,应该还可以做得更多
    4 条回复    2021-07-04 22:27:49 +08:00
    hxsf
        1
    hxsf  
       157 天前
    ts-sql 了解下?
    love
        2
    love  
       157 天前   ❤️ 1
    有时候写 ts 真的有一点奇技淫巧,比如以前看过的这个文章
    https://fettblog.eu/typescript-union-to-intersection/
    这技巧虽然很多时候能帮大忙,但一个没接触过的人真的有点目瞪口呆。。。
    masterclock
        3
    masterclock  
       157 天前
    scala 程序里,用来做 union type: 德摩根律
    type ¬[A] = A => Nothing
    type ¬¬[A] = ¬[¬[A]]
    type |∨|[T, U] = { type λ[X] = ¬¬[X] <:< (T ∨ U) }
    masterclock
        4
    masterclock  
       157 天前
    发快了
    ts 里就不需要这么干了,ts 类型系统很复杂,但用起来却不复杂
    ts 里写过的最复杂的大概是为了 mixin 写的类型
    关于   ·   帮助文档   ·   API   ·   FAQ   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   1235 人在线   最高记录 5497   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 26ms · UTC 18:54 · PVG 02:54 · LAX 10:54 · JFK 13:54
    ♥ Do have faith in what you're doing.