契約による設計から見た例外 - Qiita
正しさは相対的な概念である。 Bertrand Meyer [1] Bertrand Meyer氏は「契約による設計」という概念から例外を導出し、例外の必要性をエレガントに説明しています。また、彼の説明に則れば今までの議論と比べて例外をいくぶんか形式的に扱えるようになります。契約による設計を学ぶ前に、プログラムの正しさについてもう一度考えてみましょう。 プログラムの正しさ あるプログラムが正しいかどうかを判定するにはどのようにすれば良いでしょうか。最も簡単な方法は、あるプログラムの正しさを形式的に定義する事です。より直接的に言えば、あるプログラムの正しさを簡単な論理式で表現します。その論理式が真ならばそのプログラムは正しい。偽ならばそのプログラムは正しくありません。 これだけだと関数の戻り値を検査すれば良いだけのようにも聞こえます。しかし、そう簡単な話ではありません。純粋でない言語の場合、
「“スケールしない”ことをしよう」 Yコンビネーターに伝わる、たったひとつの起業哲学が奥深い | ログミーBusiness
地元の飲食店からフードデリバリーを提供するスタートアップDoorDashの創業者であり、Yコンビネーター出身者のStanley Tang（スタンリー・タン）氏が起業家育成講義に登場。本パートでは、Yコンビネーターで繰り返し語られる「スケールしないことをしよう」という起業哲学を紹介しつつ、自身の起業体験を語りました。 スタートアップの始め方スタンリー・タン氏（以下、スタンリー）：今日はありがとうございます。私はスタンリー、DoorDashの創設者です。実は私もつい最近まで皆さんと同じようにスタンフォードの学生でした。 2014年度卒、コンピューター・サイエンスで学位を取りました。私の共同創業者のアンディもそうです。DoorDashはローカルのフード・デリバリーネットワークです。 数か月前に撮ったこの写真から話を始めます。シリーズＡをゲットした夜のことです。自宅に歩いて戻る際―この時大学の寮に
Google短縮URLの末尾に「.qr」を追加してみると？ ｜ ガジェット通信 GetNews
使いどころが分からないけど、知っとくとちょっと便利かも？しれない、Google短縮URLに関する機能をご紹介。 Google短縮URLの末尾に「.qr」と入力すると、QRコードが自動生成される仕組みになっているそうです。 【関連：「一回転」「斜め」以外にもあるGoogleのイースターエッグ】 実際どうなるかスマートフォンで実験してみました。 まずGoogleが提供する短縮URLサービス『Google URL Shortener』（https://goo.gl/）を使い短縮URLを発行。 ▼発行した短縮URL http://goo.gl/jOUN6r 次にURL末尾に「.qr」と入力し確定。 ▼短縮URLの末尾に「.qr」を追加→確定 http://goo.gl/jOUN6r.qr すると本当に出ました！スマートフォンの画面では最初少し小さめに表示されますが、拡大してもきちんと表示されました
Yet Another JSON な json5をgolangでparseできる奴を作った - from scratch
このエントリは Go Advent Calendar 2014 の記事です。 さて、僕はJSONSchemaで疲弊してたんですが、主に疲弊してた理由としてはJSONの表現力不足(ケツカンマ許さない、コメントかけない等)とJSONSchema Validatorで不正な値があった時の情報量の少なさでして、JSONの表現力不足に関しては皆さんYAML使ったりして色々解決してるとは思います。 そこで自分もYAMLではなく、JSON5使って解決しようと考えてgolangで実装してみました。 JSON5の詳細に関してはこちらのエントリを参考にされると良いかと思います。 普通にjson5をインストールする インストールは簡単。 $ brew tap yosuke-furukawa/json5 $ brew install json5そんで、こんな感じのjson5ファイルを用意して、 // This i
例外 - Qiita Advent Calendar 2014 - Qiita
例外やエラー、それにまつわる各種言語の取り組み等を共有しましょう。 11月末までに書き手が集まらなかった場合は主催者による独りAdvent Calendarと化します。 集まらなかったので残念ながら独りAdvent Calendarと化しました。 追記 独りAdvent Calendarですが、以下の理由で頓挫しました。6日目以降はお好きにご活用ください。 http://qiita.com/Kokudori/items/3a953c00012408f76ab9#%E4%BE%8B%E5%A4%96-advent-calendar-2014%E3%81%AE%E7%B6%99%E7%B6%9A%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
