純粋関数型システム言語Cargryを開発しています
CargryにはActoaという型推論ライブラリが存在します。しかしこいつ、オーダーが以下のようになります
- 最良計算量：$O(N^2)$
- 最悪計算量：$O(N^2M)$
ポンコツです。これはどうにかしなければ...
というわけで、作ってそのままだったActoaを改修します。$O(N+M)$にする予定です
Register as a new user and use Qiita more conveniently
- You get articles that match your needs
- You can efficiently read back useful information
- You can use dark theme