原则：面向接口编程
有个隐含约定即，任何一个「实现」都不应该默认理解「另外一个实现」

即使不看这个例子，我举一个抽象的：
有个 dispatch 表，满足某些条件会先进行预处理
预处理完了之后你想把数据 re-dispatch ，此时你会
* 重新调用 dispatch 的接口？
* 还是直接调用「你已经知道的那种情况的」具体流程？

--------

template <typename T, typename=std::enable_if_t<「对 T 的判断」>>
是一个经典的 SFINAE 惯用法： https://cpppatterns.com/patterns/class-template-sfinae.html
当 enable_if 的判断条件不成立，enable_if::type 就不存在，因此外面的模板 typename=enable_if<>::type 这里就不能推导出正确的类型，这个模板偏特化就会被跳过

还有一种 SFINAE 的方式是利用函数重载
https://cpppatterns.com/#/search/SFINAE

不过在今天已经基本可以用 constexpr if 取代，属于时代遗珍了

「领导，我觉得我们研发规范有问题，很多时候我按照研发给的测试用例全都仔细测过了，还是有 bug ，然后他们改的又不及时老是推脱说新需求紧急」


「领导，我觉得我们研发规范有问题，很多时候需求都已经那么紧急了，测试还在那傻等我们研发给样例，这不是浪费我们时间？然后好不容易挤时间给他们写了几个他们随便测测就放了，出了 bug 又算我不负责，这道理讲得通？」

不是锅的问题

是态度的问题

你理解吗

比拼环节×
攀比环节√

「我妈妈给我买了新橡皮」

不知道怎么推荐，姑且放三本选集吧

《 2002 中国年度最佳科幻小说》
《 2003 中国年度最佳科幻小说》
《 2004 中国年度最佳科幻小说》

……没开玩笑，你先看看目录

因为这个文档真的会有 6 年级小学生来看




我也会这么写。

@Pogbag
@Tink

害搁着犹豫买不买 xbox 呐？ 聪明人 xbox game pass 已经续费到 90 年后了

买不买主机根本不重要，微软爸爸会想办法让所有人都玩到

个人感觉有几样会比较适合：

成人饰品，比如项链，那种得等她 20 几岁戴上才会显得搭配的款式。不太推荐化妆品的原因是这些东西有保质期而且与个人条件有很大关系你不好选。
书，尤其是女性作家写的探讨自身价值观类的书（不过恕我浅薄无法推荐……），我这说的绝不是励志类成功学也不是女拳启蒙更不是当代言情小说，是指比如张爱玲、三毛 这样作家的作品
在有跟随保护的前提下一场「稍有危险性」的旅行（远行、极限运动、「地下场所」，但得匹配你们的家庭教育条件和观念）


尽量不要买「实用性物品」，一来这些东西的符号性和仪式感都太弱，二来容易沦为攀比工具。如果真的「精神素养」不够，那就好好挑挑饰品就行

这个选文件的对话框是「打开文件」对话框？

如果是跟浏览器上传文件时弹的那个「打开文件」一样的东西，那么它在 c#中的用处就仅仅是获取一个文件路径字符串，反编译后改掉逻辑也很简单的。

不过我感觉更科学的方式是直接换掉这个库

我觉得 lz 可能该深刻思考一下
为什么自己会被帖子里很多人习以为常的事情「震碎三观」


另外，那些「不妨碍你写代码」的「学识」
有的是用来避免「别人出口成章，而我只会卧槽」的
有的是用来分辨「这世上存在超自然能量，我的神奇机器包治百病」的
有的是用来驳斥「公司哪里亏待过你了」的


有的是用来
帮助自己思考为什么自己会被很多人习以为常的事情「震碎三观」
的

我又反复看了几遍那篇《蝉语独白》
然后又看了半天英文那版文档……
本来还想直接从单测里找 examples 的但源码里居然没有测试


> We can use check! <exp>: <type>, to make assertion about an expression's type.
看起来「 make assertion 」的含义跟既往理解没什么区别，就是判断一个命题是否正确
但下面的正文里写的意思好像说
「我能为<exp>:<type>下定义」（「我能定义一个<exp>:<type>为真」）
一样。
列举的所有 !check <exp>:<type>我都没看到结论，即断言为真还是假，搞得我一头雾水

--------

然后在「 built-in types 」这章里塞了 Equal ，本来还以为有什么可等性的定义方法，或者可等类型是什么特殊类型
然而似乎也不是
是说 Equal 这个三元组是一个抽象类型？
但是又有一句
> If the two elements are actually not the same, we can still use Equal to create a Type, but we can not construct elements of this type
…………我就搞不懂了如果「 Equal(X,Y,Z)三元组」这个类型是抽象的，那么去哪，谁来判定 Y 和 Z 是不是相等的？能不能 construct 它的实例到底是怎么判定的？

--------

> If Nat is the most basic datatype, List is the next basic datatype.
我猜原意是「如果说自然数算是最基础的类型，那么 List 可以说是第二基础的」
这个 if 就很没逻辑……
然后 List( 这个括号里的参数是一个类型对吧，换言之
List(T)是一个泛型，T 作为构造类型的一部分？
那这样理解的话 Equal()也是一个泛型，List 的参数列表是类型，Equal 里却可以有表达式……为什么？规范是啥……

然后这一节还似乎想讲讲 list 上的归纳法
我 ctrl+f 了一下没看到 return induction ( 这个 induction 函数是哪讲的就放弃了





我的耐心仅够支撑我研究到这，抱歉……
p.s.
话说启发点是 coq ？文档全文也没看出来如何 prove something ，甚至如何定义公理都没讲明白，更别说推导机制……