NoVerify: linter PHP yang bekerja cepat

Pengembangan produk

Pilih linter

Noverify

Go adalah kompromi yang baik antara kecepatan pengembangan dan produktivitas.

• NoVerify beberapa kali lebih cepat daripada alternatif .

• Untuk itu, Anda dapat menulis ekstensi , baik Open Source, dan Anda sendiri. Penting bahwa kami dapat memisahkan cek ini, dan Anda dapat menulis sendiri.
• Mudah untuk diuji dan dikembangkan. Sebagian, karena distribusi Go standar memiliki kerangka kerja standar dengan profil dan pengujian. Ini terutama digunakan untuk pengujian unit. Khususnya tangkas dapat digunakan untuk integrasi, seperti yang kita lakukan - kami memiliki pengujian integrasi yang ditulis melalui tes Go.

Kompromi Integrasi

Mengintegrasikan

Pengaturan git

Positif palsu

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

Warning:
Property "foo" does not exist

Positif palsu mengganggu. 

Pilih-pilih

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

Warning:
use "count" instead of "sizeof"

Apa hubungannya dengan itu?

Kompromi

Tindakan yang bermanfaat di atas segalanya.

NoVerifikasi Detail Teknis

Bagaimana NoVerify Bekerja

Parsing dan analisis

• perubahan lokal : mengenai baseline kami menemukan kesalahan baru dalam kode;
• kami menunjukkan rentang revisi : revisi pertama dan terakhir, dan di antaranya semuanya inklusif - ini adalah kode baru, dan segala sesuatu yang "sebelumnya" sudah tua.

Ketikkan inferensi

• Yang diharapkan adalah apa yang kami jelaskan di komentar. Kami mengharapkan beberapa tipe dalam program, tetapi ini tidak berarti bahwa mereka benar-benar digunakan di dalamnya.
• Aktual - nyata yang ada di program. Misalnya, jika kita menetapkan angka pada sesuatu, maka jelas bahwa intatau float(jika ini adalah angka floating-point) akan menjadi tipe aktual. 

Diharapkan vs Aktual

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/

Ketikkan petunjuk

Mengetik statis dan mengetik tip bukanlah hal yang sama.

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

Anotasi

Komentar dan anotasi mungkin berbohong.

/** @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"; }
}

Sumber terbuka

PHP-, , , , PHP Russia.

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