タグ

Haskellに関するcactusmanのブックマーク (2)

  • ライブドアブログ|無料で豊富な機能が充実

    絵日記 グルメ ライフスタイル・暮らし ペット 旅行海外 日記 ニュース スポーツ ビジネス・経済 趣味・創作 音楽 書籍・雑誌 漫画・アニメ ゲーム 受験・学校 ヘルス・ビューティ IT・家電 学問・科学 まとめ

    ライブドアブログ|無料で豊富な機能が充実
    cactusman
    cactusman 2008/03/31
    リアルujihisaは真面目で好青年。人間不信になりそうです。
  • 型宣言はどうして必要なのか? - snow-bellの日記

    正直奥が深すぎて理解しきれていないけど、とりあえず分かっている事を書きます 突っ込みどころがあったら指摘ヨロシクです★ 『型』とは何か? Q. 型を割り当てること(「型付け」)によってビットの集まりに意味が与えられる 型は通例、メモリ中の値と変数の両方と関連する。コンピュータではすべての値は単なるビットの集まりなので、ハードウェアはメモリアドレスやオペコード、cher、整数、浮動小数点数などの基的なデータの間でさえ何の区別も行わない 型はプログラムとプログラマにそれらのビット列をどのように扱うべきかの情報を与える Q. なぜ『型』を『宣言』する必要があるのか? 1. 型の使用によってコンパイラが無意味な、または不正であろうコードを検出することが可能になる 2. 表現力の高い型システムでは型はプログラマの意図を説明することができるので、ドキュメントの役割を果たすこともある 3. 抽象化(い

    型宣言はどうして必要なのか? - snow-bellの日記
  • 1