Rivalry2

HTML Diff

0 added 0 removed

Original 2026-01-01

Modified 2026-02-21

1 <a>#статьи</a>

2 <ul><li>20 сен 2021</li>

3 <li>0</li>

4 </ul><h2>Придумают же! Самые крутые фишки языков программирования</h2>

5 Всё самое интересное: от расширений до постепенной типизации.

6 Альберто Блинчиков для Skillbox Media

7 Фулстек-разработчик. Любимый стек: Java + Angular, но в хорошей компании готова писать хоть на языке Ада.

8 об авторе

9 Программист-энтузиаст. Получает докторскую степень в области инженерных наук, хочет стать преподавателем. Любит писать о коде. Сайт автора:<a>The Renegade Coder</a>.

10 Одна из самых прикольных фич, которые я для себя открыл, - это расширения. Впервые я столкнулся с ними, когда кодил<a>Hello World на Kotlin</a>. Конечно, в такой простой программе они не пригодились, зато я узнал, что они существуют.

11 Расширения позволяют добавлять новые методы к существующим классам, не расширяя сами классы.

12 Представьте, что нам очень нравится класс String в Java, но мы хотим сделать его ещё лучше, добавив новый метод. Единственный способ сделать это - создать свой класс, который расширяет String:

13 public class StringPlusMutation extends String { public String mutate() { // добавляем код для изменений } }Примечание переводчика

14 Создать такой класс не получится, потому что String в Java - финальный класс, его нельзя расширять.

15 Между тем в Kotlin достаточно написать метод, который напрямую расширяет класс String:

16 fun String.mutate(){ // добавляем код для изменений }Теперь каждый раз, когда мы создаём экземпляр String, мы можем обратиться к его методу mutate, как будто это обычный публичный метод класса String.

17 Конечно, у расширений есть и недостатки. Представьте, что произойдёт, если к стандартным методам класса String добавят метод с тем же именем mutate. Наверняка в вашей программе возникнет какая-нибудь хитрая ошибка. Но не думаю, что такие совпадения случаются часто.

18 Так или иначе, я не придумал ничего лучше, чем использовать расширения для быстрого прототипирования. Расскажите мне, если у вас есть идеи получше.

19 Другая классная фишка языков программирования - макросы. Я столкнулся с ними, когда писал<a>Hello World на Rust</a>. Ведь вывод в консоль на Rust реализован именно в виде макроса.

20 Вообще, макросы - это понятие из области метапрограммирования. Они позволяют расширять язык напрямую - добавляя правила к <a>дереву абстрактного синтаксиса</a>. Такие правила создаются с помощью сопоставления с образцом (pattern matching).

21 Объяснение получилось довольно мутным - поэтому рассмотрим пример на Rust:

22 macro_rules! print { ($($arg:tt)*) => ($crate::io::_print(format_args!($($arg)*))); }Этот код взят из <a>исходников самого Rust</a>. Как видите, в макросе print используется одно сопоставление с образцом, которое принимает любое число аргументов и пытается перед выводом привести их к подходящему виду.

23 Если сопоставление с образцом даётся вам трудновато, возможно, стоит получше изучить<a>регулярные выражения</a> - у них похожий синтаксис.

24 Вы наверняка заметили, что работать с макросами не так-то просто. Их трудно писать и так же сложно отлаживать. В документации по Rust макросы и вовсе называют<a>крайним средством</a>, использовать которое можно редко и только по рецепту :)

25 Я узнал о них, когда разбирался с C# (см. статью "<a>Hello World на C#</a>").

26 Автоматические свойства (automatic properties) - это, по сути, сокращения длягеттерови сеттеровв объектно-ориентированных языках, то есть синтаксический сахар.

27 Допустим, у нас есть класс Person и мы хотим добавить в него поле name: у людей есть имена, так что всё логично. Вот как это будет выглядеть на Java:

28 public class Person { private String name; }Теперь, если мы захотим заполнить имя, то нам, вероятно, придётся написать общедоступный метод (с модификатором public). Тогда мы сможем обновить приватное поле. Именно такие методы чаще всего называют сеттерами - ведь они устанавливают (set) свойство объекта. Однако официально они называются<a>мутаторами</a>(mutator methods).

29 На Java код для создания мутатора выглядит так:

30 public setName(String name) { this.name = name; }Мы написали уже шесть строк кода, но даже не можем получить значение переменной name вне класса. Чтобы это сделать, нужно написать геттер, или метод доступа:

31 public getName() { return this.name; }В языках с поддержкой автоматических свойств можно просто выкинуть эти шесть строк бойлерплейта. Вот полный аналог нашего джавишного класса на C#:

32 public class Person { public string Name { get; set; } }С автоматическими свойствами мы пишем всего одну строку кода для каждого поля, которое хотим открыть другим классам, - и это здорово! Без такой фичи нам пришлось написать шесть строк.

33 Наш новый герой - необязательное связывание, или цепочки опциональных вызовов (optional chaining). Я впервые столкнулся с ними, когда писал<a>Hello World на Swift</a>. Для приветствия миру эта фича не пригодилась, но познакомиться с ней было интересно.

34 Понять, что такое цепочки опциональных вызовов, нам помогут необязательные переменные. Для начала разберёмся с ними.

35 В Swift переменные не могут быть пустыми. Иными словами, они не могут хранить значение NIL - по крайней мере, напрямую. И это отлично, потому что так мы уверены, что любая переменная содержит какое-то значение.

36 Конечно, иногда нам необходимо передать в переменную NIL. К счастью, Swift позволяет это сделать с помощью необязательных переменных. Они оборачивают реальное значение (в том числе NIL) в контейнер, из которого это значение потом можно будет извлечь:

37 var printString: String? printString = "Hello, World!" print(printString!)В этом примере мы объявляем необязательную строковую переменную и присваиваем ей значение "Hello, World!". Мы знаем, что в переменной лежит строка, и можем безо всяких проверок на NIL извлечь её и вывести на печать.

38 Примечание переводчика

39 С помощью символа ? после типа String мы поясняем компилятору, что printString - не просто строковая переменная, а опциональная (необязательная). То есть в ней может лежать строковое значение или пустое значение (NIL).

40 С помощью символа ! мы извлекаем значение из такой переменной и выводим его на печать.

41 Конечно, извлекать значение вот так, безо всяких проверок, - плохая практика. Здесь я пренебрёг этим правилом, чтобы не усложнять пример.

42 Концепцию необязательных значений также применяют к вызовам методов и полям. В этом случае речь как раз идёт о цепочках опциональных вызовов. Представьте, что у нас есть длинная цепочка вызовов методов:

43 important_char = commandline_input.split('-').get(5).charAt(7)В этом примере мы получаем из командной строки какое-то строковое значение и делим его на отрезки, ограниченные дефисами (-). Потом берём пятый из этих отрезков-строк и получаем из него седьмой по счёту символ. Если вызов хотя бы одного из трёх методов завершится неудачно, вся наша программа обрушится.

44 С необязательным связыванием мы можем перехватить значение NIL в любом месте цепочки и обработать его. Тогда вместо сбоя мы получим значение important_char, равное NIL. Как по мне, это гораздо лучше, чем иметь дело с <a>пирамидой смерти (the pyramid of doom)</a>.

45 Примечание переводчика

46 Когда аргументами функций становятся другие функции, внутри которых тоже есть функции, может получиться что-то такое (пример на псевдокоде):

47 функция1(аргумент1, function (аргумент2, аргумент3) { функция2(аргумент4, function (аргумент5, аргумент6) { функция3(аргумент7, function (аргумент8, аргумент9) { }); }); });Код функций принято записывать со смещением вправо - так проще понять, какой текст к какой функции относится. В итоге код действительно напоминает пирамиду.

48 Если уровней вложенности очень много, то вершина пирамиды уезжает далеко вправо. Читать, а тем более поддерживать такой код - смерти подобно :)

49 Без лямбда-выражений этот список был бы неполным. Лямбда-выражения - не новая концепция (смотрите "<a>Hello World на Lisp</a>"), они даже старше компьютеров. И всё же их продолжают добавлять в современные языки программирования - даже в такие проработанные и устоявшиеся, как Java (в Java лямбды поддерживаются с 8-й версии; она вышла в 2014 году. - Пер.).

50 Честно говоря, сам я впервые услышал про лямбда-выражения три или четыре года назад, когда изучал Java. Тогда я толком не понял, что в них интересного, - да и не особенно пытался узнать.

51 Однако пару лет спустя я начал писать на Python, а в нём куча библиотек с открытым исходным кодом, которые вовсю используют лямбда-выражения. Так что в какой-то момент мне всё-таки пришлось с ними подружиться.

52 Если вы не слышали о лямбдах, то, возможно, знаете хотя бы об анонимных функциях. Лямбды - это почти то же самое, но с одним отличием: их можно использовать как данные. А точнее - упаковать лямбда-выражение в переменную, а потом обращаться с ним как с обычными данными. Например:

53 increment = lambda x: x + 1 increment(5) # вернёт 6Тут мы создали функцию, сохранили её в переменную и вызвали, как любую другую обычную функцию. Фактически можно даже создать функцию, которая будет возвращать другие функции - то есть<a>динамически генерировать функции</a>.

54 def make_incrementor(n): return lambda x: x + n addFive = make_incrementor(5) addFive(10) # вернёт 15Круто!

55 Если вы хоть немного программировали, то, вероятно, знакомы с двумя основными видами типизации: статической и динамической. Только не путайте эти понятия с явной и неявной типизацией, а ещё с сильной и слабой типизацией. Это всё абсолютно разные вещи.

56 Примечание переводчика

57 Пристатической типизациитип переменной известен и проверяется во время компиляции, а придинамической - определяется во время выполнения в зависимости от значения переменной.

58 Приявной типизациизадаётся тип каждой переменной. Это частный случай статической типизации. Принеявной типизациитипы указывать не обязательно.

59 Присильной типизациипреобразуются один в другой только совместимые между собой типы. Например, в сильно типизированном языке нельзя без явных преобразований передать в подпрограмму строку, если параметр подпрограммы объявлен с числовым типом.

60 Слабо типизированные языкиотносятся к совместимости типов более свободно. Например, в JavaScript можно складывать строку с числом. Ошибок не будет, просто число преобразуется в строку.

61 Пересечение между статической и динамической типизацией называется постепенной (gradual) типизацией. И для меня это одна из самых крутых фишек в языках программирования. Пользователь сам указывает, когда ему нужна статическая типизация, а по умолчанию действует динамическая.

62 Во многих языках постепенная типизация реализуется через объявления типов (как в явно типизированных языках):

63 def divide(dividend: float, divisor: float) -> float: return dividend / divisorЭто функция на Python, у которой явно указаны типы входного и выходного параметров (у обоих тип float. - Пер.). Но можно обойтись и без объявления типов:

64 def divide(dividend, divisor): return dividend / divisorТеперь ничто не помешает передать в эту функцию вообще всё что угодно. Однако первый вариант реализации позволяет статически проверять типы - встроенными в IDE инструментами статического анализа или какими-то внешними утилитами. Я бы сказал, что это беспроигрышный вариант.

65 Хоть я и выбрал для иллюстрации Python, но впервые столкнулся с постепенной типизацией, когда писал<a>Hello World на языке Hack</a>. Похоже, Facebook* и правда решил улучшить систему типов в PHP.

66 * Решением суда запрещена "деятельность компании Meta Platforms Inc. по реализации продуктов - социальных сетей Facebook* и Instagram* на территории Российской Федерации по основаниям осуществления экстремистской деятельности".

67 <a>Бесплатный курс по Python ➞Мини-курс для новичков и для опытных кодеров. 4 крутых проекта в портфолио, живое общение со спикером. Кликните и узнайте, чему можно научиться на курсе. Смотреть программу</a>