Fish Wang says to YSITD
這叫類型推斷
at Tue, Jun 27, 2017 3:54 PM