入門Haskell ～はじめて学ぶ関数型言語
ソースコードの提供 弊社刊行書籍「入門Haskell ～はじめて学ぶ関数型言語(ISBN4-8399-1968-2)」で紹介・解説しております、Haskellのソースコードを提供します。ZIP形式でアーカイブ化しておりますので、対応ソフトで展開してください。 hs.zip (20 KB) * 章ごとのフォルダにテキストファイルを収録しています。文字コードはShift-JISです。 *2 「.hs」ファイルは、:load するか、コンパイルして利用できます。 *3 「.txt」ファイルは、対話環境などで実行できるテキストを掲載しています。GHCなどの画面でコピー&ペーストして利用できます。 *4 必要に応じて各ページごとのフォルダに収録しています。 関連リンク 記載のURLリンクは、2006年3月現在のものです。 GHC（Glasgow Haskell Compiler） GHC 6.4.1
ラムダ計算ＡＢＣ
仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数（オペレータとか作用素とも呼びます）を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子Ｄ
第3回 mapからモナドを理解する
今回は「モナド（monad）」について説明します。モナドはHaskellの重要な特徴の一つなので，名前くらいは聞いたことがある人が多いでしょう。ただ，「モナドは難しい」という声もよく聞きます。 モナドとは一体なんでしょうか。前回，「HaskellはIOを取り扱うためにモナドと呼ばれる特別な仕組みを使用することで有名です」と書きました。Haskellは遅延評価を行うため，プログラマが処理の順番を確実に指定することができず，そのままでは入出力の処理には不向きです。モナドを使えば制御構造を導入できるため，この問題を解決できます。前回でいえば，(IO a -> IO a)にマッチする関数――finallyやprintThenAdd――を定義している部分がモナドに相当します。また，GHCiのプロンプトにもモナドが使われています。このように入出力操作を行うモナドの代表格が「IOモナド」です。ライブラリ
APP Design, Inc.
This page has moved. If your browser doesn't automatically redirect to its new location, click here.
ビジネスブログ・SNSへの関心は高まりつつも普及は道半ば
ホットトピックス インスタは批判の嵐、YouTubeは強化、TikTokは鈍化。大混戦「短編動画」市場のゆくえ
Hatena::Group::haskell
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記
全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです
第1回 関数型プログラミングの世界へようこそ - 本物のプログラマはHaskellを使う：ITpro
Haskellというプログラミング言語を知っていますか？ 全く聞いたことがないという人が多いかもしれません。そういう名前の言語があるのは知っているけど，どんな言語かは知らないという人もいるかもしれませんね。でも最近では，一部の先進的なソフトウエア開発者の間で，一種のブームと言えるほど熱狂的に受け入れられています。 なぜならば，Haskellは様々な優れた特徴を持っているからです。最初に，他の言語にはあまり見られない際だった特長を一つだけ紹介してみましょう。「遅延評価（lazy evaluation，怠惰評価ともいう）」です。 遅延評価とは，与えられた値を必要になるまで評価（計算）しないということです。この性質により，不必要な計算が行われる無駄をなくすことができます。また，「潜在的に無限の大きさを持つデータ構造」といった通常のプログラミング言語では扱いの難しいものを直接扱えるため，より直接的
Haskellの流行りはどこからきたの？ - sshi.Continual
そうだそうだ。忘れないうちにメモ。 最近の日本におけるhaskellの流行りは、アカデミックな人達しか知らなかった状態から、モナディウスの登場でゲーム実装の実例が示された上にちょっとだけ知ってる人が増えて、さらにpugsの登場(とAudreyの煽り)によってPerl界隈やWeb2.0界隈でさらに噂が広がりはじめたところに、日本語の入門書籍でどーんと広がった、てな感じかと思っていた。でも流行りだしたのはPerl界隈じゃなくてRuby界隈のほうが先だったのかも。 この前のRubyカンファレンスで、入門Haskellの出版のきっかけはRHG読書会だったという噂を耳にした。そういえばRHGのおまけCDにはhaskellが収録されてるんじゃなかったっけ。少なくとも青木さんが日記に「haskellも収録しちゃおっかな」って書いてたのを読んで、「完全に趣味の世界だなあ」と思った記憶がある。 でも多分、R
A Gentle Introduction to Haskell, Version 98
Paul Hudak, Yale University John Peterson, Yale University Joseph Fasel, Los Alamos National Laboratory September 28, 1999 翻訳：山下 伸夫 <nobsun@sampou.org> これは、「やさしい Haskell 入門 (バージョン98)」のHTMLバージョンです。 目次要約 イントロダクション 値、型、その他の有用な概念 関数 case 式とパターン照合 型クラスとオーバローディング 再び、型について 入出力 標準の Haskell クラス モナド 数 モジュール 型付けの落し穴 配列 この先の学習 参考文献 目次 このHaskell Tutorialのマスター文書は、 haskell.orgにあります。このレポー トの訂正や変更はすべてそこに反映されるようになっ
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド Version 1.1.0 このチュートリアルは、モナドの概念とその関数プログラミングにおける応用に ついて、初中級の Haskell プログラマにわかりやすく、利用価値があるような 解説をすることを旨としています。読者は Haskell になれていることを前提と しますが、モナドに関する経験は要求していません。このチュートリアルは、多 くの題材をカバーしています。後半のセクションでは、前半の題材をよく理解し ていることを前提とします。順をおって、モナドプログラミングを例示するため のサンプルコードがたくさん用意されています。一読で、すべての題材を吸収し ようというのはお勧めできません。 このチュートリアルは 3 つの部分で構成されています。最初の部分は、 関数プログラミングにおけるモナドの基本的
IPSJ: Haskell Programming
「連載: Haskellプログラミング」のプログラム $Date: 2006/06/09 15:06:12 $ 記事は情報処理学会のページ http://www.ipsj.or.jp/magazine/promenade.html で見ることができます.
最速インターフェース研究会 :: Haskell風にJavaScriptを書く
ていうのをだいぶ前に作ったんだけど、コードがごちゃごちゃで何やってるか自分でもよくわかってなかったのでちょっと整理して公開。フィボナッチ数列を求めるのに大変便利です。 http://la.ma.la/misc/js/haskell/ 関数の定義を記述すると、再帰処理でごにょごにょやって求めてくれる関数を生成します。メモ化もします。色々いじってたらなんとなく出来た。あんまり細かいツッコミされても困る。 実際のところJavaScriptは再帰処理をたくさんさせるとすぐにスタックオーバーフローで止まってしまうので使い物になりません。数を大きくすると即死したりするので注意が必要です。タイマーを使って再帰処理させるとかトリッキーなことをすれば回避することもできるのだけれど面倒くさい。 遅延評価っぽくなっていて、 // 代入はできる test = ack(100,100); // アッカーマン関数(1
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
発表資料 — Lightweight Language Ring
IBM Developer
OSS WEB|Haskell|SICP
http://www.wikiroom.com/sakurai/?Haskell%A5%E1%A5%E2