NoVerify: un linter PHP que funciona rápido

Desarrollo de productos

Elige un linter

Noverificar

Go es un buen compromiso entre la velocidad de desarrollo y la productividad.

• NoVerify es varias veces más rápido que las alternativas .

• Para ello, puede escribir extensiones , tanto de código abierto como propias. Es importante que podamos separar estos cheques, y usted puede escribir los suyos.
• Fácil de probar y desarrollar. En parte, porque la distribución Go estándar tiene un marco estándar con perfiles y pruebas. Se utiliza principalmente para pruebas unitarias. Particularmente diestros se pueden usar para la integración, como lo hacemos nosotros: tenemos pruebas de integración escritas a través de las pruebas Go.

Compromiso de integración

Integrar

Configuración de Git

Falsos positivos

function get_foo($obj) {
    return $obj->foo;
    ^^^
}

Warning:
Property "foo" does not exist

Los falsos positivos interfieren. 

Quisquilloso

$len = sizeof($x);
    ^^^^^^

Warning:
use "count" instead of "sizeof"

¿Qué hacer con ello?

Compromiso

Acción útil sobre todo.

Detalles técnicos de NoVerify

Cómo funciona NoVerify

Análisis y análisis

• cambios locales : con respecto a la línea de base encontramos nuevos errores en el código;
• indicamos el rango de revisiones : la primera y la última revisión, y entre ellas todo es inclusivo: este es el nuevo código y todo lo que "antes" es antiguo.

Inferencia de tipos

• Lo esperado es lo que describimos en los comentarios. Esperamos algunos tipos en el programa, pero esto no significa que realmente se usen en él.
• Reales : reales que están en el programa. Por ejemplo, si asignamos un número a algo, entonces es obvio que into float(si este es un número de punto flotante) serán tipos reales. 

Esperado vs real

class Foo {
    /** @return static */
    public function newStatic() : self {
        return new static();
    }
}
// actual = Foo
// expected = static

class Foo {
    /** @return static */
    public function newStatic() : self {
        return new static();
    }
}
// actual -  PHP 
// expected -   IDE/

Sugerencia de tipo

La escritura estática y la sugerencia de tipo no son lo mismo.

declare(strict_types=1);
    function f(T $foo) {
        $foo = 10; //  int
        return $foo;
}

declare(strict_types=1);
function f(T $foo) {
    $foo = 10; //  int
    return $foo;
}
// ? 1. f -> int
// ? 2. f -> T|int
// ? 3. f -> T

Anotaciones

Los comentarios y las anotaciones pueden mentir.

/** @return int */
function f() { return "I lied!"; }

interface IFoo {
    /** @return int */
    public function foo();
}
class Fooer implements IFoo {
    /** @inheritdoc */
    public function foo() { return "10"; }
}

interface IFoo {
    /** @return int */
    public function foo();
}
class Fooer implements IFoo {
    /** @return string */
    public function foo() { return "10"; }
}

Fuente abierta

PHP-, , , , PHP Russia.

, . , , . telegram- @PHPRussiaConfChannel. , .