showgan@tg
says to
YSITD
我覺得py的類型系統不能算沒有