• Rust: Знакомимся с языком на примере «Угадай-ки»

    • Перевод
    • Tutorial

    Давайте познакомимся с Rust, поработав над маленьким проектом! Мы покажем основные концепты Rust на реальном примере. Вы узнаете о let, match, методах, ассоциированных функциях, подключении сторонних библиотек и много о чем другом. Мы реализуем классическую задачу: игра “угадай-ка”.

    Читать дальше →
  • Самый медленный способ ускорить программу на Go

    • Перевод

    Есть что-то прекрасное в программировании на ассемблере. Оно может быть очень медленным и полным ошибок, по сравнению с программированием на языке, таким как Go, но иногда — это хорошая идея или, по крайней мере, очень весёлое занятие.


    Зачем тратить время на программирование на ассемблере, когда есть отличные языки программирования высокого уровня? Даже с сегодняшними компиляторами все ещё есть несколько случаев, когда захотите написать код на ассемблере. Таковыми являются криптография, оптимизация производительности или доступ к вещам, которые обычно недоступны в языке. Самое интересное, конечно же, оптимизация производительности.


    Когда производительность какой-то части вашего кода действительно имеет значение для пользователя, а вы уже попробовали все более простые способы сделать его быстрее, написание кода на ассемблере может стать хорошим местом для оптимизации. Хотя компилятор может быть отлично оптимизирован для создания ассемблерного кода, вы можете знать больше о конкретном случае, чем может предположить компилятор.

    Читать дальше →
  • LL(*) парсер с использованием Rust макросов

      Wow. Such Rust. Much macro.

      Wow. Such Rust. Much macro. © картинка - Твиттер аккаунт Servo


      Язык Rust стремительно набирает обороты. Кто-то пророчит ему стать заменой C/C++, кому-то он просто нравится. Я скорее принадлежу ко второй группе. Разработчики стараются сделать его удобным и безопасным. В нем есть конструкции и принципы, которые еще не скоро появятся в "плюсах", ввиду инерции комитета и множества других причин. Поэтому, для всех личных проектов я предпочитаю использовать именно Rust.


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


      Однажды, когда я в очередной раз застрял с синтаксическим анализатором (он же "парсер"), я подумал, что уж очень много я пишу однотипного кода. И этот однотипный код один в один ложится на грамматику в форме Бэкуса — Наура (БНФ).


      Немного подумав, я решил, что мне надо написать генератор кода на основе грамматики. И для этой задачи как нельзя хорошо подходят макросы в Rust.


      В статье описана реализация LL(*) парсера с использованием макросов. И реализован парсер простых математических выражений.


      В итоге парсер для БНФ грамматики:


      expr ::= sum
      sum  ::= mul "+" sum | mul "-" sum | mul
      mul  ::= atom "*" mul | atom "/" mul | atom
      atom ::= "(" expr  ")" | number | neg;
      neg  ::= "-" atom

      Можно сгенерировать с помощью серии макросов:


      rule!(expr, sum);
      rule!(sum, or![
           and![(mul, token('+'), sum) => make_operator],
           and![(mul, token('-'), sum) => make_operator],
           mul
      ]);
      rule!(mul, or![
           and![(atom, token('*'), mul) => make_operator],
           and![(atom, token('/'), mul) => make_operator],
           atom
      ]);
      rule!(atom, or![
          and![(token('('), expr, token(')')) => |_lbrace, stat, _rbrace| Some(stat)],
          num,
          neg
      ]);
      rule!(neg, and![(token('-'), atom) => |_, number| Some(Box::new(expression::Expression::Negate(number)))]);
      Читать дальше →
    • Rust: «Векторы — это значения»

      • Перевод

      В последнее время я долго думал над персистентными коллекциями и в особенности над тем, как они относятся к Rust. Хочу поделиться с вами своими наблюдениями.


      О том, как устроены персистентные векторы, быстрее ли они традиционных коллекций — смотрите под катом.

      Читать дальше →
    • JavaParser. Корёжим код легко и непринуждённо

        В мире существует множество клёвых маленьких библиотек, которые как бы и не знаменитые, но очень полезные. Идея в том, чтобы потихоньку знакомить Хабр с такими вещами. Сегодня расскажу о JavaParser.


        JavaParser — это набор инструментов для парсинга, анализа, трансформации и генерации Java-кода. Иначе говоря, если нужно взять кусок джавакода и как-то его покорёжить подручными методами и без необходимости в особых знаниях, эта либа — самое то.


        Где-то посреди статьи вы ВНЕЗАПНО можете осознать, какой кошмар и ужас можно сотворить этой либой, и никак не дождётесь дочитать текст и полить меня гневными комментариями. Не сдерживайтесь, не стоит — сразу скрольте до самого низу и изливайте душу :)



        Читать дальше →
      • Неявность

        • Перевод

        Часто, когда я обсуждаю дизайн Rust на RFCs или на internals-форуме с другими пользователями, я замечаю характерные высказывания насчет явности. Обычно что-то в духе:


        Мне не нравится <дизайн возможности X>, потому что он менее явный. Всякая магия уместна в <другом языке Y>, а Rust — это явный язык, так что следует использовать <дизайн возможности Z>.

        Подобные комментарии жутко меня раздражают, потому что дают очень мало полезной обратной связи. Они лишь утверждают, что "явное лучше неявного" (при этом предполагается, что это бесспорное утверждение), и что какой-то дизайн менее явный, чем альтернатива (хотя часто даже не приводится объяснений, почему именно критикуемый дизайн менее явный), из чего следует, что их подход предпочтительнее.


        В своей опубликованной ранее в этом году заметке Аарон пытался докопаться до сути вопроса явности, обсуждая размер контекста (reasoning footprint). Он попытался разбить понятия "явность" и "неявность" на составные части, чтобы подготовить почву для суждения о явности дизайна той или иной возможности. Я же хочу изложить немного другой взгляд на проблему и попытаюсь очертить в общих словах, что мы подразумеваем под словом "явный".


        Английский — довольно нечеткий язык, в котором прилагательные имеют множества контекстно-зависимых значений, например, как используется слово "нечеткий" (fuzzy) в предыдущем предложении. Слово "явный" тоже многозначно, так что я не могу утверждать наверняка, что кто-то неправильно использует это слово. Однако я предлагаю выражать свои мысли при обсуждении "явности" более четко, чтобы все лучше понимали, о чем именно идет речь.

        Читать дальше →
      • AdBlock похитил этот баннер, но баннеры не зубы — отрастут

        Подробнее
        Реклама
      • Что такое Tokio и Async I/O и зачем это нужно?

        • Перевод

        Сообщество Rust в последнее время сконцентрировало много своих усилий на асинхронном вводе/выводе, реализованном в виде библиотеки Tokio. И это замечательно.


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


        • Что это такое — Async I/O?
        • Что такое корутины (coroutines)?
        • Что такое легковесные нити (threads)?
        • Что такое футуры? (futures)?
        • Как они сочетаются между собой?

        Рассмотрим модели многопоточности на примере Rust и Go.

        Читать дальше →
      • Выравнивание инструкций кода

        • Перевод
        Насколько трудно может быть измерить производительность простой функции, вроде вот этой?

        // func.cpp
        void benchmark_func(int* a)
        {
        	for (int i = 0; i < 32; ++i)
        		a[i] += 1;
        }

        Ну, давайте просто завернём её в какой-нибудь микробенчмарк, вызовем её много-много раз (для усреднения результатов) и посмотрим, что получится, да? Ну ладно, мы можем ещё посмотреть на сгенерированные инструкции просто чтобы убедиться, что компилятор чего-то там не «наоптимизировал». Мы можем также провести несколько разных тестов, чтобы убедиться, что именно цикл является узким местом. Ну и всё. Мы понимаем, что мы измеряем, да?

        Давайте представим, что в нашем файле есть ещё одна функция, скорость работы который вы тоже замеряете, но в отдельных тестах. Т.е. файл выглядит как-то так:

        // func.cpp
        void foo(int* a)
        {
        	for (int i = 0; i < 32; ++i)
        		a[i] += 1;
        }
        
        void benchmark_func(int* a)
        {
        	for (int i = 0; i < 32; ++i)
        		a[i] += 1;
        }

        И вот однажды ваш менеджер приходит к вам и показывает претензию от пользователя вашей библиотеки, которая заключается в том, что она не работает настолько быстро, как вы обещали. Но постойте, мы ведь хорошо измерили производительность и обещали ровно то, что получили по результатам тестов. Что же пошло не так?
        Читать дальше →
      • Неопределённое поведение != Небезопасное программирование

        • Перевод
        От переводчика:
        Предлагаю вашему вниманию перевод двух постов из блога John Regehr. Я решил объединить их в одной публикации потому, что, во первых, они имеют небольшой объём, и, во-вторых, второй пост является продолжением первого, и является ответом на комментарий к первому посту на Hacker News.

        Ссылка на первый пост
        Ссылка на второй пост

        image

        Часть 1. Неопределённое поведение != Небезопасное программирование


        Неопределённое поведение (UB) в C и C++ представляет собой опасность для разработчиков, особенно если код работает с недоверенными данными. Менее известно, что неопределённое поведение существует в промежуточном представлении (IR) большинства оптимизирующих AOT компиляторов. Например, LLVM IR имеет значение undef и «отравленные» значения в дополнение к взрывоопасному UB языка С. Когда люди начинают беспокоиться об этом, типичная реакция такова: “Что? LLVM IR так же плох, как и C!” Эта статья объясняет, почему считать так неверно.
        Читать дальше →
      • Rust: качаем ленту и парсим JSON

        • Перевод
        • Tutorial

        Я покажу вам, как написать небольшую программу, которая скачивает ленту(feed) в формате JSON, парсит и выводит список заметок на консоль в форматированном виде.


        У нас все вылилось в очень лаконичный код. Как? Смотрите под катом.

        Читать дальше →
        • +30
        • 7,4k
        • 7
      Самое читаемое