タグ

ブックマーク / www.sampou.org (3)

  • A Gentle Introduction to Haskell: IO

    やさしい Haskell 入門 ( バージョン 98 ) back next top 7  入出力 Haskell の I/O システムは純粋に関数的で、なおかつ、伝統的なプログラミン グ言語がもつ表現力をすべて兼備えています。命令型の言語では、プログラムは 世界の現在の状態を確認し変更するアクションを通じて進行します。 典型的なアクションには、グローバル変数を読むこと、設定すること、ファイル への書き込み、入力の読み込み、ウィンドウのオープンなどが含まれています。 このようなアクションは Haskell の一部ですが、言語のコアの部分からは、すっ きりと切離されています。 Haskell の I/O システムはちょっとひるんでしまうような数学の基盤、モ ナド ( monad ) を基礎として築かれています。しかし、I/O システム を使う上で底流にあるモナドの理論を理解する必要はありませ

    Hash
    Hash 2015/02/20
  • A Gentle Introduction to Haskell: About Monads

    やさしい Haskell 入門 (バージョン 98 ) back next top 9  モナドについて はじめて Haskell にふれる多くのひとにとって モナド ( monad ) の概念は謎です。Haskell ではモナドに頻繁に出会います。 I/O システムはモナドによって構成されていますし、モナドのための特別な構文 ( do 式)も用意されています。また、モナドのためだけのモジュール も標準ライブラリに含まれています。このセクションではモナドを使ったプログ ラミングについて詳細にみていきましょう。 このセクションは他のセクションにくらべるとおそらく「やさしい」というわけ にいかないでしょう。ここでは、モナドをふくむ言語の特徴を示すだけではなく、 もっと壮大な絵を明かにしようとおもいます。なぜモナドがこれほど重要なツー ルであり、どのようにこれを使うか、ということです。だれにとっ

    Hash
    Hash 2012/08/05
    モナドの説明
  • なぜ関数プログラミングは重要か

    John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに

    Hash
    Hash 2012/05/16
  • 1