2016-04-04から1日間の記事一覧
Data.List.sortがあまりに遅くてつらいので、vectorを使って書いてチューニングしたら約4倍速くなりましたという話をします。その過程でvectorのmonadic indexingとは何かという話をします。仕様としてData.Listと互換性を持たせるため、次のようなインター…
Data.List.sortがあまりに遅くてつらいので、vectorを使って書いてチューニングしたら約4倍速くなりましたという話をします。その過程でvectorのmonadic indexingとは何かという話をします。仕様としてData.Listと互換性を持たせるため、次のようなインター…