CategoryTheory:圏論勉強会
開催概要 毎月第２日曜 13:00 から開催予定 場所は 渋谷 びぎねっとさん トレーニングルーム 中心に 予定＠Googleカレンダー 圏論の関係する様々な論文や文書を読んでいく 今のところ予習をするかどうかは各自に任せるが、予習をしておくと質問すべきことがまとめれていいと思う Skype による遠隔参加も可能だが、事前に連絡を取っておくこと Skype による参加者がいたり論文などが PDF で提供されているため、現在ノートパソコンの持込が多くなっているものの、特にノートパソコンを持ち込む必要はない 連絡などは、haskell-jp のMailingList、またはmixiの圏論勉強会コミュにて mixi:圏論勉強会 CategoryTheory:圏論関係リンク集 CategoryTheory:圏論勉強会ノート 宿題の回答など説明が長くなるものをこのノートに書く 過去の開催記録 Cat
諸君 私はHaskellが好きだ
諸君 私はHaskellが好きだ 書き途中。諸氏の協力を乞う。 1. 諸君 私はHaskellが好きだ 諸君 私はHaskellが好きだ 諸君 私はHaskellが大好きだ 遅延評価が好きだ 高階関数が好きだ 再帰的定義が好きだ パターンマッチが好きだ 代数的データ型が好きだ ポリモルフィズムが好きだ 型クラスが好きだ 型推論が好きだ モナドが好きだ 平原で 街道で 塹壕で 草原で 凍土で 砂漠で 海上で 空中で 泥中で 湿原で この地上で行われるありとあらゆるHaskellプログラミングが大好きだ 2. ... ナイーブなプログラムが代数的な変換によって最適化されるのが好きだ 融合変換によって中間データが全て消去されたときなど胸がすくような気持ちだった ... 高速化のために命令的なコードを書くことを強いられるのが好きだ 必死に守るはずだった純粋性が命令的なコードによって汚されていく様は
独習 Scheme 三週間 Teach Yourself Scheme in Fixnum Days
A practical introduction to the programming language Scheme
なぜ関数プログラミングは重要か
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原稿をもとに
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
