TypeScriptでRegExpを使う方法

JavaScriptと同様に「'abc'.match(/b/)[0]」みたいな書き方をするとTypeScriptではコンパイルエラーになってしまいます。
回避する方法が以下。

JavaScriptなら問題なく実行できます。

console.log('abc'.match(/b/)[0])

view raw regexp.js hosted with ❤ by GitHub

同じ内容でもTypeScriptだと「オブジェクトはおそらく「null」です」というコンパイルエラーになってしまいます。

console.log('abc'.match(/b/)[0])

view raw regexp_ng.ts hosted with ❤ by GitHub

「typescript regexp null」で検索して以下のページに辿り着きました。
javascript - Object is possibly 'null' for regex - Stack Overflow

console.log('abc'.match(/b/)![0])

view raw regexp_ok.ts hosted with ❤ by GitHub

とりあえず使えるようにはなりましたが、全然意味が分かりません…。
いずれ時間ができたら、どういう理屈なのか調べたいです。