Lispの型システムのトラブル

Question

このタイプのステートメントをサポートするために必要なLispの型システムの

思考

私はLispのに非常に新しいですので、私も疑問にアプローチする方法についてはわからないと思います。 私はタイプシステムは基本的にそれがどのように動作し、何をすることができる言語のルールであると理解しています。私はこの1行のコードでLispの機能をどのように記述するのか分かりません。

Answer 1

これは宿題に関する質問ですので、私はあなたに答えません。代わりに、私はあなたに正しい質問をするのを手伝っています。

あなたがまだわかっていない、または理解していない質問にコンセプトがある場合は、が最初にであることを理解してください。

タイプシステムは基本的にどのように動作し、何ができるのかの言語のルールです。

はバックステップを取ると、この文は「型システム」のご理解について語っている程度何と思います。 タイプシステムとは何ですか？私はそうは思わない。 タイプシステムの目的を理解していますか？私はそうは思わない。

まず、これらの質問にお答えください。

• 動的タイピングと静的タイピングの違いは何ですか？（Wikipediaへの簡単なジャンプです）あなたの理解を確認するために、これらの質問に答えてみてください。
• 強タイピングと弱タイピングの違いは何ですか？
• 42はタイプIntegerを持っている、といくつかの機能fooはタイプIntegerの単一のパラメータを取り、Stringを返した場合、表現​​（関数を呼び出す）の種類は何ですか？
• "OMG"はタイプStringを持っている、といくつかの機能fooはStringのタイプIntegerの単一のパラメータを取り、返した場合、表現(foo "OMG")の種類は何ですか？

Lispだけでなく、Java、C、C++、Haskellのような他の言語の最後の2つの質問に答えてみてください。

さて、（ここではCommon Lispのevalに保つ）の種類を考えてみてください：

(eval '(+ 1 2)) 

そして最後に、タイプのものです：あなたが話しているかimplimentation

(eval (read))