Tags type system , type theory , misc , F# , advent , qiita , diary , dev , programming language , poem