RustやSwiftなど変数名の後に型を書くのは数学と同じなので、僕はとても気に入っています。(前にある場合と比べてパーサを書くのがちょっと手間みたいですが)数学では、$A$: 環$I$: $A$のイデアルのようによく書きます。