What is Gradual Typing | Jeremy Siek
(For a Japanese translation, go here) Gradual typing is a type system I developed with Walid Taha in 2006 that allows parts of a program to be dynamically typed and other parts to be statically typed. The programmer controls which parts are which by either leaving out type annotations or by adding them in. This article gives a gentle introduction to gradual typing. The following were our motivatio
タバコを嫌うエンジニアは多いが、同じようにローマ字入力も嫌うべきだ - latest log
最近の小学校の先生はローマ字入力しか教えられないらしく、せっかく子供をかな打ちで育てても、学校でローマ字入力に矯正させられる。 もしくはそういう「ローマ字入力以外は認めない」といった教育要項があるのかもしれないが、ああいうのは今後止めてもらいたい。 ローマ字入力というのは、左利きの人が右利きに矯正させられる以上の生産性のロス(一説には30%のロス)が発生している。 日本が他国に比べて長時間労働をしているにもかかわらず、生産性が低くありつづける理由の一端が、ローマ字入力にあるのかもしれない。 できるプログラマーは「かな入力」を使っているという話 子供は見えている文字をタイプするとそのまま表示されるのが自然だと感じて育つ。ローマ字入力は打算から生まれた入力方法だし、直感に反する。 「キートップは大文字なのに、実際にタイプすると小文字が出るのは直感に反する」という理由から、ChromeBookの
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
化け猫アイコンメーカー
