-
masterq_mogumog
- 1440
- 0
- 0
- 0
-
- いいね！0
I moved to Mastodon.
@masterq_mogumog
うん。なんとなくわかった。一番ややこしいのはヒントを導入することだなぁ。型エラーがもっとわかりやすいといいんだけど、わかりやすい表現が思いつかない。。。
2015-10-30 19:39:07
I moved to Mastodon.
@masterq_mogumog
という訳で、証明コードと静的な関数とでじゃんけんライブラリを作ってみた。あなたはどちらのAPIが好みですか？ / github.com/jats-ug/practi…
2015-10-30 20:36:10
I moved to Mastodon.
@masterq_mogumog
僕ですか、、、うーん、、、慣れもあるからかもしれませんけれど、このライブラリに関しては証明コードの方が読みやすいような。。。というのも暗黙の内に関数に導入されている静的な制約を考えるのが命題を取り回すのより想定しにくいと思われるからでした。
2015-10-30 20:37:29
I moved to Mastodon.
@masterq_mogumog
単純に関数呼び出しだけを見てかぎりでは、静的な関数の方が読みやすいですね。一方で、型エラーが起きた際に悩むことも多そう。。。
2015-10-30 20:39:41