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