収束の数学およびプログラミング言語

Question

ことがあり強い運動の収束に関しての数学とコンピュータプログラミング言語で、これは特にどの影響により、ラムダ計算に現代の言語である。ほとんどの時間とは思えない数学を、私は考える。そのための多くの現象をモデリングすることができま数学的モデリングすることができま理論的にしています。

いとは思わないままだ純粋に論理的な言語または純粋に数学の牽引力であり、一般プログラミングがこのような在庫の各パラダイム教えてください:

• 特典にはどんなものがありますかのモデリングプログラミング言語または言語機能数学?
• 特典にはどんなものがありますかのモデリング言語の理念の形式的論理によるものか。
• できる汎用的な言語を逃はロジックまたは数学?
• それでは、ある言語は、本当ショーオフのどちらかのアプローチを考えていますか。
• どのハードウェアのショートメッセージの一つのアプローチよりも魅力的に。

Answer 1

まずないではないかとの区別の論理と数学後者は前者の応用を体系的に特定の給するものです。

また、私はこの理論的な美しさのプログラミング言語基づく数学-論理は本当にあっというもののよう書面に効率的に、コードです。

としています特定の質問をします。

特典にはどんなものがありますかのモデリング プログラミング言語や言語 特に数学?特典にはどんなものがありますかのモデリング言語の理念の形式的論理によるものか。

証明の正確でスムーズになります-それはるかどうか疑わしいものがな学習とを組み合わせたシステム.

できる汎用的な言語を逃 のいずれかロジックまたは数学?

によって異なりますの平均と"逃".できる言語な数学的操作もしていただくことになりますかesotheric;チューリング機械のみんなも増分または減分)であ慮して定着しつつあ値（アセンブラ、C).とは言えないように思いでついてのプログラミング言語な論理(りますが、変態の論理です。 Malbolge)

それでは、ある言語は、本当ショーオフのどちらかのアプローチを考えていますか。

で、一度中をご覧頂ければそのラムダ計算の論理は、そのLispて、その特典ともいては1958年以降の言語表現力その他の言語を目指すものなの管理)に到達する。

そのPrologだけではなく、"重大な"言語を知っているときに明示的に基づく正式な論理です。とquelleもびっくりすることではなく良いロジックものでした。

どのハードウェアのショートメッセージの一つのアプローチよりも魅力的に。

します。失敗の Lisp機 証IMOか最終的にそのコンパイラでコンパイ＋一般的なハードウェアにより特定のハードウェア.しかし、あるいはこう言って良ければ、単純づく電力のシステムはできる言語は、完全に無視するハードウェア制約の実践がなされてこなかった.

Answer 2

コンピュータサイエンスの数学の特別BRANCHEであるため、 - 数学とプログラミング言語のない収束がありません。プログラミング言語は数学を適用しています。それは他の人（あまり深い知識を持つほとんどの時間）が使用する数学の深遠な知識で持つ人々によって作成されたツールです。研究物理学がなくても、あなたはそれを使用することができますが、まだそれは応用物理学です - あなたは光スイッチと比較することができます。時々、（あなたは問題がある場合は特に）、「知識」を持っていることが必要です。そして、あなたは特別な背景を必要としています。

Answer 3

さて、これらのいわゆる「現代のプログラミング言語」の多くは、ちょうど50年以上にわたり、様々なプログラミング言語にされている事をimlpementingている正直に言うと。

Answer 4

  

数学上のプログラミング言語または言語機能をモデル化するメリットは何ですか？   形式論理の原則に基づいて言語をモデル化するメリットは何ですか？

これらは同じものです。正式なロジックだけで数学の一分野です。正式な数学を使用して2つの主要な利点は、最適化と安全性です。アルゴリズムは何の副作用（すなわち、参照透明）を有しておらず、単に純粋数学コンパイラを使用して表現される場合、数学の規則に従ってアルゴリズムを再構築することができます。これは、最適化コードへのコンパイラのことが容易になり、並列アーキテクチャを活用します。もう1つの重要な利点は、コードの特定の性質を証明する機能です。

  

汎用言語缶見送ります   ロジックや数学のどちらか？

はありません。どのようにロジックや数学なしでブール演算や算術演算を行うだろう。あなたは、私が理解していないことをここで何かを意味するかもしれません。

  

本当にどちらかのアプローチの利点を誇示することを言語のいくつか教えてください。

ハスケル、ML、OCamlで、ミランダ、アリス、オズ、アーラン、Twelf、コック、プロローグ、すべてはプログラミングに数学のより厳密なアプリケーションを示します。

  

どのようなハードウェアの機能が他方よりも一つのアプローチをより魅力的？

私は、ハードウェアは非常にプログラミングに厳密な数学的アプローチの利点の観点で物事を変えるとは思いません。参照透明コードの利点は、コンパイラのレベルで、ほとんどあります。