残業プログラマのためのスキルアップリンク集

プログラミングの基礎をOCamlで解説。特定のプログラミング「言語」の基礎を教える本は多くあれど、「プログラミングの基礎」を語る本は少ない。この本は数少ないその一冊だろう。プログラミングを始める人にまず薦められる本だ。丁寧で、プログラミング初心者にもってこい。全部で270ページあるのだが、175ページめ引用「本の半ばを過ぎたところで最初の完動プログラムを作ることができました。皆さんはすでに立派なプログラミングの中級者です。」とある。なにっ？唐突に中級者になれるのだ（笑）しかし、笑ったけど、ほんとにそうかもしれないと思う。なぜなら、この本は関数型言語の機能を使ったり、デザインレシピという道具を使ったりして、プログラミングの作り方の基本がしっかり身につけられるようになっている。この本を読んだ読者からすると、多くのプログラマがあまりに基本を身に着けていないことに気づくだろう。プログラミング言語の入門書を何冊か読んだだけのビギナーより、この本の読者のほうが数段上の力がある、とぼくには思える。そして、第24章「まとめ -プログラミングとは-」の264ページも引用。「本書を読み終えた皆さんはプログラミングの上級者であるばかりでなく、すでにOCamlの上級者でもあります。」プログラミングの基礎を勉強しているはずが、いきなり上級者になって、しかもOCamlの上級者になってしまった！ｗｗｗｗｗ。ドラゴンボールの亀仙人の修行か！（笑）ちょっと大げさだけど、すごくいい本なんだ。ぼくがだれかにプログラミングを教えるとしたら、この本を使うだろう。もっと早くこの本が出版され、学生時代に読んでいたら、と思う。ぜひ、みんなに読んでもらいたい。もっと早くこの本が出版され、学生時代に読んでいたら、と思う。ぜひ、みんなに読んでもらいたい。

「職人プログラマ」と「ソフトウェアの専門家」の差とは？

プログラミング言語に力の差はあるのか？

Ruby作者まつもとゆきひろによる

お題をいろんな言語で実装して、投稿するサイト

プログラミング言語ランキング。検索エンジンの検索数から算出。

引用「そんな僕の物作りの過程においては、コンパイラにやたらと怒られたり、変数の型を気にしたり、変数に入れるオブジェクトが何者だったりするかをいちいち意識しなければならない静的型付けの言語は性に合わなかったんですね。一方で簡単なことは簡単に、難しいことでもそれなりにできる Perl という言語は、僕のやり方に合っていたし、なんとなく"Hackしている"という気分にも浸ることができたんです。」。ちょっと動的型付け、静的型付けって問題かは、わからないな。Haskellでもハックしてる気になれるけどなあ。

東北大学の住井先生による関数型言語の解説。

同じく住井先生。

Ocamlで具体的に説明されています。これだけではない気もする。

まだ読んでないけど、時間をつくって読みたいな。

私はAdvanced Beginnerぐらいかな。

関数型言語プログラマのための求職情報。関数型言語って範囲で共有している知識（ラムダ？）があるから、こういうサイトができる。それはすばらしいことだと思う。

TBD。依存型とか関係ありそう。

ブラウザ上で、F#を実行し、学習できるよう。

Erlangの話。

small lisp implementation written in javascript

Simon Peyton Joneによる著作のPDF。

お気軽らしいです。説明が丁寧でいいですね。昔の記事なので現在ではコンパイルが通らないこともあります。

GHC拡張は抑えておくとよいよな。real world haskellだって入門書なのにGHC拡張の紹介あるし。まあほとんどないんだけど。おいらはまだ理解していないから理解したくて型システムの興味をそそるのもいいよね。型システムだって趣味として勉強するのもいいし登っていく山（どれだけ高いかはよくわからない）としてもいいだろうね。暇つぶしに読むのももちろん可。

wikiでの解説、結構マニアックなところまで行けるかも。日本語の翻訳は追いついていない部分が多いですね。英語で読もう。でも品質は不明。wikiだし。

ＷＥＢで始めるならここか。

ぱらぱら見たらあんまりと思っていたがAmazonで評判がよい。読んでみたい。

愛知県立大学の情報科学部2年対象の計算機言語論で、『プログラミングHaskell』を教科書で使ってます。日本語のスライドあり。

英語か、あとでまたよむ。と思ったら、日本語訳が出版された。読了した。非常に良い本だった。初心者にすすめるなら断然これだ。カジュアルで読みやすく本質をついた説明だった。ぼくの読んだ感想:すごいHaskellたのしく学ぼう!: Miran Lipovačaをもっと早く読めばよかった: プログラミングは眠るのも忘れてとすごいH本、１回目読み終わって、よかったから、２回目の復習に入った。: プログラミングは眠るのも忘れて。それと、他のHaskeller(多分有名な人)の書評：「すごいHaskellたのしく学ぼう！」は気配りと楽しさがすごい - keigoiの日記とすごいHaskellたのしく学ぼう！ - あどけない話がいいかな。あと、ここすごいHaskellたのしく学ぼう!を読んだ - south37の日記たしかに丁寧な本だよね（翻訳も含めて）。間違いもないし、ぼくは非常に丁寧な仕事と見ました、本の構成、内容について。ということで、良本であり、労作であると言いたい。
『すごいHaskellたのしく学ぼう!』

わかりやすい入門書。遅延評価などをおさえており、関数型言語の楽しさに入門できる。モナドは説明が不足している。

モナドの丁寧な説明があり、理解できた。サポートページ：Real World Haskell - O'Reilly Media。右側にDownload Example Codeがあるよ。p.390とかCode見ないとわからない。ただ、例が長すぎて、簡潔な概念の説明がないとも言える。

英語の原著の草稿を公開。レビューコメントつき。

GADTsのわかりやすい説明だ。

GADTsは、データコンストラクタを型付けすることができる代数データ型です。これによって、従来のあらゆるデータコンストラクタを許可する関数を定義できるだけでなく、特定のデータコンストラクタのみを許可する関数を定義できるようになり、さらなる柔軟性と、実行時エラーに対するさらなる強い保証を手にすることができるようになります。

Phatom typeとその限界を説明した後にGADTsでの解決策を説明した。わかりやすい。

Haskellの型システムで定理証明する話？型の不変条件が定理なのかな。それを種(kind)で表現する。定理の証明はsingletonを使う。

DataKinds 拡張は、上のように定義した代数的データ型を型レベルに持ち上げることが出来る言語拡張である。より厳密には、Nat型を種レベルに持ち上げたNat種と、その種に属する型コンストラクタZ :: NatおよびS :: Nat -> Nat がGHCによって自動的に定義されるようになるのだ。これらは全く同型なものであるため、あたかもNatデータ型の値が、型レベルに昇格されたように見える訳である。これを使えば、先程のベクトルの例は次のように書き直せる：

途中で終わって中途半端かな。

上のリンクと同じ話者。Haskellの型システムで定理証明する説明。だけど難しいな。

定理証明の簡単な事例まで紹介している。

あとで理解する。

あとで理解する。

スタンフォード大のHaskellの授業。Phantomとか。

Haskellと副作用の話。

Haskellと副作用の話。こんなに解説が乱立するとは。説明がたくさんあるってどういうことだろう。難しいってこと？

Haskellと副作用の話。

Haskellと副作用の話。ちょっと古い。

Haskellと副作用の話。

Haskellと副作用の話。じゃなかったか。。。

並行、並列プログラミングをHaskellで。オンライン版をフリーで読めるっぽいです。

DB操作系？SQL系のHaskellライブラリらしい。

HRRの説明？

Haskellの代表的コンパイラGlasgow Haskell CompilerことGHCのアーキテクチャとか解説。

キーボードだけでがんばれるウインドウマネージャーらいいです。BSDとLinuxしかないぽい。

Emacs用のHaskell開発環境。

ぜんぜんわかっていないけど、Yesodを勉強すると、わからないからこそ、自分のHaskell世界が広がる気がする。

山本和彦さんの説明資料。参考：Mighty and Yesod。Mightyなにかしらんですけど。

田中英行さんの説明資料。

Haskellで書かれたドキュメントフォーマットのコンバータ。マークダウン記法からHTMLのスライドショーが作れるのがいいね。texとかにもなるよ。「If you need to convert files from one markup format into another, pandoc is your swiss-army knife.」

12月1日から25日間、参加者が一人ひとつずつ自身のブログにHaskellネタを書くイベント。Haskell Advent Calendar jp 2010

HDBC-sqlite3の使い方など。cabelでインストールする必要もあるよ。

twitter関係では、OAuthの使い方もコードにべたっと書いてあって、勉強になる。

うえにコードが似てる。あまり参考にしていない。

hs-twitterって、ライブラリは結局、使えないぽい。あまり参考にならないか。

古い時代の言語設定を読む例。JSONの扱い方は参考になるかも。

Web.Authenticate.OAuthとか使って、エレガントだけど、WEBアプリだったら、どう使うのか、不明。

文字化けに悩まされることがあります。未熟じゃ。

これも文字化け参考めも。

「まとまった日本語の解説がほとんど無いので、 簡単な解説記事を書いてみました。」とのこと。

stanford.eduの授業？

Haskell開発環境のEclipseプラグイン。コンテンツ・アシスト、コンパイルエラー検知。Eclipse自体、最近重いから、つかってない…

ブラウザ上でHaskellをちょっといじれる。IE非対応？

ネタ。

東北大学の住井先生による連載。未読。Ocamlで説明してあるらしいのでここに分類。

ブラウザ上で、OCamlを実行し、学習できるよう。

「Js_of_ocaml is a compiler of OCaml bytecode to Javascript. It makes it possible to run Ocaml programs in a Web browser.」

開発止まっているぽいです。「Ocamljs is a system for compiling OCaml to Javascript.」

OCamlのWeb FWの話。

Web上のOCaml処理系

C言語とのシームレスな連携などが特徴ときいております。

SML#の開発者大堀先生が書かれた本。

むかし読んだが、わかりやすかったと思います。

わかりやすい入門サイト。会社のVisual StudioでがんばるならF#がいいかなと思って頑張り始めた。Haskellとかインスタンスするのに問題ないことの申請とか大変すぎるので。

総本山

ブラウザで実行するF#チュートリアル

依存型をもった言語らしい。Coqよりこっちのが自分の実用に近いのかな？F# + 依存型なのか？それともF#と無関係か？

上記のチュートリアル。Web処理系があるのがうれしい。

翻訳で分かりづらいところもあるけど面白い。翻訳元The Early History of F# (HOPL IV - first draft)

@7shiによる。なんだか得るものがあった気がする。

Excelをいじる、F#で

プログラミング言語Schemeの紹介、海外エッセーの翻訳、「普通のやつらの上を行け」等。

LISPのマクロってすごいらしい。

LISP入門の名著。復刊。

プログラミング言語Schemeのスクリプト処理系である。R5RS準拠。多バイト文字列を組み込みでサポート。

Javaで記述されたSchemeのインタープリタ。湯淺太一先生が作られたようです。

「私が知る中で、書く人がタイピングよりも考える事に費やす時間が長い言語は、SQL, Lisp, Haskellだけだ。 - Philip Greenspun」とあるが、タイピングが多いプログラマほど、肉体労働に近いわけだな、ふむふむ。

デザインレシピを使った設計方法の説明の本らしいです。電子ブック本文あり。読んでみたい。Lispを使って説明していあるらしいので、とりあえずここに分類。

ミクちゃんが説明してくれる！

ノベルゲーム風のLispチュートリアル。すすんでるな。。。

タイトルの頭文字をとってSICPとか、魔術師本と呼ばれてます。ソフトウェアの設計、構成法の本質を学ぶなら、この一冊かもしれない。表示の魔術師の絵がなんとも魅力的。プログラミング言語の説明本はたくさんあるけど、プログラムの部品の作り方、組み合わせてプログラム全体を構成する方法を説明した本は数少ない。この本がまずは決定版ではないだろうか。まだ私も7割がたしか読んでませんが、オススメです。

SICPのオンラインページ。この本は英語ならこのサイトで全文読めます。

上記、日本語訳。日本語ページSICP Web Site for the Japanese Editionで、html版SICP、つまり、日本語訳全文が公開された！

京大でLISPを教えているのは、LISPプログラマを養成するためではないそうです。「プログラミングというのは、単に与えられた問題をコーディングする技術でなく、計算機科学の成果であるさまざまな概念や機能を駆使できる能力である。この意味で、講義で採用しているSICPは、きわめて適切な教科書である。」SICPでLISPの方言であるSchemeで解説しているので、LISPを使っているというわけです。本文では、「SICPは、これらを単に概念として紹介するのではなく、Lispでどのように実現されているかを具体的に解説している。」とあります。Lispってのは、シンプルにいろんなことを実現できるので、仕組みの説明にすごく向いていると思います。この記事は、プロ組ラング言語を理解してだけでは、プログラミングには不足なのだと言っている、いい記事ですね。計算機科学の成果をしっかり学ぶことが大事だという点、同感です。

University of California BerkeleyではSICPの内容をプログラミング言語をPythonに変えて教えてるみたいです。講義ノートもあります。

最近MITではSICPは講義から無くなってしまったようですが、Independent Activities Period（IAP）という短期間の講義でSICPの内容が教えられているそうです。参考：濃縮還元オレンジニュース：MITにてSICPのクラスが復活!?｜gihyo.jp … 技術評論社

もともとSICPだった講義は内容も改められ、やはりプログラミング言語をPythonになっているようです。

ほんとかなあ

こちらはSICPの教師によるコメントだから説得力があるがSICPの価値はそれでも価値はあると思う。

プログラマの気骨を語っているエッセイ。おすすめです。

フェイスブックのエンジニアで史上ベスト３に入るといわれるEvan Priestley氏へのインタビュー。

ファンタジーのキャラっぽく分類。おもしろい。

fukamachiさんの方法と経緯。プログラムを書き続けたことがポイントな気がする。

Haskell以外でも使えるようです。

QuickCheckにも言及あります。

Coq本家。

coq artってやつですね。こいつが鉄板なんだろうか。積読です。

コンパクトなcoq入門すかね、日本語だと初のCoq本らしいっす。プログラム検証って感じではない。

Emacs上のCoqフロントエンド。Generalの顔が怖い！

下の方。

Coqゼミのコーナーがあります。

大学生によるCoqチュートリアル。

日本語のリファレンス。途中。

TAPLのBenjamin C. Pierceさんの電子ブック。教科書らしい。このコースは以下のことをするとのこと。
「It develop basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems, using the Coq proof assistant.」
読んでみたい。

ポピュラーなモデル検査器。

これまたポピュラーなモデルチェッカー。

CSPを先祖にもつFSP記法がまあまあシンプルで好きです。Spinよりさくっと美しく書ける。規模が大きいとなるとSpinのが実用的かも。アップデートがJune 2006で止まっているけど、まあまあ使えるレベルまでいったということかもしれません。

シンガポール発の、モデル検査ツール（シミュレーションとかもできる）。CSPの拡張(グローバル変数相当もサポート)していて、実用的にしているようで興味深い。他にも確率、リアルタイム性に関する検証ができるようだ。

AWSにおける形式手法 - masateruk’s blogで知った。アマゾンさんがやってるって言うとすごいのかなとか思っちゃう。

コード詳細化が特徴。いまでもコード詳細化って重要なのかが興味あるところ。

パリ地下鉄14号線の信号システムが「Bメソッドを適用」、「これまでにバグがない」。

ホーア(Tony Hoare)による、CSPの教科書の電子版(free)。

CSPの応用、普及しているフォーラム。

日本のCSPの団体。存在を知らなかった。

シンガポール発の、モデル検査ツール（シミュレーションとかもできる）。CSPの拡張(グローバル変数相当もサポート)していて、実用的にしているようで興味深い。他にも確率、リアルタイム性に関する検証ができるようだ。

エディタ。カスタマイズ可能で、Coq-modeやHaskell mode等サポート。使ってます。ここを参考。gnu-packからインストールしてみた。カスタマイズはこのへんしてます。Emacsで「最近使ったファイル」　ウインドウを最大化したい。EmacsWiki: W Thirty Two Send Sys Command

Emacsのテーマがえ。色がえ。

オンラインのコンパイラ、インタープリタ。

プロならキーボードもこだわろう。仕事で使っている。プライベートでもほしいところ。妻は許すだろうか。。静電容量で省スペース、打鍵感もよい。Bluetoothでゲーブルもない。和田英一先生の言葉です。

アメリカ西部のカウボーイたちは、馬が死ぬと馬はそこに残していくが、どんなに砂漠を歩こうとも、鞍は自分で担いで往く。馬は消耗品であり、鞍は自分の体に馴染んだインタフェースだからだ。いまやパソコンは消耗品であり、キーボードは大切な、生涯使えるインタフェースであることを忘れてはいけない。

Happy Hacking Keyboard | 和田先生関連ページ
Emacsを開発したリチャード・ストールマンも使っている。ノートPCの上におくスタイルは尊師スタイルと呼ばれているらしいwww

C言語、Objective-C、Javaの静的検証器。Facebookが買収しOSSになった。Infer Introduction - ::Eldesh a b = LEFT a | RIGHT b]

Haskellを使用する金融企業。

F#とCoqを使用する。

Erlangを使用する。WebRTC に関する様々なソフトウェアを開発する。

MicrosoftはVisual StudioでF#をサポートする。

東京大学 大学院情報理工学系研究科 コンピュータ科学専攻。高階モデル検査とか。

型システムなどの手法を利用したプログラム解析の研究

Label-selective lambda-calculus and Transformation calculusなど

Mewを作られた方。Haskellも書かれてます。

関数型言語の国際学会

プログラマのメジャーリーグ。コンペティションに参加すると、レーティングされ、プログラミング能力を証明する。世界中から参加。

国際的なプログラミングコンテスト？