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

1. Провайдеры типов
без боли и магии
Роман Неволин, EPAM

2. 2

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

35. 35

36. 36

37. 37

38. 38

39. 39

40. 40

41. 41

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

51. 51

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