タグ

haskellに関するymzkeyのブックマーク (17)

  • 10分で学ぶHaskell - HaskellWiki

    概要 Haskellは関数型で(つまりすべてが関数呼びだしで処理される)、静的な暗黙的型付けで(型はコンパイラによって確認され、明示的に宣言する必要はない)、遅延評価(必要となるまで処理されない)の言語です。系統が近い言語として最も人気のあるのはおそらくML系の言語でしょう。(MLは遅延評価ではないですが) 最も普及しているHaskellのコンパイラは GHC です。GHCは http://www.haskell.org/ghc/download.html からダウンロードできます。GHCのバイナリは GNU/Linux、 FreeBSD、 MacOSWindows、Solarisで動作します。GHCをインストールすると、ghcと ghciという2つのプログラムが入っているのが確認できます。最初のghcの方はHaskellのライブラリやアプリケーションをバイナリコードにコンパイルします。

  • モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド

    モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド Version 1.1.0 このチュートリアルは、モナドの概念とその関数プログラミングにおける応用に ついて、初中級の Haskell プログラマにわかりやすく、利用価値があるような 解説をすることを旨としています。読者は Haskell になれていることを前提と しますが、モナドに関する経験は要求していません。このチュートリアルは、多 くの題材をカバーしています。後半のセクションでは、前半の題材をよく理解し ていることを前提とします。順をおって、モナドプログラミングを例示するため のサンプルコードがたくさん用意されています。一読で、すべての題材を吸収し ようというのはお勧めできません。 このチュートリアルは 3 つの部分で構成されています。最初の部分は、 関数プログラミングにおけるモナドの基

  • Introduction

    イントロダクション モナドとは何か なぜモナドを理解しようとするのか モナドとは何か モナドは値およびその値を使う計算の並びという観点からいえば、計算を構造化 する方法です。モナドを使うと、プログラマはひとならびのブロックを使って計 算を構築することができます。このブロックはそれ自身計算の並びです。モナド はどのように合成された計算が新しい計算を形成するかを決定します。これによ り、要求があるたびに組み合わせを手でコーディングしなければならないプログ ラマを解放してくれます。 モナドを、計算を合成して、より複雑な計算にする戦略と考えると いいでしょう。たとえば、Haskell の Maybe 型については よく馴染んでいると思いますが、 data Maybe a = Nothing | Just a これは結果を返しそこなうかもしれない計算の型を表現しています。 Maybe 型が示唆するも

  • Haskell-Wikibooks(和訳) - Haskell プログラミング

    **このページの概要 -このページでは、Wikibooksに掲載されているHaskellに関する文章を和訳していく予定です。以下の文章は、[[Haskell-Wikibooks>http://en.wikibooks.org/wiki/Haskell]]を和訳したものです。 ***Haskell:型を持った関数型プログラミング言語 -------------------------------------------------------------------------------- Haskellは、関数型プログラミング言語です。以前にプログラミングをしたことがあり、Haskellがどのように動作し、ほかのプログラミング言語とどのように異なっているのかということを少しでも知りたいならば、概要を見るとよいでしょう。 Haskellがユニークな言語である理由は2つあります。1つ目は、H

    Haskell-Wikibooks(和訳) - Haskell プログラミング
  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
  • Learn You a Haskell for Great Good!

    Hey yo! This is Learn You a Haskell, the funkiest way to learn Haskell, which is the best functional programming language around. You may have heard of it. This guide is meant for people who have programmed already, but have yet to try functional programming. The whole thing is completely free to read online, but it's also available in print and I encourage you to buy as many copies as you can aff

  • Haskellで遊ぶ: Netsphere Laboratories

    (2005.7.18 新規作成, 2009.1 更新。) 関数型プログラミングのための言語 Haskell について。 [2022-09] 処理系が GHC --The Glasgow Haskell Compiler-- だけになってしまってずいぶん経つ。仕様も Haskell 2010 language 以降、纏められなくなってしまった。見通しはあまり明るくない。 Haskell とは (2008.11.7 この節を追加。) 関数型プログラミング 例えばC言語でもオブジェクト指向プログラミングができます (gtk+など) が、プログラミング言語の支援があったほうが自然にプログラミングできます。 Haskell あるいはほかの関数型プログラミング言語 (Clean, O'Caml, Scala, Erlang など)は、関数型プログラミングがしやすいようなプログラミング言語です。程度問題

  • 第1章 GHCの紹介

    これはグラスゴーHaskellコンパイラ(GHC)という、Haskell 98のための対話的・一括処理的なコンパイルシステムの利用の手引きである。 GHCは主に二つの構成要素から成っている。対話的Haskellインタプリタ(GHCiとも呼ばれる。説明は第2章. GHCiを使うにある)と、一括処理コンパイラ(説明は第4章. GHCを使うにある)である。GHCは実際には単一のプログラムであり、走るときのオプションによって、対話的システムを提供したり、一括処理システムを提供したりする。 一括処理コンパイラはGHCiと組み合わせて使うことができる。対話的セッション中にコンパイル済みモジュールをロードすることができ、ロードされたものは解釈実行コードと同じように扱える。実際、GHCiを使うとき、ライブラリコードの大部分はコンパイル済みのものが使われている。この機能のおかげで、二つの方法の利点を両方とも

  • http://pg.thumbnailcloud.net/data/192268.aspx

  • href(Haskellリファレンス検索)

    $Id: index.ja.rhtml,v 1.2 2006/05/31 17:48:17 aamine Exp $ href はコマンドラインから Haskell の リファレンスマニュアルを検索するツールです。 日語のリファレンスマニュアル自体も同梱されています。 ダウンロード href-0.3.3.tar.gz (ソースコード) href-0.3.3-win32-x86.zip (Windows 用バイナリ) 旧バージョン 実行例 引数なしだとドキュメントの存在するモジュールを表示します。 $ href Control.Exception Control.Monad Data.Char Data.List Data.Maybe Data.Tuple System.Directory System.Environment System.IO Text.Regex 引数が一つのときは、

  • Route 477(2008-07-22)

    ■ [haskell] hrefをUTF-8環境にインストールする Haskellの日語リファレンスツール、hrefをUTF-8環境にインストールしてみた。rootは使わない方針で。 まずはtar.gzをダウンロード。 http://i.loveruby.net/ja/projects/href/ 解凍して、makeする。 ref以下がドキュメントの原文だが、eucなのでutf-8に変換する。ここではnkfを使った。 $ mkdir ref-u8 $ cd ref $ for a in *; nkf --utf8 $a > ../ref-u8/$a ドキュメントを置く場所を決める。 $ mkdir ~/bin/href-data $ export HREF_DATADIR=~/bin/href-data ドキュメントを作る。 $ mkhref ref-u8/* hrefをパスが通ったとこ

    Route 477(2008-07-22)
  • 川o・-・)<2nd life - Haskell の日本語リファレンスマニュアル引きツール href

    http://i.loveruby.net/w/href.html 入門HaskellやYAPC::Asia の Audrey のセッション、Learning Haskellで LL 界隈でも熱くなり始めた Haskell。かくいう自分も少しづつ勉強中です。 で、最初勉強するのに必至なドキュメントの一つがリファレンスマニュアルです。href はコマンドラインから日語のリファレンスを引くことができる便利ツール。用例も載ってるのもありがたいですね。使用方法は簡単( ReFe と同じ )で href コマンドの引数に調べたい関数を書いて実行するだけ! $ href reverse Data.List.reverse reverse :: [a] -> [a] PRELUDE reverse xs リスト xs を逆順にしたリストを返す。 reverse [1,2,3] = [3,2,1] re

    川o・-・)<2nd life - Haskell の日本語リファレンスマニュアル引きツール href
  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
  • Hatena::Group::haskell

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    Hatena::Group::haskell
  • http://href.spiritloose.net/

    ymzkey
    ymzkey 2008/12/01
    [][Reference]
  • Index of /archive/href

  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
  • 1