- 855 名前：デフォルトの名無しさん mailto:sage [2023/07/29(土) 22:51:50.32 ID:381IW7f/.net]
- もし同じならHaskellと同じく例えば
mysum [] = 0
mysum (a:as) = a + ( mysum as )
なら Haskell ならmysumの型は
( Num a ) => [ a ] -> a
と推論されます
RustでもML型システムである限り少なくとも内部的には同じような型が割り当てられてるはずだと思うんですけど
もちろんこれら推論された型を全部総合して実装時には特定の単相型が割り当てられます
この辺のメカニズムはHaskellもRustも同じじゃないんでしょうか？
