F#異常類型是什么性質

Question

我正在學習 F#，我發現了一個有趣的問題。 我們可以使用 F# 類型異常

exception MyExpetion of string

但是，當我們匹配它時，我們可以使用與匹配可區分聯合相同的語法。 同時，它是一個 System.Exception。 這是怎么做到的？ F#異常的類型是什么？ 我試圖搜索，但沒有找到明確的答案。 謝謝你。

Answer 1

您可以將異常類型視為一種“開放”的可區分聯合，其中可以隨時添加Exception類型的其他構造函數。 因此，如您所料， MyException "test"的 static 類型是Exception ，並且Exception類型的值可以與模式MyException _匹配。