あ、これ描画ツールじゃなくてモデル検査ツールなので用途が限られています！！

2:17 PM

あくまで、CPS という言語（正確には違うけど）で書かれたシステムの状態遷移図を自動生成できます（もちろん自動検証もできます）

2:17 PM

Hashable までは良さげですね

2:17 PM

Comparable は、、、

2:18 PM

というか、Error という protocol いらなくないです？

2:18 PM

必然性が全くわからないです

2:19 PM

だって何も実装を要求しないし、かといって Java の marker interface というわけでもないし、、、

2:19 PM

Int を throw できてもよくないです？

2:19 PM

extension Int: Error {} で投げられてしまうわけですから、そもそも

2:19 PM

防御としては弱すぎます

2:20 PM

ああ、ありますぬえ

2:20 PM

Go とかにも最近入りました

2:20 PM

まあ Error はオフトピですが、、、

2:21 PM

あー、それは私毎度 enum の case の associated value に詰めていってますね

2:21 PM

888888