Type Level Permission Checking
Few days ago I was working on some API handlers in our server written in Haskell with the framework Yesod. There was a mistake, so…
Mapping things
This is an article explaining the concept of functor to programmers who are interested in Haskell but not sure how to get started…
旅行しながら仕事する
一年前くらい、旅行しながら仕事してみたいと思って、旅に出ました。まだ浅はかかもしれないが、考えを共有できればと思います。 いろんなところにはいろんな文化がある、それはを体験したのは香港と東京とサンフランシスコで働いたあとでした。その違いについてブログを書きまし…
Why Purescript (instead of JS / Python)
I recently finished a project related to novelsphere.js with Purescript. I really like it. Safety I think safety comes from two le…
Ghost 1.0 on NixOS
I just upgraded this blog to Ghost 1.0 (Well, 1.4 actually, because they are releasing new versions crazily). Getting things to wo…