A checked exception is a type of exception that must be either caught or declared in the method in which it is thrown.

exceptions are not part of type checking in other popular languages such as C++, C#, Scala, and Haskell.

From: https://www.bilibili.com/video/BV12V411p72e/?spm_id_from=333.788.recommend_more_video.3