lambda1@tg says to YSITD
你可以去查hindley milner type inference
at Mon, Mar 9, 2020 1:13 AM