Leko
says to
YSITD
它確實在某種程度上能幫助開發 減少簡單的類型錯誤