Lightweight Higher-kinded Polymorphism
#型システム #TypeScript #fp-ts高階型の無い型システムにおいて高階型をエンコードする方法｡defunctionalizationを応用して､HKTの高階型を関数､型適用を関数適用にそのまま当てはめる｡[** fp-tsにおける高階型][fp-ts]では`HKT`というinterfaceが用意されている｡作者が`Option`を題材に使い方を説明している｡
Higher Kinded Types
型を受け取って型を返す型 (
* → * )｡高階型､Higher Rank Typesとも｡HKTと略される｡例えばHKTの無いOCamlでは､
'a list は型ではなく型コンストラクタという扱いになっているが､HKTのあるHaskell( List A または [] )では * → * という A 型を受け取って [] を返す型である｡式を取って式を返すという関数が式であるとさまざまな実りがある(c.f. ラムダ計算)ように､型を受け取って型を返すという仕組みも型に含まれているとさまざまな嬉しさがある｡
例えばFunctorはHKTをガンガン使う｡
class Functor f where fmap :: (a -> b) -> f a -> f b上のコードの
f はまさに * → * という型を要請している｡その反面､非常に強力な機能であるため､実装が難しかったり推論がキツくなったりするなどの欠点がある｡
