7

可能であれば、正式な検証に適した高レベルのシステム言語を探しています。これは標準 C にコンパイルされ、(比較的) 低いオーバーヘッドでクロスプラットフォームで実行できるようにします。

過去数日間に私が遭遇した、最も有望な 2 つの言語は次のとおりです。

  1. BitC - この言語の設計目標は私のニーズに合っていますが (機能パラダイムをサポートしています)、非常に不安定な状態にあり、ドキュメントは古くなっています。世界プロジェクト。

  2. Lisaac - 非常にクールでパフォーマンスのオーバーヘッドが比較的低い Design-by-contract をサポートしています. しかし、ウェブサイトは死んでおり、2008 年以来新しいリリースはなく、一般的に言語は死んでいるようです.

また、これはリアルタイム システムを対象としたものではないことにも注意してください。そのため、GC や一般的に非決定性 (リアルタイムの意味で) は問題ではありません。

このプロジェクトは主にオーディオ処理を含みますが、クロスプラットフォームである必要があります。

誰かが私に明白な答えを教えてくれると思います-「普通のC」。真にクロスプラットフォームで非常に効果的ですが、コード量はおそらくもっと多くなります。

編集:クロスプラットフォームとクロスアーキテクチャを意味することを明確にする必要があります。そのため、そもそも C にコンパイルされた言語のみを検討しますが、別の例を教えていただければ幸いです :)

4

2 に答える 2

3

ATSに興味を持っていただけると思います。それは C にコンパイルされます (実際には、形式的な型理論の観点から多くの C のイディオムとパターンを表現および説明しています。これを示すような本を準備することさえ提案されています。もっと時間があれば...)。

このプロジェクトは主にオーディオ処理を含みますが、クロスプラットフォームである必要があります。

オーディオ処理についてはよくわかりませんが、主にコンピューター グラフィックスの作業を行ってきました (ほとんどは基本的なことで、試してみるためだけです)。

また、ATS が Windows で動作するかどうかもわかりません (試したことはありません)。

(免責事項: 私はしばらくの間 ATS を使用してきました。ATS はかさばる大きな言語であり、時には使いにくいものですが、ATS を使用して作成できるプログラムの品質が非常に気に入りました。いくつかの現実的なプログラムのGLES2 バインディングのTEST サブディレクトリ)

于 2012-03-20T04:52:09.167 に答える
2

以下は要件に厳密に準拠しているわけではありませんが、とにかく言及したいと思います。コメントするには長すぎます。

PypyのRPythonはCに変換できます。これはそれについての素晴らしい話です。Smalltalk、JavaScript、Io、Scheme、Gameboy （さまざまな程度の完全性を備えた）を実装するために使用されてきましたが、スタンドアロンプ​​ログラムを作成することもできます。これは主に、 Intel x86（IA-32）およびx86_64プラットフォームで実行されるPython言語の実装で知られています。

翻訳プロセスには、有能なCコンパイラが必要です。ツールチェーンは、フォーマル検証のために再利用する可能性のあるコード（翻訳プロセス自体によって使用される）に関するさまざまなことを推測する手段を提供します。

PythonとCの両方を知っている場合は、Pythonのような構文をCに変換するcythonを使用できます。これはCPython拡張機能の記述に使用されます。

于 2012-03-20T05:06:18.820 に答える