Роман Неволин «Провайдеры типов без боли и магии»

Newtonsoft.Json — самый популярный пакет в NuGet. А рядом с ним, на третьем месте, — Entity Framework. Пожалуй, это неплохо демонстрирует, насколько часто.NET разработчики обрабатывают разнообразные данные. И для каждого типа данных — своя библиотека, а еще куча классов-оберток, которые приходится писать ради получения всех благ строгой типизации. И делать это нужно для каждого нового источника данных.

Однако F# предлагает нам другое решение вечной проблемы — провайдеры типов. Решение, которое позволяет максимально упростить работу с любыми типами данных, избавиться от написания и сопровождения классов оберток, а заодно и решить совсем другие проблемы, вроде рисования сложных графиков и работы с нейронными сетями средствами F#. Если вы хотите узнать, как использовать провайдеры типов, какие проблемы они решают, как работают и как написать собственный провайдер для ваших задач, — приходите на этот доклад!

Transcript

1. Провайдеры типов без боли и магии Роман Неволин, EPAM
3. Задача: я хочу получить JSON с вопросами по URL, взять первый вопрос и напечать ссылку на него 3
4. Задача : «детское» решение 1.Скачать текст по ссылке 2.Разбить текст на «блоки» 3.Выделить блоки с вопросом 4.Выбрать первый из этих блоков. 5.Найти в нем ссылку и напечатать 4
5. Задача : традиционное C# решение 5
6. Задача : традиционное C# решение 6
7. Задача : традиционное C# решение 7
8. Задача : традиционное C# решение 8
9. Задача : традиционное C# решение 9
10. Задача : традиционное C# решение 10
11. Задача : традиционное C# решение 11
12. Задача : традиционное C# решение 12
13. Задача : «динамическое» решение 13
14. Что здесь не так?  Мы легко можем ошибиться, и об ошибке станет известно только в рантайме 14
15. Что здесь не так?  Мы легко можем ошибиться, и об ошибке станет известно только в рантайме  Автодополнение не помогает нам писать код 15
16. Что здесь не так?  Мы легко можем ошибиться, и об ошибке станет известно только в рантайме  Автодополнение не помогает нам писать код  Мы никак не застрахованы от изменений в API 16
17. Ах, как было бы прекрасно, если..  Если бы типы генерировались по JSON 17
18. Ах, как было бы прекрасно, если..  Если бы типы генерировались по JSON  Если бы это происходило автоматически, как только мы ввели в IDE ссылку на JSON 18
19. Ах, как было бы прекрасно, если..  Если бы типы генерировались по JSON  Если бы это происходило автоматически, как только мы ввели в IDE ссылку на JSON  Если бы сгенерированные типы автоматически обновлялись при изменении JSON 19
20. В общем, провайдеры – это отлично 20
21. В общем, провайдеры – это отлично, но... 21
22. Но...  Но провайдеры – сложный механизм с кучей подводных камней. 22
23. Но...  Но провайдеры – сложный механизм с кучей подводных камней.  Но бывает сложно понять, когда выполняется та или иная логика внутри провайдера 23
24. Но...  Но провайдеры – сложный механизм с кучей подводных камней.  Но бывает сложно понять, когда выполняется та или иная логика внутри провайдера  Но провайдеры недостаточно хорошо специфицированы. 24
25. Но...  Но провайдеры – сложный механизм с кучей подводных камней.  Но бывает сложно понять, когда выполняется та или иная логика внутри провайдера  Но провайдеры недостаточно хорошо специфицированы. Но вообще-то. Программисты мы или погулять вышли? 25
26. Высокоуровневая схема R Provider 26
27. Высокоуровневая схема R Provider 27
28. Высокоуровневая схема R Provider 28
29. Высокоуровневая схема R Provider 29
30. Высокоуровневая схема R Provider 30
31. Высокоуровневая схема R Provider 31
32. Высокоуровневая схема R Provider 32
33. 33 https://www.pluralsight.com/courses/building-f-sharp-type-providers
34. ID3 Provider : обзор задачи  Информация об MP3 файлах хранится в ID3 тегах  Разные теги хранят в себе разные данные  MP3 файл может содержать или не содержать любые ID3 теги Это задача для провайдеров! 34
42. Демо: смотрим на код ID3 Tag Provider 42
43. Так все-таки. Существуют на самом деле сгенерированные типы или нет? 43
44. Generative провайдеры  Создает реальные типы на основании схемы  Созданные типы хранятся в файле сборки  Совместим с рефлексией и другими .NET языками  Увеличивают размер сборки 44
45. Erased провайдеры  Создает типы, о которых знает только F# компилятор  Невозможно использовать рефлексию  Несовместимы с другими .NET языками  Умеют работать с бесконечными структурами данных 45
46. Code Quotations 46
47. Code Quotations  Механизм метапрограммирования в F#, схожий с деревьями выражений  Полностью валидируется компилятором  Используется для создания «шаблонов» выражений 47
48. Code Quotations 48
49. Демо: декомпилируем провайдеры 49
50. Но как это все сгенерировалось? 50
52. TypeProviderForNamespaces 52
53. TypeProviderForNamespaces 53
54. TypeProviderForNamespaces 54
55. TypeProviderForNamespaces 55
56. TypeProviderForNamespaces 56
57. Интерфейс ITypeProvider «Type providers implement this interface in order to be recognized by the compiler as an F# type provider. The implementation of this interface determines the public interface and behavior of the type provider» 57
58. TypeProviderForNamespaces 58
59. TypeProviderForNamespaces 59
60. Определение базового типа 60
61. Определение базового типа 61
62. Определение базового типа 62
63. Статические параметры 63
64. Статические параметры 64
65. Статические параметры 65
66. Статические параметры 66
67. Статические параметры 67
68. Статические параметры 68
69. Статические параметры 69
70. Статические параметры 70
71. Статические параметры 71
72. Подклассы и параметры 72
73. Подклассы и параметры 73
74. Подклассы и параметры 74
75. Подклассы и параметры 75
76. Подклассы и параметры 76
77. Подклассы и параметры 77
78. Добавление всего сгенеренного 78
79. Добавление всего сгенеренного 79
80. Добавление всего сгенеренного 80
81. Добавление всего сгенеренного 81
82. Добавление всего сгенеренного 82
83. Добавление всего сгенеренного 83
84. Добавление всего сгенеренного 84
85. 85 Слой провайдера
86. 86 Слой провайдера Слой Type Provider SDK
87. 87 Слой провайдера Слой Type Provider SDK Слой компилятора
88. Спасибо! nevoroman@gmail.com nevoroman