アカウント名:
パスワード:
コンピュータサイエンスの初級コースってのがどんな教育をする場かは知りませんが、アルゴリズムのお勉強とかは、C/C++ がベストと思うんですよね。使える機能がもっとも原始的という意味で。ま、最低、Java でもいいとは思うけど。
入門は弱い型付けな言語の方がいい。
int x;x = 0.5;が、エラーになるのは、スクリプト言語という選択肢がある昨今では、プログラムを学ぶ上では本質的ではない。コンパイラの都合、最適化、高速化の都合、書き間違いの検出、などなどの意味はあるけど、最初期にそこで引っかかって時間を無駄にする理由は特にない。
int a[10];float x;x = 0.5;a[x] = 0;一方、これがエラーになるのは、「配列の性質」だから、理解する必要がある。と言うように、弱い型付けの方が理に叶っている面が大きい。
あまり本質的ではないことには時間をかけずに、そこそこのものが作れるようになってから
> int x;> x = 0.5;> が、エラーになるのは、スクリプト言語という選択肢がある昨今では、プログラムを学ぶ上では本質的ではない。
うーん、整数を宣言する意図があるのに、その直後浮動小数点数を代入というのは思考が整理されていない証拠のように思うのです。数学でも、まずは自然数、次に整数、次に有理数、でもって実数と段階を踏みますよね。整数と浮動小数点数が区別できることは重要ではないかと。
まあ、これ以上は、動的型の言語か静的型の言語かの果てしない論争になるんでしょうけど。
>動的型の言語か静的型の言語かの果てしない論争
俺の中では、「型推論ありの静的型付け言語が最良」ととっくに結論が出てるなC++/Java/C#だって型推論を取り入れ始めたし、動的型付けの言語だって、実は最適化のために内部で型推論してる処理系は多い型推論ありの静的型付け言語を否定する意見があったら聞いてみたい
型付き論理は一般的ではないので論理型言語では動的型のほうがよい
C#はどっちかっつうと型推論普及の先駆者って感じ。で、後からdynaic型なんてのを導入してる。これは型推論とは逆方向のシンタックスシュガーと言えると思います。静的評価の否定ではないですが、動的評価の有用性も同様に肯定する姿勢ですね。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
日本発のオープンソースソフトウェアは42件 -- ある官僚
アルゴリズムのお勉強 (スコア:0)
コンピュータサイエンスの初級コースってのが
どんな教育をする場かは知りませんが、
アルゴリズムのお勉強とかは、C/C++ がベストと思うんですよね。
使える機能がもっとも原始的という意味で。
ま、最低、Java でもいいとは思うけど。
Re: (スコア:0)
入門は弱い型付けな言語の方がいい。
int x;
x = 0.5;
が、エラーになるのは、スクリプト言語という選択肢がある昨今では、プログラムを学ぶ上では本質的ではない。
コンパイラの都合、最適化、高速化の都合、書き間違いの検出、などなどの意味はあるけど、
最初期にそこで引っかかって時間を無駄にする理由は特にない。
int a[10];
float x;
x = 0.5;
a[x] = 0;
一方、これがエラーになるのは、「配列の性質」だから、理解する必要がある。
と言うように、弱い型付けの方が理に叶っている面が大きい。
あまり本質的ではないことには時間をかけずに、そこそこのものが作れるようになってから
Re:アルゴリズムのお勉強 (スコア:0)
> int x;
> x = 0.5;
> が、エラーになるのは、スクリプト言語という選択肢がある昨今では、プログラムを学ぶ上では本質的ではない。
うーん、整数を宣言する意図があるのに、その直後浮動小数点数を代入というのは
思考が整理されていない証拠のように思うのです。
数学でも、まずは自然数、次に整数、次に有理数、でもって実数と段階を踏みますよね。
整数と浮動小数点数が区別できることは重要ではないかと。
まあ、これ以上は、動的型の言語か静的型の言語かの果てしない論争になるんでしょうけど。
Re: (スコア:0)
>動的型の言語か静的型の言語かの果てしない論争
俺の中では、「型推論ありの静的型付け言語が最良」ととっくに結論が出てるな
C++/Java/C#だって型推論を取り入れ始めたし、
動的型付けの言語だって、実は最適化のために内部で型推論してる処理系は多い
型推論ありの静的型付け言語を否定する意見があったら聞いてみたい
Re: (スコア:0)
型付き論理は一般的ではないので論理型言語では動的型のほうがよい
Re: (スコア:0)
C#はどっちかっつうと型推論普及の先駆者って感じ。
で、後からdynaic型なんてのを導入してる。これは型推論とは逆方向のシンタックスシュガーと言えると思います。
静的評価の否定ではないですが、動的評価の有用性も同様に肯定する姿勢ですね。