As a notational convention, we will use teletype font when expressing a type in ... (D replaces Region from Wadler's original presentation of MONAD [29]).
確定! 回上一頁