14 записей с тегом "Vavr"

1. Обзор​

Vavr — это мощная библиотека для Java 8+, построенная на основе лямбда-выражений Java. Вдохновленный языком Scala, Vavr добавляет к языку Java конструкции функционального программирования , такие как сопоставление с образцом, управляющие структуры, типы данных, постоянные и неизменяемые коллекции и многое другое.

В этой короткой статье мы покажем, как использовать некоторые фабричные методы для создания коллекций Vavr . Если вы новичок в Vavr, вы можете начать с этого вводного руководства , в котором, в свою очередь, есть ссылки на другие полезные статьи.

2. Зависимость от Maven​

Чтобы добавить библиотеку Vavr в свой проект Maven, отредактируйте файл pom.xml , включив в него следующую зависимость:

1. Обзор​

В этой статье мы сосредоточимся на сопоставлении шаблонов с помощью Vavr. Если вы не знаете, что такое Vavr, сначала прочитайте обзор Vavr . ``

Сопоставление с образцом — это функция, изначально недоступная в Java. Можно думать об этом как о расширенной форме оператора switch-case .

Преимущество сопоставления с образцом в Vavr заключается в том, что оно избавляет нас от написания множества вариантов switch или операторов if-then-else . Таким образом, он уменьшает объем кода и представляет условную логику в удобочитаемом виде.

Мы можем использовать API сопоставления с образцом, выполнив следующий импорт:

import static io.vavr.API.*;

1. Обзор​

Проверка — часто встречающаяся задача в Java-приложениях, поэтому в разработку библиотек проверки было вложено много усилий.

Vavr (ранее известный как Javaslang) предоставляет полноценный API проверки . Это позволяет нам проверять данные простым способом, используя объектно-функциональный стиль программирования. Если вы хотите взглянуть на то, что эта библиотека предлагает из коробки, не стесняйтесь проверить эту статью .

В этом руководстве мы подробно рассмотрим API проверки библиотеки и узнаем, как использовать его наиболее подходящие методы.

2. Интерфейс проверки​

1. Обзор​

В этой статье мы рассмотрим концепцию тестирования свойств и ее реализацию в библиотеке vavr-test .

Тестирование на основе свойств (PBT) позволяет нам указать высокоуровневое поведение программы в отношении инвариантов, которых она должна придерживаться.

2. Что такое тестирование свойств?​

Свойство представляет собой комбинацию инварианта с генератором входных значений . Для каждого сгенерированного значения инвариант обрабатывается как предикат и проверяется, дает ли он истинное или ложное значение для этого значения.