知り合いの主催する勉強会イベント「孤独のHaskell 第二話」http://www.zusaar.com/event/502008 があったので、参加してきました。 みなさん自由な感じで特に発表などもなく、好きに過ごす感じです。 そんな中、Haskell初心者な私は 「すごいHaskellたのしく学... 続きを読む
Hakyll - A Static Site Generator in Haskell.OverviewHakyll is a Haskell library for generating static sites. It is written in a very configurable way and uses an xmonad-like DSL for configuration. Why static site generators?Static sites are e... 続きを読む
2012年11月29日木曜日 孤独のHaskell 孤独のHaskell 予定通り全体向け発表など一切無く、思い思いにHaskellなりPostscriptなりを勉強する会となりました。 ……ぽすとすくりぷと? 自分のやりたいことをやりつつ時折「わからなーい」と言って上級者に助言を求め... 続きを読む
Haskell(ハスケル)は純粋関数型言語として注目を集めているプログラミング言語。 本書は、関数プログラミングの専門家が題材を厳選して著したものであり、すでに国内のHaskellユーザたちからの評価も高い。これからHaskellを始めようという人はもちろん、既存... 続きを読む
開催日時 2012/11/29 19:00 〜 21:00 定員 15人 最少催行人数 2人 参加費 無料 場所 東京都文京区本郷周辺 住所 参考URL 主催者 amedama 続きを読む
このところ、仕事の手が空いたときに、Haskell というプログラム言語を勉強しています。Haskellは僕がふだん使っているJavaなどとはかなり趣きが異なるので、 考えさせられる点が多く、気分転換にはぴったりです。 とはいえ、最初はさっぱり理解できない点もあ... 続きを読む
Haskellの達人たちが推薦する楽しい入門書 丁寧な解説とポップな例題で本物のHaskellプログラミングを習得できる入門書。 原書の“Learn You a Haskell for Great Good!”は、型、遅延評価、モナドといった難しい概念にも自然に慣れていけるよう工夫された構成... 続きを読む
2012年2月29日水曜日 関数型言語の技術マップ 要求開発アライアンスの定例会で『Object-Functional Analysis and Design: 次世代モデリングパラダイムへの道標』というタイトルでセッションを行うことになりました。セッション時間が50分なので、かなり俯瞰した... 続きを読む
ユーザーID パスワード 会員登録お知らせ商品一覧ヘルプ 戻る 書籍詳細情報 Haskell Advent Calendar 2011 著者 Haskell Advent Calendar 2011 参加有志 著 発売日 2012年2月29日 更新日 2012年2月29日 ご購入には会員登録・ログインが必要です WEB/EPUBセット... 続きを読む
https://hseeberger.wordpress.com/2010/11/25/introduction-to-category-theory-in-scala/ もし君が僕みたいに、以前はJavaディベロッパーで、Scalaのファンになったばかりなら、君は多分遅かれ早かれ、モナドやら関手やらの、圏論の分野からやってきた謎に遭... 続きを読む
Monads in perl - Presentation Transcript Monads in Perlhiratara <hira.tara@gmail.com> About med.hatena.ne.jp/hirataratwitter.com/hirataraworking as a Perl programmera fan of Mathematicsa reporter of this YAPC What are Monads? Actually, monads... 続きを読む
このページについて ページのフッタに書いてあるので、お気付きの方もいらっしゃるかと思いますが、 このページは Hakyllと Pandocと Mighttpdにて運用されています。 完全なソースコードを https://github.com/tanakh/tanakh.jp から参照できます。 Hakyllとは... 続きを読む
最近ちょっと気になるiterateeを勉強したので、日本語の解説を書いてみます。と言いつつ、大部分が The Monad.Reader Issue 16 *1 からの引用です。 はじめにIterateeと呼ばれる新たなI/Oの抽象化手法が、最近にわかに広まりつつあります。既存のI/Oが抱える問... 続きを読む
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2010/07/02/5195881 LispマシンELIS復活祭 の続き。 http://www.jaist.ac.jp/elis-revival/... 続きを読む
ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 「超マシン誕生」が、 http://www.amazon.co.jp/exec/obidos/ASIN/4822284328/showshotcorne-22/ 超マシン誕生 [新訳... 続きを読む
個人的に年に一度くらいLispブームがやってくるのですが、今回のはけっこうビッグウエーブ東大ではプログラミングの最初にschemeを習うとかOCamlを習うとかいう伝説を聞いたことがあるのですが、僕は大学にちゃんと行かなかったので、電通大の基礎言語であるPas... 続きを読む
なぜ関数型言語を使うのか(再掲・追記) (この文章は以前(2005-5-15)に書いた記事を再編集して再掲するものです。) Red-black treeは、平衡木の一種である。その実装は2-3-4木に等しいが、データ構造はより簡便である。 さて、その挿入を実装することを考えよう... 続きを読む
ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- これもLisp誕生50周年の魔力でしょうか。 ハイパーリアルなピンボールゲームで世界的に熱狂的なファンを数多くも... 続きを読む
JavaScript(thanks to id:koyachi / del.icio.us/rtk2106) 最終更新 2008/1/21以下は、JavaScriptのLisp/Schemeインタープリタ実装のリンクです。 GoldenScheme - Scheme on JavaScriptGreenbear Laboratory - BiwaSchemenew function(){this.id=’gnarl’} - ... 続きを読む
INPUT OUTPUT I wanted to get a feel for just how powerful JavaScript is as a programming language (as opposed to just a scripting language), so I sat down one evening and wrote this. It turns out that it was quite good for this application, s... 続きを読む
仙台ロジック倶楽部 ラムダ計算ABC 数学セミナー92年8月号より A. ラムダ計算とは 今から60年程前、プリンストン大学の若手論理学者A.チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数... 続きを読む
乱文失礼します.WebやDB系の雑誌でなくとも,組み込みシステムの雑誌で,モデル検査だとかSPIN,SMVといった形式手法に関連する単語が踊るようになった.今やっとソフトウェア工学に形式理論の裏付けが(一般書店のレベルまで)降りてきたということだろうと思う... 続きを読む
プログラミング言語の進化を追え:大人のためのブラックボックス読解講座――クロージャとオブジェクトの微妙な関係(その2) (1/3) 前回に引き続き、Scheme言語の処理系、Gaucheを開発している川合史朗氏が、クロージャの機能を検証し、関数型言語とオブジェク... 続きを読む
id は scinfaxi (しんふぁくし)ですがハンドルは Theoria (ておりあ)です: id とハンドルについて毎月更新。忘れないように : EuroDanceHits.com - Monthly Special Mixes 続きを読む
【GaucheNight】日本人が作ったScheme処理系Gaucheのお祭りが開催,Lisperの熱気で夜中まで盛り上がる 記事一覧へ >> Lisp系のプログラミング言語であるSchemeは,言語仕様の美しさから多くのファンを持つ。著名なハッカーであり書籍「ハッカーと画家」(Paul G... 続きを読む
The Rise of Functional Languages April 30th, 2007 by Pat Eyler Functional Languages seem to be pushing for the title of the next cool thing. Talks and tutorials about them are starting to show up in conferences and conventions, books about th... 続きを読む
What is xmonad? xmonad is a dynamically tiling X11 window manager that is written and configured in Haskell. In a normal WM, you spend half your time aligning and searching for windows. xmonad makes work easier, by automating this. Why should... 続きを読む
$Id: ycombinator.html,v 1.6 2002/06/27 23:37:39 aamine Exp $ [ruby-list:35058] に刺激を受けて Y combinator を解読してみた。 こんなもん読むくらいなら以下の参考ページを読んだほうがいい。 参考にした (というかほとんどそのままな) ページ (英語) htt... 続きを読む
雑記/備忘 | 14:18 | …という類<たぐい>の質問に答えるのはちょっと面倒なんですけど、とりあえず1つだけ具体例を挙げておきましょう。テンプレート処理が、もろにモナドになっている、ってハナシ。今回はテキスト処理について説明。次回(いつになるかまっ... 続きを読む
■System F Wadlerのノートにあった Lfix X. F X = All X. (F X -> X) -> X. Gfix X. F X = Exists X. (X -> F X) * X. という定義はどっから降ってきたのかというと、単に、こういう話のような。 以下、fをFunctor、inF::f(Fix(f))->Fix(f)として、 buildF::(f... 続きを読む
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet. 続きを読む
EECS Revamps Course Structure By Waseem S. Daher STAFF REPORTER Will freshman scheming be the same if their schemes are more about robots and less about Scheme? This coming term marks the launch of C1, a new course designed to teach freshmen ... 続きを読む
Understanding Monads Via Python List Comprehensions An attempt to explain monads and their usefulness in Haskell, assuming only some simple knowledge of Python. List comprehensions are a great Python feature that have been borrowed from Haske... 続きを読む
純粋遅延関数型言語Concurrent Clean (Pure and lazy functional language : Concurrent Clean) 〜 The most functional language 〜 Concurrent Cleanは、オランダのネイメーヘン大学で開発している、純粋な関数型言語です。 メジャーな関数型言語としては、Li... 続きを読む
[Debian-haskell] Linspire/Freespire Core OS Team and Haskell 続きを読む
Simon Thompson ISBN 0-201-41667-0, Addison-Wesley, 1991. This is now out of print. I had hoped to prepare a revised version before making it available online, but sadly this hasn't happened. So, you can get the original version, warts and all... 続きを読む
雑記/備忘 | 16:41 | 気まぐれと偶然となりゆきで、ここ2,3回はモナドを話題にしました。googleで「モナド」を引いてザッと眺めると、「モナドはむずかしいー」とか「モナドで挫折した」みたいな雰囲気が感じられて、説明芸人の血が少し騒ぎましたね。「なら、... 続きを読む
これを思い出さずにはいられない->、じゃなかった→(藁) ->の使い方なんて、うわべだけPerl6をパクってるようにしか見えん。 そういえば、Rubyも->を使うんだったっけ? ちなみに、Perl6の場合は、こう。 Synopsis 4: Blocks and Statements - $func = sub ($a, ... 続きを読む
おおー、これはラムダ式だ 雑記/備忘 | 12:36 | コサキさんのblogエントリーに、C++へのラムダ式とクロージャ導入の提案ネタが。ふーん、そうなの。 次のような構文だそうです。 <> (int x, int y) -> int { return x + y; } 型付きラムダの記法、ほとんどその... 続きを読む