Мой любимый язык программирования — $\color{gold}{\mathcal{Ada}}$!
Isomorphic types are equal!
代码是定理的证明！