代数的実数を作る日記

mod_poppo @mod_poppo

class (Real a) => IsRational a instance IsRational Integer instance (Integral a) => IsRational (Ratio a) とすれば Float や Double を弾きつつ toRational を使えるかな（toRational に付随する rewrite rule のことを考えると、自前での実装はしたくない）

mod_poppo @mod_poppo

特定の型の場合に効率的な実装を与えたい場合の手段として型クラスと rewrite rule があるが、（最適化オプションや多相性によらず）確実に効率的な実装を使わせるには型クラスの方が良い。しかし、型クラスにあれもこれも押し込むと肥大化してしまう。

mod_poppo @mod_poppo

型クラスをうまいこと使って関数をジェネリックに書きたいが

mod_poppo @mod_poppo

何気なく tlmgr update --all したら pandoc で生成した LaTeX ファイルのコンパイルが通らなくなった

mod_poppo @mod_poppo

ltjsarticle を article に変えたらコンパイルが進むようになったが

mod_poppo @mod_poppo

pandoc filter で毎回 inkscape を呼び出すのは効率が悪すぎるし、一回処理したものをキャッシュするべきか

mod_poppo @mod_poppo

Pandoc Lua filter では pandoc.utils.sha1 でハッシュが計算できる

mod_poppo @mod_poppo

なんかMarkdown中の一部のLaTeX数式が数式として認識されなくてエラーになる、Pandocのバグか？と思ったが、よく見るとソースが間違っていた（後ろの \) のバックスラッシュが抜けていた）

mod_poppo @mod_poppo

Pandoc Lua filter から LuaFileSystem を使いたい

mod_poppo @mod_poppo

Pandoc Lua filter で使える pandoc.List モジュールはどこで定義されているんだろう、と思って探したら Haskell コードじゃなくて data/pandoc.List.lua という Lua ファイルだった

mod_poppo @mod_poppo

pandoc.List のモジュールには pandoc.List の値を新規に作る方法が書かれていないが、 pandoc.List:new という関数が使えるらしい pandoc.org/lua-filters.ht…

mod_poppo @mod_poppo

Pandoc Lua filter で使えるという Lua のバージョンが明記されていない（hslua が 5.3.4 だそうだからそれか） pandoc.org/lua-filters.ht…

mod_poppo @mod_poppo

しかし Lua で Unicode 文字列を扱うのは辛いな……（string モジュールのパターンがコードポイント単位じゃなくてバイト単位なのが辛い）

mod_poppo @mod_poppo

前に Haskell で書いた 《 》 をルビとして解釈するやつを Pandoc Lua filter として書き直している

mod_poppo @mod_poppo

いや面倒くさいな