たしかに。推論させる場合は↓とかかなぁ。 let a: async = foo()

5:05 PM

() async -> Int の async が型であるように、 spawn let とかも型であるのが自然な気がする。

5:06 PM

まあ、 async Int は Promise<Int> みたいなものなんだけど。