Какова природа исключения F #

Question

Я изучаю F # и нашел интересный вопрос.Мы можем использовать исключение типа F #

exception MyExpetion of string

Однако, когда мы сопоставляем его, мы можем использовать тот же синтаксис, что и сопоставление различенного объединения.В то же время это исключение System.Exception.Как это сделать?Какой тип исключения F #?Я пытался найти, но четкого ответа не найдено.Спасибо.

Answer 1

Вы можете думать о типах исключений как о «открытом» различающем объединении, где дополнительные конструкторы для типа Exception могут быть добавлены в любое время.Следовательно, как и следовало ожидать, статический тип MyException "test" равен Exception, а значения типа Exception можно сопоставить с шаблоном MyException _.

.