さむすぎ
いくらPythonとはいえメタプログラミングできる言語で順序集合の比較演算を自動定義できないわけないだろと思って調べたところ、functools.total_orderingというのがあるらしい？ https://docs.python.org/ja/3.13/library/functools.html#functools.total_ordering
演算子オーバーロードと順序の概念を切り離すムーブメント自体が関数型以外ではRust以前にほとんどない気がする
total_orderingのパフォーマンス問題、単にleqをeqとltの2つの呼び出しに分解するからベタ書きより遅いみたいなだけの話だと思うんだけど他になんかあるのかな
@teobot 日本の信号機の矢印は必ずしもProtected Turnではなく、対向車線が止まってないことも理論上あり得るってほんと？
@teobot アメリカのProtected Turnは法律で定められている？
