こちらの記事が非常に参考になりました。ありがとうございます。 GHCの型レベル自然数を理解する - Qiita こんな感じ。 {-# LANGUAGE DataKinds #-} {-# LANGUAGE KindSignatures #-} module Nary where import GHC.Natural (Natural) import GHC.TypeNats (…

色々と調べたのでメモ 配列はArrayを使うのではなくVectorを使ったほうがいいらしい(そしてできるならUnboxed) ↓ しかしVector.Unboxedは多次元配列が表現できないのでナップサック問題とかの多次元配列DPが厳しい ↓ Repaって何？←イマココ StringではなくBy…