Что происходит, когда провайдеры типов меняются в F #?
После просмотра видео Channel 9 о поставщиках типов F # я задумался об изменениях схемы данных. Дон немного коснулся этого в конце, но я ищу более подробные сведения.
В демоверсии создавалось впечатление, что вы, по сути, нажимаете '.' чтобы узнать, какие типы данных вам доступны. Что произойдет после того, как вы установите связь, скажем, с уровнем преступности в США в 2008 году, когда вы распространите свое приложение и схема изменится? Вы получаете ошибки типа времени выполнения? Обязан ли разработчик обрабатывать эти ошибки?
Кроме того, перекладывает ли это ответственность на провайдер типов?
В настоящее время, когда вы загружаете сборку .NET, вы знаете, что она никогда не изменится, пока вы (вручную или через службу) явно обновите его. Ошибки компиляции из развивающихся типов должны быть устранены, но вы всегда можете отложить обновление, пока не будете готовы к изменению. С поставщиками типов нужно ли вам более осторожно программировать против них?