移動しましたこのコンテンツは移動しました。約5秒後に移動先へジャンプします。 移動しない時はここをクリックしてください。
米大統領「全ての人よ、プログラミングを！」 | Life is Tech!（ライフイズテック）
「全ての人よ、プログラミングを！」 アメリカのオバマ大統領が、全てのアメリカ人に対して、 プログラミングの大切さを伝えたメッセージが公開されました。 まずは動画と、和訳、原文です。 ＜和訳＞ みなさんこんにちは！ 私は今週、「アメリカの学校でコンピューターサイエンスをサポートし、 新たな、そして大きなステップを踏み出す会合」に参加しました。 （学生、先生、ビジネスマン、そしてNPO達が参加してました。） こういったスキルを学ぶのは単に将来に役立つからというだけではありません。 我が国の将来に必要なのです。 我が国が最先端をゆく国であり続けたいのであれば、 私達の生活を変えてくれるような、ツールや技術を習得した、 あなたたちのような若い人が必要なのです。 だから、私はあなたたちにやってほしい！ 新しいゲームを買うだけではなく、つくってみよう！ 最新のアプリをダウンロ
SetはFunctorである - think and error
Haskell Advent Calendar 2013 9日目です。 概要 SetはFunctor。 Categorical Programming for Data Types with Restricted Parametricity rmonad: Restricted monad library なぜSetはFunctorになっていないのか Setを要素が重複しないデータ構造とします。Setはその性質のため、要素には比較出来ることが要求されます。Haskellで言うとEq制約です。まあ本来重複しないことだけを要求するならEq制約だけでいいはずですが、SetがOrd制約を要求しているのは効率の良い実装にするためでしょう。containersパッケージのData.Setはバランス二分木で実装されています。 本来SetはFunctorにすることが出来るはずです。しかし現状(GHC7.6
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
