NoVerify: um linter PHP que funciona rápido

Desenvolvimento de Produto

Escolha um linter

Noverify

O Go é um bom compromisso entre velocidade de desenvolvimento e produtividade.

• O NoVerify é várias vezes mais rápido que as alternativas .

• Para isso, você pode escrever extensões , tanto de código aberto quanto as suas. É importante que possamos separar essas verificações e você pode escrever suas próprias.
• Fácil de testar e desenvolver. Em parte, porque a distribuição Go padrão tem uma estrutura padrão com criação de perfil e teste. É usado principalmente para testes de unidade. Particularmente hábil pode ser usado para integração, como fazemos - temos testes de integração escritos através de testes Go.

Compromisso de integração

Integrar

Configuração do Git

Falso-positivo

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

Warning:
Property "foo" does not exist

Os falsos positivos interferem. 

Pickiness

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

Warning:
use "count" instead of "sizeof"

O que fazer com isso?

Compromisso

Ação útil acima de tudo.

Detalhes técnicos NoVerify

Como funciona o NoVerify

Análise e análise

• mudanças locais : em relação à linha de base, encontramos novos erros no código;
• indicamos a gama de revisões : a primeira e a última revisão, e entre elas tudo é inclusivo - esse é o novo código e tudo o que “antes” é antigo.

Inferência de tipo

• Esperado é o que descrevemos nos comentários. Esperamos alguns tipos no programa, mas isso não significa que eles sejam realmente usados ​​nele.
• Real - reais que estão no programa. Por exemplo, se atribuirmos um número a alguma coisa, é óbvio que intou float(se esse for um número de ponto flutuante) serão tipos reais. 

Esperado x 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/

Digite dica

Digitação estática e dica de tipo não são a mesma coisa.

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

Anotações

Comentários e anotações podem 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"; }
}

Código aberto

PHP-, , , , PHP Russia.

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