Checkout liquid types [1]. It's a way to get type inference with nearly dependent types. Cool stuff. Dynamically typed languages, on the other ...
確定! 回上一頁