Я читал о больших возможностях Type Providers, таких как статическая типизация при запросе документов JSON, поэтому я могу представить, что я могу создать то, что у меня на уме, с этой технологией.
Скажем, я хочу разрешить потребителю моей библиотеки TypeProvider Foo создать шаблон типа, который будет иметь следующее предварительное условие для каждого из своих методов: проверьте изменчивое состояние поля boolean disposed
если оно истинно, вызовите ObjectDisposedException.
Возможно ли это? Как можно определить такую реализацию этого создателя типа высокого уровня?