Avatar
omochimetaru 5/10/2017 2:06 AM
(() -> Int)&(() -> String) この型は () -> Int なんだから、一回呼び出せばIntが返るけど、 それと同時に () -> String なんだから、一回呼び出せば Stringが返るはずで、 それは () -> (Int & String) って事じゃないのかな () -> (Int & String) なら 1回呼び出せばIntが返るとも言えるし 同時に1回呼び出せば Stringが返るとも言える
2:07 AM
1つの値の性質の事だと思っているから、どちらかを呼び出すとか2回呼び出すとかいう話が出てくるほうが変な感じがする