Avatar
あ、これ描画ツールじゃなくてモデル検査ツールなので用途が限られています!!
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