最后附上idris 的safePrintf 函数实现(没有typescript的递归限制). module Printf %default total data Format = FInt Format | FString Format ...
確定! 回上一頁