- 推薦図書/必読書のためのスレッド 77 [転載禁止]©2ch.net
900 ：デフォルトの名無しさん[sage]：2015/11/02(月) 19:25:52.06 ID:6V7frwcR - なんだよ、存在したらダメなのか？
|
- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
659 ：デフォルトの名無しさん[sage]：2015/11/02(月) 20:33:46.97 ID:6V7frwcR - import Data.Array
import Data.Map
f :: Array Int Int -> Int -> Int
f a i = a ! i
これ、(!) がどっちのモジュール由来かわからんってエラーが出るんだが、
なんで推論しないんだろうな。
もし (!) が、Array と Map がともにインスタンスになっている共通のクラスのメソッドなら、
ちゃんとどっちの型のものか推論してくれるのに。
|
- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
662 ：デフォルトの名無しさん[sage]：2015/11/02(月) 23:30:27.13 ID:6V7frwcR - >>660
名前が衝突してたって、a と i の型で (!) がどっちのものか特定できるじゃん。
なんで分からないなんて言うの、って話。
クラスメソッドなら同じく a と i の型から推測するわけだから、
同じように推測すればいいのに。
|