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

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

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