YSITD_Chat_Bot
says to
#ysitd
<koru1130>: 喔然後類型系統很強的 例如 Idris