(() -> Int)&(() -> String) この型は () -> Int なんだから、一回呼び出せばIntが返るけど、 それと同時に () -> String なんだから、一回呼び出せば Stringが返るはずで、 それは () -> (Int & String) って事じゃないのかな () -> (Int & String) なら 1回呼び出せばIntが返るとも言えるし 同時に1回呼び出せば Stringが返るとも言える(() -> Int)&(() -> String) この型は () -> Int なんだから、一回呼び出せばIntが返るけど、 それと同時に () -> String なんだから、一回呼び出せば Stringが返るはずで、 それは () -> (Int & String) って事じゃないのかな () -> (Int & String) なら 1回呼び出せばIntが返るとも言えるし 同時に1回呼び出せば Stringが返るとも言える