#guided
Type-guided development and garden paths(frasertweedale.github.io)
2021-5-13 5:57“类型有助于您推理效果”，我们宣布。他们这样做！除非他们没有。 “只是遵循类型！”我们坚持。但有时这些类型带你沿着花园道路。
当校验器很开心但行为都错了时，很难找到你犯了错误的转弯。在这篇文章中，我将分享这种现象的真实例子，并提供一些关于如何避免它的提示。
应用类型类提供了将“纯”值升至应用数据类型的功能：
......
Laser-Guided Lightning May Help Prevent Wildfires – Breaking Asia(www.breakingasia.com)
2020-11-16 3:2
雷击被认为是引发大火的罪魁祸首，包括澳大利亚的几场重大丛林大火。
周四，一位研究人员告诉法新社，小型便携式激光指示器可以用来引导雷击，一项研究表明，这项技术可能会防止闪电引发野火。
研究合著者、堪培拉新南威尔士大学的安德烈·米罗什尼琴科教授告诉法新社，一个由国际科学家组成的团队已经证明，通过使用空心激光器--就像一根......
Illustrated Self-Guided Course On How To Use The Slide Rule(sliderulemuseum.com)
2020-8-2 21:19*在数学中，外推是在已知数据点的离散集之外构造新数据点的过程。它类似于在已知点之间构建新点的插值过程，但其结果通常意义较小，并且受更大不确定性的影响(参考文献：en.wickipedia.org)。示例：计算2.3×3.4(图1)光标位于D标尺上，略高于7.8或7.82。这就是答案。
尝试将光标移动到C刻度上的4.5......