vectorはnewtypeと相性が悪い、というのはよくない。vectorを作った。処理を丸投げしているラッパーに過ぎないのだが、ラッパーをかますことでnewtypeとの相性が良くなっているというのがポイントである。1月末時点ではドキュメントとかテストとかベンチマークがまだなのでHackageにはまだ上げていない。ちなみにきっかけとなった競プロの問題は解くのに3時間かかった。解いたので解法を記事にしたい気もするが、ググるとすでに解法を説明している記事は見つかるので、どうしたものか(書くかもしれないけど優先度はそんなに高くない)。cluttexhttps://github.com/minoki/cluttexLaTeX処理自動化ツールcluttexの作業を進めている。オプションを実装した。あとはマニュアルを書いて、新しいバージョンとしてCTANに上げたい。マニュアルの英語をチェックしてくれる人がいると良いのだが......。purescript-tsd-genhttps://github.com/minoki/purescript-tsd-genPureScriptのリリースがあったようなので、最新のコードに追従した。Algebraをちょっとずつ読んでいる。「代数的数を作る」には「GCD整域」や「多項式の因数分解ができる係数環」が登場したが、その辺の話をもうちょっと体系的に勉強しておきたい。この辺のあれこれをHaskellの型や型クラスとして実装した既存のパッケージとしてはhttp://hackage.haskell.org/package/algebrahttp://hackage.haskell.org/package/constructive-algebraなどがあるが、ドキュメントが少なかったり、計算可能実数みたいな(イコールが決定可能じゃない)対象に適用できるのか怪しかったりする。振り返り記事を書いてこうして書いてみると「Windows機のSSDが死んだ話」は独立した記事として書いてもよかった気がする。小粒なネタを、内容が少なくてもいいから個別の記事として出していくか、こういう振り返り記事でまとめて回収するか、悩みどころだ。コメントをキャンセルメールアドレスが公開されることはありません。*サイト自明なことに悩んで、人は強くなるんだ。2019年12月20日この記事では、Haskellの型クラスの互換性にまつわる問題と、それに対する緩和策を考える。2019年11月3日この記事は筆者の作業記録です。