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

数学では、

$A$: 環
$I$: $A$のイデアル

のようによく書きます。

Follow

ああ〜なるほど確かに代入も合わせると違和感になるのがわかりました。
mathtod.online/@mathmathniconi

僕は勝手に結合度合いをコンパイラに合わせて

$A$: 環
$B$: 環 $= A$

とあったら

$A$: 環
($B$: 環) $= A$

こんな感じで結合させて読んでしまっていました。(勝手にコンパイラフレンドリに読んでいた)

· · Web · 0 · 1 · 1
Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.