azat-io/eslint-plugin-de-morgan：de de morganの法則を介して否定されたブール式を変換するためのeslintプラグイン

De Morganの法則に従って、否定されたブール式を変換することにより論理的な一貫性を実施するESLINTプラグイン。

このプラグインは、コードの明確さを改善し、潜在的な論理エラーを減らすために、否定された接続詞と分離を自動的に書き直します。

ブール代数では、デ・モーガンの法律は、両方とも有効な推論ルールである2つの変換規則です。それらはアウグストゥス・デ・モーガンにちなんで名付けられ、数学、コンピューターサイエンス、デジタルロジックの分野で基本的です。法律は次のように述べています。

最初の法律：

$ neg（a land b） equiv（ neg a） lor（ neg b）$

第二法：

$ neg（a lor b） equiv（ neg a） land（ neg b）$

これらの原則を使用して、プラグインは2つのESLINTルールを提供します。

• 関連性のない順調 – 否定された接続詞（つまり、フォームの式！（a && b））を否定の同等の分離（！a ||！b）に変換します。
• ネグ付き偏見なし – 否定された分離（つまり、フォームの表現！（a || b））を否定の等価接続（！a &&！b）に変換します。

これらの変換は、ブール代数に基づいており、コードのロジックをより明確で理解しやすくするのに役立ちます。

De Morganの法律は、ブール代数の基礎であり、プログラミングにいくつかの実際的な利点があります。

• 明確さ：複雑な否定を書き換えると、多くの場合、基礎となる論理をより明確に伝える表現が生じます。

例えば：

次のようになります

if (!a || b || c  10 || d === e) {
  /* ... */
}

• 論理エラーを回避します：ネストされた論理表現に対処する場合、否定の配置における小さな間違いは微妙なバグにつながる可能性があります。よく知られている法律に基づいて一貫したスタイルを実施することにより、プラグインはそのようなエラーを減らすのに役立ちます。

• 簡素化：場合によっては、変換された式は、人間の読者とコンパイラ /通訳の両方で、評価と最適化がより簡単になる場合があります。

最初にインストールする必要があります eslint：

npm install --save-dev eslint

次に、インストールします eslint-plugin-de-morgan：

npm install --save-dev eslint-plugin-de-morgan

使用する最も簡単な方法 eslint-plugin-de-morgan 既製の構成を使用することです。

import deMorgan from 'eslint-plugin-de-morgan'

export default [
  deMorgan.configs.recommended,
]

module.exports = {
  extends: [
    'plugin:de-morgan/recommended-legacy',
  ],
}

codally自動的に修正できます --fix CLIオプション。

このプラグインはフォローしています セマンティックバージョン化 そして Eslintのセマンティックバージョンリングポリシー。

見る 寄稿ガイド。

©で Azat S.
お問い合わせ・広告・著作権・不具合に関するご連絡は [email protected] までメールでお願いします。