ソフトウェアエンジニアをしています。型付けは静的型付けが好きです。null安全で再代入不可だとなお良いです。