私とテストと自動化と - あどけない話

2024/02/09 104 users テスト プログラマ 自動化 ラムダノート ビューティフルコード

何度か講演でこの話をしたのだが、気が向いたのでエッセンスを書き下しておこうと思う。 テスト駆動という言葉が流行る前にプログラマとなった私は、当初どのようにテストを書いてよいのか分からなかった。そんなとき、(当時はオーム社で現在はラムダノートの)鹿野さんから「ビューティフルコード」を献本していただいた... 続きを読む

HTTP/2から見えるTLS事情 - あどけない話

2014/12/19 204 users http ボート 勘違い 資料 たくさん

これは HTTP/2 アドベントカレンダー19日目の記事です。この記事はたくさんの資料を読んだ上で書きましたが、間違いとか勘違いとかがあるかもしれません。もしあれば、指摘していただけると幸いです。実質的に必須となったTLSHTTP/2は、HTTP/1.1と同じく、暗号化なし/ありのポートとして、80と443を使います。そのため、通信開始時にHTTP/1.1とHTTP/2をネゴシエーションするための... 続きを読む

Real World Haskell の古いところ - あどけない話

2014/02/06 177 users 古いところ Cabal コマンド 1章 3章

Real World Haskell の内容が古くなってきたので、どこが古いかとか、それに変わる新しいものは何とか、まとめたいと思う。1章今でも通用する。2章今でも通用する。3章今でも通用する。4章ghc に --make オプションはもう不要。5章5.14節では、"runghc Setup build" のように Setup.hs を実行しているが、現在では "cabal" コマンドを使うのが一... 続きを読む

書評「型システム入門」 - あどけない話

2013/04/04 116 users 書評 型システム入門

端的に説明するなら「正しく型付けされた項はおかしくなることがない」ことを学ぶための壮大な本。型に関する圧倒的な知識を持ち、説明がうまく、根気づよい人にのみ記すことができた英語の良書が、型システムを愛する訳者と完訳者、および(書中に名前が出てくる方も含む)豪華なレビュアの情熱によって翻訳された記念すべき書籍。税抜きで6,800円と高いが、それ以上の価値がある本である。型システム入門 −プログラミング... 続きを読む

Git に関する良記事 - あどけない話

2013/04/02 530 users Git gitgit Tips 良記事 動作

適宜追加します。Pro Git僕が読んだ Git の書籍の中では、一番分かりやすいと思いました。日本語版の書籍はありませんが、オンライン版が翻訳されています。Pro Git図解 GitGit の初心者が動作を理解するのにおススメ。図解 Gitあなたの知らないGit Tips書籍には載ってない Tips の解説。知らないと損するかも。あなたの知らないGit Tipsワークフロー、あるいはブランチング... 続きを読む

静的型付き言語プログラマから見た動的型付き言語 - あどけない話

2013/03/08 205 users 言語

およそ20年前にAlan Kay の講演をきいたことがある。印象に残ったのは、彼が引き合いに出した McLuhan の言葉だ。 I don't know who discoverd water, but it wasn't a fish. (拙訳)誰が水を発見したかは知らないが、発見者が魚でなかったことは確かだ。 誰しも信念という水の中を泳ぐ魚のような存在だ。思い切って飛び跳ね空気に触れてみなれば... 続きを読む

カリー化談義 - あどけない話

2011/09/06 101 users

Haskell最近、スタートHaskellで「カリー化された関数のメリットは何か？」という質問が出た。そのすぐ後に、kmizuさんがカリー化の誤用に対して警鐘を鳴らしてしていた。僕からするとkmizuさんの「カリー化の定義」も誤用に思えたので、調べるとともに考えたことのまとめ。いろんな定義「カリー化する」という用語は、すくなくとも以下の3つの意味で使われているようだ。部分適用という意味 これは明ら... 続きを読む

Haskell から見た node.js - あどけない話

2011/08/25 152 users Haskell Lua Twitter Chrome ダール氏

haskell,llplanets誤訳以前、「サーバサイドJavaScriptのNode.js、最初はCやHaskellを検討し失敗。開発者ライアン・ダール氏へのインタビュー」という記事が twitter で話題になっていました。―― なぜJavaScriptを選んだのでしょう？ダール氏　実は最初は違いました。最初はC、Lua、Haskellなどで失敗していました。そんなときV8（Chromeが採... 続きを読む

2011年に Haskell を始める人のために - あどけない話

2011/05/23 101 users Haskell GHC ライブラリ 著者 パッケージ化

適切な一歩を踏み出すか否かは、大きな違いを生みます。この記事では、2011年に Haskell を始める人のために、著者が考える最適な入門方法を示します。Haskell Platform をインストールする昔人気のあった Hugs は、もう保守されていません。現在は、GHC の時代です。GHC とライブラリをパッケージ化した Haskell Platform をインストールして下さい。インタープリ... 続きを読む

QAで学ぶMonad - あどけない話

2011/04/13 143 users Monad where return 風評 メソッド

Haskellこれは、Monad でつまづいた Haskeller のための Monad 入門です。Monadとは何ですか？Monad とは、単なる型クラスの一つです。難しいという風評もありますが、それ以上でもそれ以下でもありません。この型クラスのメソッドは、return と >>= です。 class Monad m where (>>=) :: m a -> (a -> m b) -> m b... 続きを読む

例として推奨されているドメイン名とIPアドレス - あどけない話

2008/11/11 358 users IPアドレス ドメイン名 example.jp ｇＴＬＤ 出典

解説記事や発表資料で、ドメインの例を出す場合、example.jp等を使うことが推奨されていることを知っている人は多いでしょう。しかし、IPアドレスの方は知らない人もいるみたいです。ここでは両方について出典を示しながらまとめます。知っていて別の例を使うのはいいのですが、知らないで別の例を使うのはよくないです。gTLDのドメイン名の例RFC2606で以下のように定められています。 3. Reserv... 続きを読む

文章の書き方 - あどけない話

2008/09/24 617 users 文章 書き方 IIJ 講義 個別

2006年に IIJ の新人研修で「文章の書き方」という講義を担当しました。そのときの資料を何人もの人に個別に差し上げていたのですが、それも面倒になってきました。新人研修の担当者に問い合わせたところ、公開しても問題ないとのことでしたので、資料を公開します。「文章の書き方」の資料 続きを読む

プログラマの壁 - あどけない話

2008/03/14 382 users プログラマ 仮定 Jeff Atwood プログラム 人間

プログラミングプログラマに向いている人と向いていない人がいるそうです。Jeff Atwood さんの「どうしてプログラマに・・・プログラムが書けないのか?」：プログラムを書ける者とプログラムを書けない者の間にある大きな溝についてはよく知られているが、プログラマの職に応募してくる人間は、すでにこの溝を飛び越えているものだとばかり思っていた。明らかにこれは妥当な仮定ではないらしい。プログラムを書けない... 続きを読む