Phantom Types provide extra information to the compiler, so that it can introduce extra constraints and check whether they hold at compile time.
確定! 回上一頁