アナグラム - HaHaHa!
Haskellらしさってなんだろうということを考えつつ，[id:yard:20091104]にある課題を解くプログラムを考える過程を記録してみた．整理していないのでとりとめがないです． 単語辞書から相互にアナグラムになっている単語を集める． アナグラムとは，(意味のある)単語の文字をならび変えてできた別の(意味のある)単語のこと． さて，2つの単語が相互にアナグラムになっていることはどう判定する．2つの単語が同じ文字を含んでいればよい．なら，それぞれの文字列を文字でソートすれば同じになる． そうか．単語に単語を文字でソートしたものを属性として付加しておいて，この属性で単語辞書をソートすれば，アナグラムになっている単語は隣接することになるよな． 属性の付加は，よくあるパターンだよな． addAttr :: (a -> b) -> a -> (a, b) addAttr = ((,) <*>)
クレジットカード番号の Check Digit - HaHaHa!
クレジットカード番号の最後の桁はチェック用の桁です．チェックは，クレジット番号を一桁おきに倍にして（10以上の場合は9を引いて）足し合せそれが10で割り切れるかどうかを知らべるものです．ただし，最後のチェック用の桁を倍にすることがないように，番号の桁数に応じて(13〜16桁)に応じて奇数桁目を倍にするか，偶数桁目を倍にするかを決定する必要があるというところがミソ．さっそくHaskellで書いてみます． isValid :: [Int] -> Bool isValid = (0==) . (`mod` 10) . checksum dbl :: Int -> Int -- 倍する関数 dbl x = let x2 = x * 2 in if x2 < 10 then x2 else x2 - 9 checksum :: [Int] -> Int checksum はいろいろ考えられて面白そう
Former Staff - School of Computing - University of Kent
(You may have been redirected to this web page if you were trying to locate material published by a former member of the department.) Staff are asked to provide follow-on email address and web site details using this form so that they can be contacted once they have left the university. This information is listed below (where available). Former staff are encouraged to help us keep this information
Haskell - Wikibooks, open books for an open world
Haskell is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far! You can edit its advertisement template. Haskell is a functional programming language. It is distinct in a few ways: Haskell is pure. A fu
[haskell] How To Arrow3 選択 - 言語ゲーム
import Control.Arrow newtype SF a b = SF {runSF ::[a]->[b]} instance Arrow SF where arr f = SF (map f) SF f >>> SF g = SF (f >>> g) first (SF f) = SF (unzip >>> first f >>> uncurry zip) instance ArrowChoice SF where left (SF f) = SF(\xs -> combine xs (f [y | Left y <- xs])) where combine (Left y:xs) (z:zs) = Left z: combine xs zs combine (Right y:xs) zs = Right y: combine xs zs combine [] zs = []
![[haskell] How To Arrow3 選択 - 言語ゲーム](https://cdn-ak-scissors.b.st-hatena.com/image/square/d0e8a6134e3611932e4ac71d3a734c964f6b05bd/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F10257846132680241448%2F10257846132680254572%2F1543936750)
[haskell] How To Arrow2 並置 - 言語ゲーム
import Control.Arrow newtype SF a b = SF {runSF ::[a]->[b]} instance Arrow SF where arr f = SF (map f) SF f >>> SF g = SF (f >>> g) first (SF f) = SF (unzip >>> first f >>> uncurry zip) -- ではややこしい話の前に、Arrow の利点を強調する例。向こうからやって -- 来た数字の値を二倍したい。やってくるのは数字と分かっているが、数字 -- は一つかも知れないし、リストに入っているかも知れないし、IO 操作に関 -- する物かも知れない。なんと Arrow を使うと、同じ定義が、リストにもス -- カラにも(多分モナドにも)使える！ここ感動する所です！ double :: (Arrow a, Num b)
![[haskell] How To Arrow2 並置 - 言語ゲーム](https://cdn-ak-scissors.b.st-hatena.com/image/square/4caf21c07bad5c06077d77e46b331f9ff78e260c/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F10257846132680241448%2F10257846132680254608%2F1543936753)
[haskell] How To Arrow 基本 - 言語ゲーム
http://d.hatena.ne.jp/propella/20070807/p1 1:基本 http://d.hatena.ne.jp/propella/20070807/p2 2:並置 http://d.hatena.ne.jp/propella/20070808/p1 3:選択 -- なんか知らんうちに Arrow 流行ってるようなので試してみる。 -- http://www.cs.chalmers.se/~rjmh/afp-arrows.pdf によると、ポイントフ -- リースタイルに IO を混ぜるのが Arrow だと考えればよいらしい。 import Control.Arrow -- Arrow では高階型を使いまくるので慣れないとちょっと恐ろしく見える。 -- Arrow は Monad と同じくクラスだが、Haskell で言うクラスとは他でいう -- インタフェース
![[haskell] How To Arrow 基本 - 言語ゲーム](https://cdn-ak-scissors.b.st-hatena.com/image/square/b196e26d710bf80c61d115c16fd639111fdb0dcd/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F10257846132680241448%2F10257846132680254594%2F1543936752)
Haskell/Understanding arrows - Wikibooks, open books for an open world
We have permission to import material from the Haskell arrows page. See the talk page for details. Arrows, like monads, express computations that happen within a context. However, they are a more general abstraction than monads, and thus allow for contexts beyond what the Monad class makes possible. The essential difference between the abstractions can be summed up thus: Just as we think of a mona
ArrowによるHaskellプログラミングの基礎。…パイプ感覚で順次/分岐/繰返し - よくわかりません
Programming with Arrowsを読んで理解したつもりのメモ。誤りなど乞うご指摘。 （復習）Arrowってなに？ と思って以前調べたメモが"3分で解るHaskellのArrowの基本メモ - よくわかりません"。それにちょっと補足というか観点を変えてまず感覚の整理。 Monadに色んな種類があるように、Arrowも色んな種類がある。 Monad: IO、Maybe、… Arrow: 関数そのまんま(->)、Kleisli m、… ある種類のMonadに色んな型の色んな値を入れられるように、ある種類のArrowに色んな型の色んな関数を入れられる。 Monad: Maybeの例→ 「Maybe Int」 にreturn 0もreturn 777もＯＫ。「Maybe Char」 にreturn 'a'もreturn ' 'もＯＫ。 Arrow: (->)の例→ 「Int -> In
3分で解るHaskellのArrowの基本メモ - よくわかりません
日本語でArrowの説明があまり見付からなかったので、Haskell/Understanding arrows - Wikibooks, open books for an open worldを読んで理解したつもりのメモ。オリジナルの図を見ながらだと分かりやすいかも。誤り・間違いなど、乞うご指摘。 b->cな関数をArrowなるからくり箱に入れると、 (Arrow a) => a b c こんな型になる。型パラメタが、引数のbと返値のcのふたつ。 Monadは、値をからくり箱に入れたもの。からくり箱は基本的に(ヘンな)値。 Arrowは、関数をからくり箱に入れたもの。からくり箱は基本的に(ヘンな)関数。 arr :: (b -> c) -> a b c Monadでは、値をからくり箱に入れる関数returnがある。 Arrowでは、関数をからくり箱に入れる関数arrがある。 (>>>)
有名なHaskellプログラムTop10 - Gemmaの日記
1.Darcs Darcsは、subversionやmercurialライクなバージョン管理システムである。 他と違って、Darcsは高度でユニークなパッチ代数に基づいており、ブランチの扱いが明快であるといった特徴がある。 2.Hpodder Hpodderは、コマンドラインのpodcastクライアント(podcastをスキャンしダウンロードするためのツール)である。 John Goerzen作。 3.dfsbuild dfsbuildは、Debian From Scratch(DFS)のCDイメージを生成するプログラムである。 細かい設定ができるのが特徴。John Goerzen作。 4.Pugs PugsはPerl6の実装であり、GHC拡張のHaskellで書かれている。 Perl6の全仕様を実装しようとしている。 5.srcinst srcinstはDebianのパッケージをすべてソ
Haskell XML Toolbox 9.2.0
Contents Introduction Description Documentation Requirements Download Installation Known problems and limitations Portability HXT with Filters Related Work Feedback Introduction The Haskell XML Toolbox is a collection of tools for processing XML with Haskell. It is purely written in Haskell. The Haskell XML Toolbox is a project of the University of Applied Sciences Wedel, The main design goal of t
本物のプログラマはHaskellを使う：ITpro
筆者 shelarcy Haskellは，関数型プログラミングというジャンルに属する言語です。Haskellや関数型プログラミングを題材に物事を見ていくことで，今まで思いもよらなかったような未知の世界を知ることができるでしょう。 プログラミング言語を学ぶという行為には， 言語の基本的な文法や考え方を理解する 言語の文化圏で広く使われている考え方に親しんでその言語らしい書き方を習得する 単に言語を使ってできること以上の知恵を学ぶ の3段階があります。この連載では，三つ目の段階を目標に，Haskellプログラミングの世界を一つひとつ丁寧に紹介していきます。 更新は毎月第1水曜日（1月のみ第2水曜日）
プログラム・プロムナード
会誌「情報処理」連載の「プログラム・プロムナード」（2002年4月〜2005年3月掲載）と「Haskellプログラミング」（2005年4月〜2006年3月掲載）はどなたでもご覧になれます。ファイルはすべてPDF形式です。 「Haskellプログラミング」に掲載されたプログラムは http://www.sampou.org/haskell/ipsj/ から取ることができます.
Haskell: QuickCheckの意外な使い方 - Accept Things
QuickCheckは想像以上にパワフルなツールだ。単にテストをしてくれるだけのツールじゃない。 以下の文書を読むと、QuickCheckの意外な使い方が書いてあった。Haskell以外のプログラマーも目を通すことをおすすめする。 QuickCheck as a test set generator この文書で説明されている例は凄い。あるパーサに入力するためのテキスト(ある言語のステートメントの列)を自動生成させるために、QuickCheckを使っている。この例の場合は、まずプログラマがターゲットの言語の文法の仕様を定義しておいて、後はQuickCheckが膨大な組み合わせのステートメントを自動生成してくれている。パーサの動作チェックをするために、膨大なステートメントの組み合わせを考えながら、パーサに入力するテキストを人間が作っていたのではしんどすぎる。だから、網羅的なテストを楽に行うには
栄光のグラスゴーHaskellコンパイルシステム利用の手引き バージョン7.8.2
栄光のグラスゴーHaskellコンパイルシステム利用の手引き バージョン7.8.2 The GHC Team 目次 The Glasgow Haskell Compiler License 1. 参考訳 1. GHCの紹介 1.1. GHCを入手する 1.2. メタ情報: ウェブサイト、メーリングリストなど 1.3. GHCのバグを報告する 1.4. GHCのバージョン番号付け規則 1.5. Release notes for version 7.8.1 1.5.1. Highlights 1.5.2. Full details 1.5.2.1. Language 1.5.2.2. Compiler 1.5.2.3. GHCi 1.5.2.4. Template Haskell 1.5.2.5. Runtime system 1.5.2.6. Build system 1.5.3. Lib
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://ja.doukaku.org/wiki/index.php/Haskell_Hackathon_2008
http://ja.doukaku.org/comment/7775/
http://ja.doukaku.org/comment/5036/