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