型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”(TAPL)を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”(TAPL)を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
みなさん、こんにちは。「世界一即戦力な男」から「株式会社LIGのインターン」になった菊池です。 先日、新婚ホヤホヤで調子にのっている紳さんにこんな事を言われました。 「きみっていつも同じ服を着ているよね。」 「え……?(何いってんだコイツ…ウナギみたいな顔しやがって)」 いつも同じ服を着ている理由 そうなのです。ぼくはこれと同じ服をたくさん持っていて、それを着回しているのです。 iPhoneを開発したアップルの創業者であるスティーブ・ジョブズは、いつも黒のタートルネックにジーンズをはいていました。それは制服を決めることで、ファッションにかける時間を減らし、その分クリエイティブに力を入れよう、という意図があったと思われます。 ぼくもそんなジョブズ的な、きわめてジョブズ的なポリシーとして、同じ服を着ているのです。めんどくさいのではなく! 「もうちょっと服には気を使った方がいいよ。ファッションモ
- The document discusses the introduction and use of Sass and Compass for a large-scale e-commerce site. - Key aspects covered include using Sass features like nesting, mixins, extends and @import to organize CSS, Compass features like sprite generation and creating a style guide. - The results of adopting Sass/Compass included improved development speed and a 40% increase in site traffic over 4 m
表示されているページを左右にドラッグ(フリック)して、アニメーションで左右にコンテンツをスライド表示するデスクトップにもスマフォにも対応したスクリプトを紹介します。 jQueryなどの他のライブラリには依存しません。 Snap.js -GitHub Snap.jsの特徴 Snap.jsのデモ Snap.jsの使い方 Snap.jsの特徴 jQueryなどの他のライブラリへの依存は無し CSS3を使った強力なアニメーション スライドは右・左に対応 ドラッグ操作のサポート ドラッグ操作禁止要素も定義可能 スマフォのフリック操作のサポート フックイベントのサポート イベントの有効・無効の設定 カスタマイズが簡単 対応ブラウザ IE10を含む全てのモダンブラウザに対応しています。 IE7/8/9はCSS3での一部の機能が制限されます。 Firefox 10+ Chrome, SafariなどのWe
パララックスなサイトを作る際に、スクロールに応じてJSで要素を動かすと思うのですが、その時にある場所でCSS3 Animationsが動いていると、スクロールがカクついてしまい、FPSが残念な状態になります。 そこで、スクロールが動き出した時にCSS3 Animationsを止めて、スクロールを止めた時にCSS3 Animationsを再度動作させるという処理を加えれば、スクロールがカクつくことなく、スムーズになります。 スクロールや、リサイズといったJavaScriptのイベントは連続で処理されます。そういったイベントの「開始した時」「動作している時」「停止した時」の状態が取れるjQueryのプラグインを作成しました。 jQuery.MovingState このプラグインを使い、CSS3 Animationsを動的に操作してみたいと思います。 CSS3 Animationsを一時的に停止
仕事の進みがちょいとアレなので、現実逃避もとい気分転換に。 フォームの入力内容を、jQuery.ajax()を使ってサーバーへ送信したいって時のパターンです。 基本的な流れ フォームのsubmitを拾う 通常の送信はキャンセル 送信ボタンを無効化 送信先URLやフォームの入力値を取得 送信 受信後、送信ボタンを戻す 入力値をどう得るか、というのがポイントかと思います。 送信ボタンを無効化するってのはやらなくても良いんだけど、誤操作防止のためにも是非やって頂きたいと思います。あと送信ボタンの制御以外にも応用がききます。 デモ なんかお問い合わせフォーム的なものを用意しました。 まー実際にお問い合わせフォームをAjaxで送信する場面なんてないような気もするんですが、基本パターンという事で。
退職のご挨拶 2013年5月7日をもって株式会社ドワンゴモバイルを退職しました。 4月12日が最終出社日だったので、とても長いゴールデンウィークを過ごしました。 2010年新卒としてドワンゴに入社したので、ちょうど3年ほどドワンゴグループにいたことになります。 入社からのお仕事 2010年4月の入社から6月までは研修なのでその間は良いとして、 2010年6月にドワンゴとしては大所帯のエンジニア20人ほどのプロジェクトに配属となりました。 当初は大規模プログラミングの経験も無く、右往左往することが多かったのですが、 大変優秀なリーダー、先輩方のおかげでなんとかまともなエンジニアになることが出来ました。 笑いあり、涙あり、炎上ありのプロジェクトで、とても良い経験が出来たなと思います。 余談ですが、2010年6月は社内ベータリリースのサービスの脆弱性で遊んでいたら、 「このサービスリリースまでに
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く