今天要了解 interface 進一步的觀念，剛好撞到 nerver 觀念還不是那麼懂，所以回來補個never 觀念，我覺得要了解nerver，可以根據情境去理解會比較容易，雖然看了多遍還是有點模糊，但就之後多看例子吧，以下紀錄心得，細節案例請見文章，非常詳細

Day 10. 前線維護・特殊型別 X 永無止盡 - Never Type - iT 邦幫忙::一起幫忙解決難題，拯救 IT 人的一天

nerver 型別

1. 使用情境目前看來有三，變數主動註記、函式return 主動註記、自動推論
2. never 精神，永遠不會結束、永遠不會有預期結果
3. 主動註記 vs. 被動推論，代表意義各不相同
4. 人中有我，我中只有我概念，所有型別都有never情況、但是nerver型別，只有never
5. 重點紀錄
   1. never型別意義，無法跳脫函式執行(無窮迴圈)、出現例外中斷執行(永不會有預期結果)
   2. never 型別為所有型別 subtype ，任何型別都有可能出錯，導致無法成為指定型別，因此都會有 never case ( number | never 等於 number )
   3. never 型別變數指派，註記任意型別，可以被指派對應型別外、也可被指派 never ，但若被註記 never 則不可指派其他型別
   4. 函式型別回傳值推論與註記關係，若函式確定不會有結束一天(無窮迴圈)，回傳值將自動被推論 never ，若你主動註記 never 則，你就必須確定函式不會有結束執行點