Follow
RustやSwiftなど変数名の後に型を書くのは数学と同じなので、僕はとても気に入っています。(前にある場合と比べてパーサを書くのがちょっと手間みたいですが)
数学では、
$A$: 環
$I$: $A$のイデアル
のようによく書きます。
RustやSwiftなど変数名の後に型を書くのは数学と同じなので、僕はとても気に入っています。(前にある場合と比べてパーサを書くのがちょっと手間みたいですが)
数学では、
$A$: 環
$I$: $A$のイデアル
のようによく書きます。
ああ〜なるほど確かに代入も合わせると違和感になるのがわかりました。
https://mathtod.online/@mathmathniconico/109044846722260829
僕は勝手に結合度合いをコンパイラに合わせて
$A$: 環
$B$: 環 $= A$
とあったら
$A$: 環
($B$: 環) $= A$
こんな感じで結合させて読んでしまっていました。(勝手にコンパイラフレンドリに読んでいた)