shiro #4950(2007/12/24 08:19 GMT) Rating1/1=1.00
これはおもしろい。適切なinstance定義が与えてあれば、型推論によって1などのリテラルさえも後つけのModulo型と解釈させることができちゃうわけですね。duck typingみたいだなあ。
1 reply [ reply ]
shiro
#4950()
Rating1/1=1.00
これはおもしろい。適切なinstance定義が与えてあれば、型推論によって1などのリテラルさえも後つけのModulo型と解釈させることができちゃうわけですね。duck typingみたいだなあ。