Что происходит, когда поставщики типов меняются в F #?

Question

После просмотра Channel 9's video на поставщиках типов F # мне интересно узнать о изменениях схемы данных. Дон немного коснулся этого в конце, но я ищу подробности.

1. Демонстрационная версия выглядела так, как будто вы нажимаете «.». чтобы узнать, какие данные доступны для вас. После того, как вы связываете, скажем, уровень преступности в США в 2008 году, что происходит, когда вы распространяете свое приложение и изменения схемы? Вы получаете ошибки типа времени выполнения? Ответственность за эти ошибки лежит на разработчике.

2. Кроме того, это несет ответственность за руки поставщика этого типа?

   В настоящее время, когда вы загружаете сборку .NET, вы знаете, что она никогда не изменится, пока вы (вручную или через службу) явно не обновите ее. Ошибки компиляции из эволюционирующих типов должны быть разрешены, но вы всегда можете приостановить обновление до тех пор, пока не будете готовы к изменению. С провайдерами типов вам нужно запрограммировать более осторожно против них?

Answer 1

В ответ на изменения схемы является обязанностью поставщика типа, но только в то время развития. После разработки приложения он компилируется с использованием поставщика типов и использует текущую схему во время компиляции.

Когда вы используете поставщика типов из Visual Studio, он может отслеживать изменения схемы и уведомлять среду Visual Studio о том, что произошла смена схемы. Я написал пример поставщика XML-типа, который делает это, поэтому, когда вы меняете схему (XML-файл, используемый в качестве примера), вы сразу же получите ошибки в VS. Я сделал video demonstration of this (около 19:40).

После того как вы скомпилируете свою программу, поставщик типа генерирует код, который должен использоваться в скомпилированной форме (а поставщик типов не используется во время выполнения). Это означает, что если схема изменяется во время выполнения, вы ничего не можете с этим поделать (разработчику необходимо отреагировать). Если изменение схемы обратно совместимо (т. Е. Добавить новые столбцы в таблицу БД), то ваша программа все равно может работать нормально.