2017-12-01から1ヶ月間の記事一覧
@autotaker1984 さんの以下の記事について考えました。永続リアルタイムキューのHaskell実装と計算量解析 - autotaker's bloghead / tail するときに、reverse さえ完了していれば問題ない、だから snoc で停止計算を進行させる必要はない、というのはなんと…
@autotaker1984 さんの以下の記事について考えました。永続リアルタイムキューのHaskell実装と計算量解析 - autotaker's bloghead / tail するときに、reverse さえ完了していれば問題ない、だから snoc で停止計算を進行させる必要はない、というのはなんと…