Standard MLではモロに関手（functor）と呼んでいるのだが、やり過ぎだと思うので： トランスフォーマー： 現状、これを使っている。問題は、自然変換のトランスフォーメーションと似ていること。 リダクト： インスティチューションではリダクト関手（reduc…

本編の追記に書いたが、 http://d.hatena.ne.jp/m-hiyama/20180117/1516157225 網羅性のチェックにnever変数への代入というトリッキーな方法がある。この方法は、次のページにあった。 https://basarat.gitbooks.io/typescript/docs/types/discriminated-uni…