タグ

haskellに関するtk78のブックマーク (5)

  • なぜ関数プログラミングは重要か

    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原稿をもとに

  • paper.dvi

    (629) 59 チュートリアル プログラミング言語 Haskell と その処理系 尾上能之 が複数存在していることが関数プログラミングの普及 1 はじめに プログラミング言語をパラダイムとして分類する とき,手続き型,関数型,論理型,対象指向型などが よく知られている.これらのうちで,関数プログラミ ングの考え方は古くから存在するが,十分に普及して いるとは言えない.その理由として,従来は標準的な 言語や処理系が定まっていないことから広く認知され るまでに至らなかったことに加え,処理系の多くは実 行速度も遅くほとんど実用に耐えなかったことに由 来する.ところが近年では,標準言語として Haskell の仕様が定められ,処理系も十分に高速なものができ つつあるのが現状である. そこで稿では,関数型言語 Haskell の特徴を解 説し,現在利用可能な処理系の中で広く用いられ

    tk78
    tk78 2008/03/02
  • Haskellに触ってみた話 - このブログは証明できない。

    tk78
    tk78 2008/02/19
  • Memoise

    Memoi[sz]e、Memoi[sz]ation、メモ化の話題 メモ化ってなぁに?関数のメモ化memoise は特殊な ($) かも?Memo モジュール実装を共有する魔法 メモ化ってなぁに? フィボナッチ関数を考えてみよう、定義は fib 0 = 0 fib 1 = 1 fib n = fib (n-1) + fib (n-2) これを使って、fib 7 を計算すると fib 7 -- fib 6 -- fib 5 -- fib 4 -- fib 3 -- fib 2 -- fib 1 -- 1 | | | | | | | | | | | fib 0 -- 0 | | | | | | | | | fib 1 -- 1 | | | | | | | fib 2 -- fib 1 -- 1 | | | | | | | fib 0 -- 0 | | | | | fib 3

    tk78
    tk78 2008/02/18
    メモ化
  • Programming in Haskell

    Programming in Haskell ページへようこそ このサイトについて このサイトは、Haskell でプログラミングを楽しむためのサイトです。 現在のところ、WiLiKi というWiKiシステムで運用されています。WiLiKiの使い方は、 WiLiKi:WiLiKi:リファレンスマニュアルを参照してください。 メイリングリスト 「Haskellプログラミングを楽しむための」メーリングリストがあります. MailingListのページをご覧ください. チャット 「Haskellプログラミングを楽しむための」チャット・ルームがいくつか存在します. ChatRoomのページをご覧ください. サイトマップ Introduction Haskell とは Definition 仕様と標準ライブラリ Tutorial チュートリアル やさしいHaskell入門 モナドのすべて なぜ関数プ

    tk78
    tk78 2008/02/18
  • 1