visio光学器件怎么画
I want to chime in on the sleeping Giant that are Lenses and Prisms in software development:
我想介绍一下沉睡中的巨人,他们是软件开发中的镜头和棱镜:
They are probably the most powerful unused tool in our arsenal!
它们可能是我们武器库中最强大的未使用工具!
作为学习工具 (As a Learning Tool)
Optics can be the perfect bridge from Algebraic Data Types to the Functor hierarchies and beyond. They can the prism (could not resist the pun) through which you can peek into useful and concrete applications of more abstract ideas; once you understand the connection between:
光学可以是从代数数据类型到Functor层次结构以及其他功能的完美桥梁。 它们可以作为棱镜(无法抗拒双关语),您可以通过它窥视更抽象的思想的有用和具体的应用。 一旦了解了以下内容之间的联系:
- tuples and functions 元组和功能
- products and powers 产品和权力
- conjunction and implication 连词和蕴涵
Optics is a very concrete and visceral connection between computation and logic. The way I think of Optics is a portable way to house the logical connection between two types.
光学是计算与逻辑之间非常具体且内在的联系。 我对光学的看法是一种可移植的方式来容纳两种类型之间的逻辑连接。
We can ask ourselves how do we encode a biconditional(A→B ∧ B→A)? E.g. If I have 1 meter then I can get you 3.28084 feet, and if I have 1 feet then I can get you 0.3048 meters. There is a logic interpretation that says, if we have x meters than we can get y feet and vice-versa.