NoVerify: एक PHP लिंटर जो तेजी से काम करता है

उत्पाद विकास

लिंटर चुनें

Noverify

विकास की गति और उत्पादकता के बीच गो एक अच्छा समझौता है।

• NoVerify विकल्पों की तुलना में कई गुना तेज है ।

• इसके लिए, आप एक्सटेंशन , दोनों ओपन सोर्स और अपने खुद के लिख सकते हैं। यह महत्वपूर्ण है कि हम इन चेक को अलग कर सकते हैं, और आप अपना स्वयं का लिख ​​सकते हैं।
• परीक्षण करने और विकसित करने में आसान। आंशिक रूप से, क्योंकि मानक गो वितरण में रूपरेखा और परीक्षण के साथ एक मानक ढांचा है। यह मुख्य रूप से इकाई परीक्षण के लिए उपयोग किया जाता है। विशेष रूप से निपुणता का उपयोग एकीकरण के लिए किया जा सकता है, जैसा कि हम करते हैं - हमारे पास गो परीक्षण के माध्यम से लिखित एकीकरण परीक्षण है।

एकीकरण का समझौता

एकीकृत

गिट सेटअप

झूठी सकारात्मक

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

Warning:
Property "foo" does not exist

झूठे सकारात्मक हस्तक्षेप करते हैं। 

Pickiness

$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. , .