2011-05-02から1日間の記事一覧

型システムの勉強なんかどうでもいいから、それにカバーされ無いところに気をつけて欲しい

コードがあった: match (modeA opts, modeB opts, modeC opts ..., modeG opts) with | (true, _, _, _, _, _, _) -> Opt.setMode A | (_, true, _, _, _, _, _) -> Opt.setMode B | (_, _, true, _, _, _, _) -> Opt.setMode C | (_, _, _, true, _, _, _) …