問題タブ [syntax-checking]

小さなプログラムでは、ユーザーは複数のタイプされた数式を挿入し、それらを結び付けて連立方程式のシステムを作成します。そして、次元が一致しない場合にエラーを報告するために、実行時の型チェックを導入したいと思います

基本的な型は何でもかまいません。たとえばPersons, Money, Money/Period, m^2/s^2、実行時に文字列として入力されます。

Hindley-Milner 型推論について読みましたが、少し誇張されていると思いました。

私の考えは、次の 2 つのルールに依存することでした。

最初にトークン化し、次に

a*b の場合、個々の次元の数を追跡するという意味で、次元は「拡張」または「縮小」されます。

次に、個々のカウントを減算Money(2) Person(1) Year(1)します。final type

これは、ツリー ウォーカーとして実装できます。ここでは、次元の制約が (+/-) ノードごとにテストされ、単純化して最終的な答えが得られます。

これは、この問題を解決する良い方法ですか?

さまざまなコード品質の問題をチェックする監査機能をアプリケーションに構築しようとしています。

私がやりたいことの 1 つは、特定の PHP ファイルの構文エラーをチェックすることです。php_check_syntax()を使用する予定でしたが、PHP 5.0.5 で削除されました。

exec()ステートメントを使用してみましたが、何も出力されません。date動作していることを確認するために追加しましたexec()：

出力：

PHPの構文エラーについてPHPファイルをチェックするにはどうすればよいですか?

MySQL Workbench でクエリを作成する際に構文/エラー チェックをオフにする方法はありますか? 入力している間はほぼ常に遅延が発生し (エラーを通知するため、おそらく構文をチェックするため)、リモート サーバーに接続している場合はさらに悪化します。

これをオフにする方法はありますか？環境設定と利用可能なドキュメントを確認しましたが、何も見つかりません。

OSX Mavericks で 6.0 Community Edition を使用しています。

Qt Creator は、いくつかの構文チェックを通じて C++ コードのエラーを見つけることができます。ただし、コンパイルボタンを押すのを止めません。コードにエラーがある場合にコンパイルを開始しないように構成する方法はありますか?

たとえばstd:.cout、最後のセミコロンなどを書き込んだり、見逃したりすると、赤い下線付きの警告が表示されます。ただし、コンパイル ボタンを押すことはできますが、コンパイラがコードに問題があることに気付くまで数秒待つ必要があります。停止させて、構文チェックに基づいてどこかにエラーがあることを知らせることはできますか?