問題タブ [programming-languages]

CPU アーキテクチャの状況が変わりました。マルチコアは、ソフトウェアの開発方法を変えるトレンドです。私は C、C++、および Java でマルチスレッド開発を行い、さまざまな IPC メカニズムを使用してマルチプロセス開発を行いました。スレッドを使用する従来のアプローチでは、高度な並行性をサポートするハードウェアを開発者が利用することは容易ではないようです。

並行アプリケーションを作成する際の従来の課題を軽減するのに役立つ言語、ライブラリ、および開発手法は何ですか? 私は明らかに、デッドロックや競合状態などの問題を考えています。設計手法、ライブラリ、ツールなども興味深いものであり、利用可能なリソースを実際に活用し、確実に利用できるようにします。安全で堅牢なスレッド化されたアプリケーションを作成するだけでは、利用可能なすべてのコアを確実に使用できるわけではありません。

私がこれまでに見たものは次のとおりです。

• Erlang : プロセスベース、メッセージパッシング IPC、「アクターの同時実行モデル」
• Dramatis : Ruby および Python 用の俳優モデル ライブラリ
• Scala : 同時実行サポートが追加された JVM 用の関数型プログラミング言語
• Clojure : アクター ライブラリを使用した JVM 用の関数型プログラミング言語
• Termite : Erlang のプロセス アプローチと Scheme へのメッセージ パッシングのポート

他に何を知っていますか、何が効果的で、何を見るのが面白いと思いますか?

静的型言語と比較した動的型言語の利点と制限は何ですか?

参照:動的言語への愛を込めて(はるかに議論の余地のあるスレッド...)

プログラミング言語が異なれば、機能も異なるか、特定の機能が不足しています。デザインパターンは、これらの欠点を回避する方法です。静的なオブジェクト指向言語（Java、C ++）のデザインパターンに関する本やリストだけでなく、Pythonのデザインパターンに関するビデオも見てきました。

Forth、Icon、Lispなどの他の言語でのいくつかの一般的なデザインパターンを見ることに興味があります。それらがどのように見えるか、そしてなぜそれらが言語で必要とされるのかについての簡単な説明がいいでしょう。たぶん、デザインパターンなしでこの問題を解決する別の言語との短い比較。

この用語は、いくつかの異なる文脈で投げかけられているのを耳にします。それは何ですか？

Haskells レイアウト機能に関する多くの情報を見つけることができないようです。これは、オプションであることを除いて、pythons の書式設定要件のようなものであることを理解しているためです。このオプションを正しく使用しないようにするにはどうすればよいですか? 言語自体にしっかりとした感触を得るために、それなしで始めるのは良い考えでしょうか?

ショートストーリー：

Perl から Python への切り替えに関するプレゼンテーションや優れた記事を探しています。

より長い話:

私はハードウェア設計グループのプログラマー/組み込みハードウェア エンジニアです。数年前、私は同僚にスクリプト作成に Perl を使用するよう説得しました (バッチ ファイル、Excel、Matlab、および TCL の奇妙な組み合わせの代わりに)。それ以来、私自身も Perl から Python に切り替えましたが、その変化にとても満足しています。どうにかして同僚に私の道を歩むよう説得したいのですが、彼らを納得させるには良い点が必要です。これらは、より優れたリフレクション機能のような重いプログラマーのブードゥーではありません (私とは異なり、ここにいるほとんどの人は EE の卒業生であり、プログラマーではありません)。

何か案は ？トピックに関する良い記事/プレゼンテーション ? おそらく、誰かがすでにそれを行っていて、ヒントを共有できるでしょう。

ノート：

このスレッドは多少同じトピックに関するものですが、私の要件には完全には適合しません。

次のスニペットを取ります。

言語設計者は冗長性を意図していましたか？もしそうなら、なぜですか？

どの言語がネイティブ マルチスレッドをサポートしているか (またはサポートしていないか)、おそらく実装に関する詳細を知りたいと思っています。この特定の機能の完全な概要を作成できれば幸いです。

任意精度の算術演算をサポートするプログラミング言語は何ですか?また、任意の桁数を出力する方法の簡単な例を挙げていただけますか?

ウィキペディアには次のように書かれています。

完全な関数型プログラミング (通常の関数型プログラミングまたは弱い関数型プログラミングとは対照的に、強力な関数型プログラミングとも呼ばれます) は、プログラムの範囲を、終了することが証明されているプログラムに制限するプログラミング パラダイムです。

と

これらの制限は、関数型プログラミング全体がチューリング完全ではないことを意味します。ただし、使用できるアルゴリズムのセットは依然として膨大です。たとえば、漸近的な上限が計算されたアルゴリズムは、反復または再帰ごとに減分される追加の引数として上限を使用することにより、証明可能な終了関数に自明に変換できます。

Total Functional Programmingに関する論文についての Lambda The Ultimate Post もあります。

私はメーリングリストで先週までそれを知りませんでした。

あなたが知っているリソース、参照、または実装例は他にありますか?