類型論をどう思いますか？

類型論をどう思いますか？貴方の意見を教えて下さい。