@ixx #71 都是 java 的错，这就是 V 站的政治正确 🤣🤣🤣🤣

dependent type

点进来之前第一反应 monad 。点进来一看果然 monad 。看满离。