NoVerify: un linter PHP qui fonctionne rapidement

Développement de produits

Choisissez un linter

Noverify

Go est un bon compromis entre vitesse de développement et productivité.

• NoVerify est plusieurs fois plus rapide que les alternatives .

• Pour cela, vous pouvez écrire des extensions , à la fois Open Source et les vôtres. Il est important que nous puissions séparer ces chèques, et vous pouvez écrire les vôtres.
• Facile à tester et à développer. En partie, parce que la distribution Go standard a un cadre standard avec profilage et tests. Il est principalement utilisé pour les tests unitaires. Particulièrement habile peut être utilisé pour l'intégration, comme nous le faisons - nous avons des tests d'intégration écrits via des tests Go.

Compromis d'intégration

Intégrer

Configuration de Git

Faux positifs

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

Warning:
Property "foo" does not exist

Les faux positifs interfèrent. 

Pickiness

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

Warning:
use "count" instead of "sizeof"

Que dois-je faire avec ça?

Faire des compromis

Action utile avant tout.

Détails techniques de NoVerify

Comment fonctionne NoVerify

Analyse et analyse

• changements locaux : concernant la ligne de base, nous trouvons de nouvelles erreurs dans le code;
• nous indiquons la gamme des révisions : la première et la dernière révision, et entre elles tout est inclusif - c'est le nouveau code, et tout ce qui «avant» est ancien.

Inférence de type

• Attendu est ce que nous décrivons dans les commentaires. Nous nous attendons à certains types dans le programme, mais cela ne veut pas dire qu'ils sont vraiment utilisés en elle.
• Réel - les vrais qui sont dans le programme. Par exemple, si nous attribuons un numéro à quelque chose, alors il est évident que intou float(s'il s'agit d'un nombre à virgule flottante) seront des types réels. 

Attendu vs réel

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/

Indice de type

La saisie statique et l'indication de type ne sont pas la même chose.

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

Annotations

Les commentaires et les annotations peuvent 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"; }
}

Open source

PHP-, , , , PHP Russia.

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