Typelevel quicksort in Scalaで、 型レベル自然数リストのコンパイル時クイックソートなるものが紹介されているので、 おもしろそうだなと思って実装してみました。 こちらの記事ではshapelessのHList実装を参考に作られているのですが、 今回は、色々な型の値をいくつでも入れられる型安全な“HList”を実装する - Qiitaで紹介されている HListの実装をベースに作成したものを使用しました。 細かい動作の説明を入れたり、REPLの実行例を入れたりしてたら、だいぶ長くなりそうなので分割2クールにしました。 コードはこちら( ⁰⊖⁰) GitHub - matsu-chara/HListQuickSort: コンパイル時クイックソート 目次 この記事 前準備 型レベル自然数 型レベル自然数の比較 次の記事 HList HListの分割 QuickSort 前