文脈としては前回の続き。 opam switchとは、node.jsでいうところのasdf-vmやnodenvのような、OCamlコンパイラのバージョンを切り替えられる、opamの機能である。opam installでインストールしたパッケージたちも、各switchに保存されるため、開発環境を切り…

背景 EasyCryptの証明のためには、ProofGeneralが必須であり、それを動かすためにはEmacsを使わなければならない。一方で、私は昔からVimを使っているので、Emacsのキーバインドはほとんど知らない。そこで、以前からSpacemacsのevilモードを使っていた。 と…

問題 Fastifyで書かれたAPIサーバにて、以下のようなルートハンドラがあるとする。 getHelloHandler (request: FastifyRequest, reply: FastifyReply) { reply.header('Content-Type', 'application/json').code(200); reply.send({ hello: 'world' }); } 上…