特别讨厌三目的人，第一次看到各种库的 typescript 的类型声明是什么感觉

三目套三目写复杂逻辑的一律认为有大病
（除非是 verilog ，doge ）

@WuSiYu 三目是 typescript 类型语言的核心语法

只要加了括号，编辑器能主动高亮匹配的括号，我没什么意见。

if a return a
else return b 你不觉得麻烦?

还有，不是一些框架 只能接受 表达式吗 ，vue 里面

typescript 的程序员写代码都有临深为高的感觉

@liuidetmks return a || b

最近参考人家的写了个类型生命，长见识了…

const {name} = this.options || {};

天天写 ts ，天天用三母，爽的一批，开始学 go 了，发现没三目，很难受

is_a ? b : is_c ? d : is _e ? f : g
完美

Java 里面，三目运算符不是用来赋值的，或者赋值加三目表达式加起来超过一行或换行，是要被打死的。

三目运算符当逻辑操作，还有逻辑运算符里面参杂赋值操作（ a is not null && a=2 这种），在脚本语言，还有追求最少操作（并忽略可读性）的算法里面，用得还是很多的。但我不相信 typescript 会把这当核心用法。

TypeScript 本来就不是一门独立的语言，TypeScript 的三目就是 Javascript 的三目

var a = b switch { 1="A",2="B",_="" };
完美

只是 ts 类型声明也只能用三目了吧，上面的朋友没理解这是啥玩意，贴个膈应人的

```typescript

type IsEqual<A, B> = (<T>() => T extends A ? 1 : 2) extends <T1>() => T1 extends B ? 1 : 2 ? true : false

```

楼主说的是这种
race<T>(values: readonly T[]): Promise<T extends PromiseLike<infer U> ? U : T>;

那你对于那种 xxx ? 1 : 0 这种你也要拆 3 行写吗？

那你去给 Typescript 贡献个 constexpr 吧。
类型声明这样的 DSL 不用函数式类型体操还想怎样

代码风格限定协作群体就好了，没必要要求全网所有人按照统一风格来写，否则不如换其他本身格式要求高的语言。

每个团队的人员习惯和水平不一样，需要团队内部对代码风格达成一致，然后以制度和 Lint 规则的形式来约束，确保大家高效协作就好。

type Foo<T> = T extends Foo ? T extends Bar ? Omit<T, "options"> : Partial<T> : T

ts 的类型声明说不定是编译出来的，给 language-server 看的。。。

ts 是越智能越复杂

可以看 stitches 的类型。。

没办法啊 类型操作里只能用表达式 表达式里用来表示 if else 的就是三目运算 别说 if else 了 连逻辑运算都没有 就只能一层一层套

@superfatboy 用泛型 自己写个三目 方法

这不是三目运算, 这是 Conditional Types

没三目，代码会丑好多。

哈哈哈, 有时候写 ts 冒号问号最后写的我自己都晕了

js 本来就乱，ts 还要兼容 js ，又要开发一套新的语法，乱上加乱。java 的类型更清晰一点。

要这样说 pythonic 其实也有很多奇怪（抄近路）的写法，第一眼还看不懂。
同理 c++

众所周知，TypeScript 拥有一个图灵完备的类型系统[手动狗头]
https://github.com/type-challenges/type-challenges/blob/main/questions/08804-hard-two-sum/README.md