静的型付言語原理主義者っぽいことを言ってください。