NoVerify：一个运行良好的PHP linter

产品开发

选择一个短绒

规范化

Go是开发速度和生产率之间的良好折衷。

• NoVerify 比其他方法快几倍。

• 为此，您可以编写扩展，包括开源和您自己的。我们必须分开这些检查，并且您可以编写自己的检查，这一点很重要。
• 易于测试和开发。部分是因为标准的Go发行版具有带有概要分析和测试的标准框架。它主要用于单元测试。像我们一样，可以使用特别灵巧的集成-我们通过Go测试编写了集成测试。

整合的妥协

整合

Git设置

误报

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

Warning:
Property "foo" does not exist

误报会干扰。 

挑剔

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

Warning:
use "count" instead of "sizeof"

怎么办呢？

妥协

首先是有用的动作。

否验证技术细节

NoVerify如何运作

解析与分析

• 本地更改：关于基准，我们在代码中发现了新的错误；
• 我们指出了修订的范围：第一个和最后一个修订，并且它们之间的所有内容都包含在内-这是新代码，“之前”的所有内容都是旧的。

类型推断

• 期望是我们在注释中描述的内容，我们期望程序中有某些类型，但这并不意味着它们确实在程序中使用过。
• 实际 -程序中的实际值。例如，如果我们为某物分配一个数字，则很明显，int或float（如果它是浮点数）将是实际类型。 

预期与实际

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/

类型提示

静态类型输入和类型提示不是一回事。

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

注解

可能有评论和注释。

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

开源的

PHP-, , , , PHP Russia.

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