Scalaで型レベル”だけ”でクイックソート | プログラミング | POSTD

2015/07/02 110 users クイックソート ご存じ POSTD Scala 計算

この投稿では、Scalaの型システムのみを使ったクイックソートアルゴリズムの実装方法をご紹介したいと思います。全ての自然数に対応する型を作り、計算や不等式をそれらの間に実装し、クイックソートさせるに至るまで、全てを型システムのみで行っていきます。Scalaの型システムが先進的であることは、皆さんもご存じのことかと思います。この投稿では、Scalaの型システムのみを使ったクイックソートアルゴリズムの... 続きを読む