プログラミング Coq と、圏論...どちらも今の私には縁遠い

「絶対にバグのないプログラムの書き方」という副題に釣られ、ググりながら、読んでみた。
プログラミング Coq
プログラマのための圏論の基礎
http://www.brl.ntt.co.jp/people/tsukada/lecture/hosei2013s-index.html
が、実践的なuse caseが浮かばない。セキュアコーディングの方がまだ興味がわきます。