Платформа dotNet однозначно ассоциируется с языком программирования C#. Действительно, C# - прекрасный язык, который развивается стремительными темпами и имеет всё необходимое для продуктивной разработки. Но dotNet все же многоязыковая платформа с поддержкой многих языков программирования, некоторые из которых могут помочь решать не тривиальные задачи очень элегантным образом. В докладе мы познакомимся с языком программирования Nemerle и сравним его с другими языками dotNet, рассмотрим его достоинства и недостатки. Будут рассмотрены возможности функционального программирования и метапрограммирования, поговорим о построении собственных предметно-ориентированных языков.

1.
Метапрограммирование в .NET
Nemerle
1

2. Обо мне
Александр Зимин
https://github.com/ziaw
.NET / Ruby
тимлид/архитектор/предприниматель
2

3. Nemerle
Мультипарадигменныйязык общего
назначения для платформы .NET.
Разработка языка началась в 2003
году в университете Вроцлава
(Польша).
3

4. Lord Nemmerle was Archmage
Lord Nemmerle was Archmage,
Warder of the School for
Wizards on Roke Island.
He has a pet raven and wears
white robes.
Ursula Le Guin
4

5. Nemerle ­ язык будущего
5

6. Эволюция C# (37 features)
Version Year Features
C#
2.0
200
5
Generics, Partial types, Anonymous methods, Iterators, Nullable types, Private
setters (properties), Method group conversions (delegates), Covariance and
Contra­variance, Static classes
C#
3.0
200
8
Implicitly typed local variables, Object and collection initializers,
Auto­Implemented properties, Anonymous types, Extension methods, Query
expressions, Lambda expressions, Expression trees, Partial Methods
C#
4.0
201
0
Dynamic binding (late binding), Named and optional arguments, Generic co­ and
contravariance
C#
5.0
201
2
Async features
Caller information
C#
6.0
201
5
Initializers for auto­properties, Getter­only auto­properties, Expression­bodied
function members, Expression bodies on method­like members, Expression
bodies on property­like function members, Using static, Null­conditional
operators, String interpolation, nameof, Index initializers, Exception filters, Await
in catch and finally blocks, Extension Add methods in collection initializers,
Improved overload resolution
6

7.
7

8. Nemerle 2004 года (21/37 57%)
Versi
on
Year Features
C#
2.0
2005 Partial types, Iterators, Nullable types, Private setters (properties)
C#
3.0
2008
Object and collection initializers, Anonymous types, Extension methods,
Query expressions, Partial Methods
C#
4.0
2010
C#
5.0
2012
Async features
Caller information
C#
6.0
2015
Initializers for auto­properties, Getter­only auto­properties, nameof, Index
initializers, Await in catch and finally blocks, Extension Add methods in
collection initializers
8

9.
9

10. Минус возможности расширения в 2004 (24/37 65%)
Versi
on
Year Features
C#
2.0
2005 Partial types, Iterators, Nullable types, Private setters (properties)
C#
3.0
2008 Extension methods, Partial Methods
C#
4.0
2010
C#
5.0
2012
Async features
Caller information
C#
6.0
2015
Initializers for auto­properties, Await in catch and finally blocks, Extension
Add methods in collection initializers
10

11. Минус возможности C# поддерживаемые Nemerle на текущий
момент (34/37)
Versi
on
Year Features
C#
2.0
200
5
C#
3.0
200
8
Partial Methods
C#
4.0
201
0
C#
5.0
201
2
Async features
Caller information
C#
6.0
201
5
Await in catch and finally blocks
11

12.
12

13. Это все прошлое, где будущее?
13

14. C# 7
• Tuples
• Pattern matching
• Records/ADTs
• Nullability tracking
• Async streams and disposal, Strongly typed access to
wire formats, More support for expression trees
(statements, more expressions), Syntax for lists,
Immutable types, Type providers, Existing or other ways
of adding attributes, Method contracts, Local functions
14

15. Nemerle сейчас
•Tuples
•Pattern matching
•Records/ADTs
More support for expression trees (statements,
more expressions), Syntax for lists​, ​Existing or
other ways of adding attributes​, ​Local functions
Immutable types, Type providers делаются на макрросах
15

16. Мультипарадигменный язык
Nemerle = OOP + FP + MP
Nemerle = C# + F# + Lisp(?)
16

17. Nemerle больше всего похож на C#
C# Nemerle
17

18. Дополнительные примитивные типы
18

19. Дополнительные примитивные типы
19

20. Дополнительные примитивные типы
20

21. Вывод типов Хиндли­Милнера
21

22. Локальные функции и вывод типов
22

23. Ключевые функциональные возможности F#
23

24. Все есть выражение. Expression rather then statement.
24

25. Все есть выражение. Expression rather then statement.
25

26.
Все есть выражение. Expression rather then statement.
26

27. Все есть выражение. Expression rather then statement.
27

28. Все есть выражение. Expression rather then statement.
28

29. Паттерн матчинг
29

30. Примеры паттернов
30

31. Примеры паттернов. Литерал.
31

32. Примеры паттернов. Переменная.
32

33. Примеры паттернов. Кортеж.
33

34. Примеры паттернов. Класс.
34

35.
Алгебраические типы данных
35

36. ATD и паттерн матчинг
36

37. ATD и паттерн матчинг
37

38. Example: Immutable binary tree
38

39. Функциональный тип и операции над ним
39

40. Частичное применение
40

41. Композиция
41

42. Конвейер
42

43. Метапрограммирование
43

44.
Метапрограммирование
● Параметрический полиморфизм (generics)
● Кодогенерация
● Domain Specific Languages
● Анализ кода, compile­time проверки
44

45. Метапрограммирование в Nemerle
● Код, который запускается во время компиляции и
генерирует основной код
● Код, который может анализировать и модифицировать
компилируемый код
● Синтаксические расширения для языка
45

46. Генерация кода
T4 Дерево выражений
46

47. Генерация кода
T4 Дерево выражений
При усложнении код превращается в
лапшу
Объем кода генератора в разы
превышает генерируемый. Плохая
читабельность.
47

48. Квазицитирование!
Дерево выражений Квазицитата
48

49. Код, который запускается во время
компиляции
49

50. Макрос
50

51. Использование макроса
51

52. Параметры в квазицитатах
52

53. Делаем цикл
53

54. Используем цикл
54

55. Расширяем синтаксис
Так гораздо лучше
55

56. Макрооператор
56

57. Макроатрибут
57

58.
Квазицитирование. Разбор выражения.
Дерево выражений Квазицитата
58

59. Зачем нужны DSL и расширение
синтаксиса?
59

60. Примеры DSL: JSON
60

61. Примеры DSL: Nemerle.PEG
61

62. Примеры DSL: Nemerle.Web
http://www.nemerleweb.com/
62

63. Примеры DSL: конструктор отчетов
63

64. Nemerle Pad
https://github.com/ziaw/npad
64

65. Недостатки Nemerle
● Медленный компилятор
● Слабая и разрозненная документация
● Сбои в интеграции Visual Studio
● Малое количество макробиблиотек для
65

66. Достоинства Nemerle
● Генерация кода
● Простота при переходе с C#
● Возможности полноценного функционального
языка
● Выразительность и красота кода
(субъективно)
● Расширение синтаксиса
66

67. Будущее Nemerle – Nitra
67

68. Спасибо!
http://nemerle.org/
https://github.com/rsdn/nemerle
http://rsdn.ru/?forum/nemerle/
68