我看完了楼主的帖子，忽略一些冷嘲热讽的回复，客观地来评论下。

楼主没说为什么和家里闹翻，但看 80 后、「屌丝」、不善言辞、没有实际项目也大致能猜出大概率就是工作和婚姻问题和家里吵架。婚姻问题不好评价（我还是个学生）。但是工作技能问题可以说一下。

楼主会的确实有点浅，我坐标某 985+211 计算机本科，我身边拿到大公司 offer 的人大多在本科二年级就会摆弄这些东西了，这些人在介绍自己的时候绝不会说自己平常用什么工具，而是会说自己做过什么级别的项目和论文。

我听过一句话，大意是厉害的人不会通过工具来证明自己，所以个人建议楼主下一步应该去参加一点实际项目，攒攒经验，有了能写在简历上的东西以后，就能一步一步向上爬了。

看到楼主和 1L 的回复，还以为自己图没加载出来，特地开开发者工具去翻 DOM 树看看是不是有图片……

楼主问字体不发图？

我记得满了会变成红色，好像在提醒你不要摸鱼了，快去工作吧。

Early 2015 没掉过涂层，用了三年了，感觉还能再战一年。

你挑 70/80 的线的时间都够你赚差价买一条 149 的线了。

#81 楼的逻辑链条真有趣，居然能推理出「大部分人对当前婚姻没有信心」……

我看了一下所有的奖，大部分都还给的可以，但是楼主用粗体标注出来的三个确实有失偏颇。

@momocraft
只能问楼主想用 box 做什么了。
其实我觉得结合 TS 的 conditional type 和 infer 关键字应该能写出大部分类型来。

@wly19960911 其实就是在不 instantiate 一个 generic type 的情况下把这个 generic type 的名字用在 generic parameter 里。

我刚刚试了一下其实 TypeScript 可以推断，只要把 box 这个函数的类型标注出来就好了。

@momocraft 我试了一下，其实是可以推断的，但是 TypeScript 的推断比较取巧。

见图： https://imgur.com/a/51faYNU

@azh7138m 可以是可以，毕竟 JavaScript 是动态类型语言，什么都能做。但是 TypeScript 的 type reducer 只能推断 rank 1 type，为了这个需求需要重写一个 rank-N type reducer，我觉得 TypeScript 官方不会给这个任务高优先级的……

@momocraft 这样写的坏处就是你丧失了 TypeScript 编译器提供的类型推断……

原生 TypeScript 你构造不出来的，用 Haskell 写的话是

forall a. a -> (forall b. b -> a)

这才是你想要的东西。

没想到这里也能见到战狼 PTSD 患者……

@chengluyu 看错了，是「描写现实」的作品。

没人提《北京折叠》？