Если вам хочется научиться писать код лучше, попробовать что-то новое, увидеть, как же это возможно обходиться без переменных и оператора присвоения. Тогда приходите на мой доклад, и я расскажу вам что такое функциональное программирование и как быстро написать парсер HTML страницы на F#.

1. Зачем учить F#
и как начать
Андрей Чебукин
The Secret Circle Solutions
xperiandri@live.ru
linkedin.com/in/xperiandri
fb.com/xperiandri
vk.com/xperiandri

2. План
• Функциональное программирование
• Синтаксис F#
• Работа с данными
• Парсер HTML
• Что дальше?

3. Функциональное
программирование

4. Императивный против
функционального
Меняем состояние
•Запись входных данных
в память
•Вычисление
•Запись результатов в
память
•Основной оператор -
присвоение
Применяем функции
•Применение функций
ко выходным данным
•Передача результатов
или функций на вход
другим функциям
•Нет присвоения

5. Присваивание Связывание с именем
• Переменной x присвоить
значение 5
• Значению 5 дать имя x

6. Всё есть функция (1st class citizen)

7. Прозрачность ссылок (ReferentialTransparency)

8. Каррирование функции (Curry)
преобразование функции от многих аргументов в
функцию, берущую свои аргументы по одному

9. Частичное применение (partialapplication)

10. Функции высших порядков (higher order)

11. Истинные функции (однозначные, pure)

12. Строгое и нестрогое (ленивое) вычисление
Что будет если?

13. Специальные типы данных
•Неизменяемые
(immutable)
•Со специальным
синтаксисом для
создания частично
изменённой копии
•С функциями высших
порядков

14. Итоги
• Всё есть функция
• Функция высшего порядка – принимает другую функцию
параметром
• Прозрачность ссылок – всегда известно единое значение
• Истинные (однозначные) функции – результат всегда
одинаков для одинаковых входных параметров
• Вывод типов – компилятор обычно сам выведет все типы
• Нет присвоения – используем рекурсию и связывание с
именем
• Специальные типы – типы работающие без присвоения

15. Язык F#

16. Примитивные типы данных
bool Boolean
byte Byte
sbyte SByte
int16 Int16
uint16 UInt16
int Int32
uint32 UInt32
int64 Int64
uint64 UInt64
nativeint IntPtr
unativeint UIntPtr
char Char
string String
decimal Decimal
unit not applicable
void Void
float32, single Single
float, double Double

17. unit
• Вместо void
• ()

18. Кортеж (tuple)

19. Необязательный тип (optional type)

20. Запись (record)
Неизменяемый тип
Легко создать копию
с изменением
некоторых значений
Встроенное
сравнение по
значению

21. Размеченное объединение (discriminatedunion)

22. Сопоставление с образцом (patternmatching)

23. Активный шаблон
(active pattern)
Как функция
проверки
возвращающая
необязательный тип
или размеченное
объединение

24. Операторы

25. Единицы измерения

26. Вычислительные выражения (computation)

27. Вычислительные выражения (computation)

28. Коллекции

29. Коллекции: поиск
C# F#
Single exactlyOne, pick
SingleOrDefault tryPick
All, TrueForAll forall, forall2
Any, Exists exists, exists2
Contains contains
ElementAt item, nth
ElementAtOrDefault tryItem
C# F#
Find find, tryFind
FindIndex findIndex, tryFindIndex
FindLast findBack, tryFindBack
FindLastIndex
findIndexBack,
tryFindIndexBack
First, Last head, last
FirstOrDefault tryHead
IndexOf, LastIndexOf нет
LastOrDefault tryLast

30. Коллекции
Проекция,сортировка,групп.
C# F#
ConvertAll
map, map2, map3,
mapi, mapi2
ForEach iteri, iteri2
Select Seq.map
через Select pairwise
нет indexed
OrderBy sortBy, sortWith, sort
OrderByDescending
sortByDescending,
sortDescending
Reverse Rev
GroupBy groupBy
GroupJoin нет
Фильтрация
C# F#
Distinct distinct, distinctBy
FindAll filter
GetRange нет
OfType через pick
Skip skip
SkipWhile skipWhile
Take take
TakeWhile takeWhile
Where Seq.where
Select + Where choose
Skip(1) tail

31. Коллекции
Аггрегация
C# F#
Aggregate
fold, fold2, foldBack,
foldBack2, mapFold,
mapFold2, reduce,
reduceBack, scan,
scanBack
Average averageBy, average
Max max, maxBy
Min min, minBy
Sum sum, sumBy
нет permute
Преобразование
C# F#
AsEnumerable toSeq
AsParallel нет
AsQueryble нет
AsReadOnly уже такой
Cast через map
CopyTo toArray
ToArray toArray
ToList Нет
ToDictionary Map.ofList
ToLookup нет

32. Коллекции
Слияние, и
множественное
C# F#
Concat append
Except except, Set.difference
Intersect Set.intersect
Join нет
Union Set.union
Zip zip, zip3
SelectMany нет
нет Set.intersectMany
нет Set.unionMany
нет concat
Разделение,
инициализация
C# F#
нет unzip, unzip3
нет Windowed
нет partition
нет splitInto
нет splitAt
нет unfold
нет init
Enumerable.Empty empty
Enumerable.Repeat replicate
нет singletone

33. Как потреблять данные?

34. Метаданные
• WSDL
• Swagger
• Схема из базы данных

35. А если схема изменилась?
Руками что ли???

36. Поставщики типов
(type providers)
Всегда актуальная
схема данных
Проверка в момент
компиляции того,
что обычно
вываливается в
момент выполнения

37. Поставщики в наличии
Встроенные
•SqlDataConnection
•SqlEntityConnection
•ODataService
•WsdlService
Сторонние
•Regex
•FileSystem
•Csv
•Excel
•JSON
•XML
•Swagger
•Registry
•XAML
•AppSettings
•И другие…

38. Демо
Парсер

41. Visual F# Power Tools

42. F# snippet

43. F# Interactive
Intellisense

44. Другие
• F# Outlining – сворачивание функций
• FSharpTest – шаблон проекта модульных тестов

45. Что дальше…

46. Функциональное
программирован
ие на F#
Дмитрий Сошников
2011

47. F# for fun and
profit
Scott Wlaschin
http://fsharpforfunan
dprofit.com/

48. F# Deep Dives
Tomas Petricek
Phil Trelford

50. Помимо .NET Native F# всё более активно
используется в Microsoft. Мы в процессе внедрения
F# в .NET Core. Мы замечаем, что команды внутри
Microsoft используют, а стартапы внедряют F#
активнее

51. Попробуйте уже сегодня!