I moved to Mastodon. @masterq_mogumog @yukihiro_matz どうでした?あと最新の論文がります。是非一度で良いので目を通していただきたく。。。 Applied Type System / ats-lang.org/Papers.html#Ap… 2014-12-03 01:26:14
![matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ](https://cdn-ak-scissors.b.st-hatena.com/image/square/110446fd8c76805dc6c205b4279f3e9d06a59369/height=288;version=1;width=512/https%3A%2F%2Fs.togetter.com%2Fogp2%2F0ce44f112ce94e2e2af6f0f68616befe-1200x630.png)
Backbone.js Advent Calendar 2014 2日目の記事です。 Backbone.Routerではハッシュフラグメント(#hogehoge)によってページ内容の出し分けをしてます。 時によっては前回のハッシュの状態によって、表示内容の制御をしたいときがあります。 例えば、TOPページから下層ページに移動したときはページ遷移のアニメーションを出すけど、 下層ページ間の移動ではアニメーションなしといったときです。 こういう時に使うと便利なのが”有限状態遷移機械“というモデルです。(Finite State Machine[FSM]ともいいます) ある状態から別のある状態に遷移したときに、ある処理が発生しますよというモデルです。 さっきの話を例にとると、TOPページの状態を”#top”、下層ページAの状態を”#pageA”、 下層ページBの状態を”pageB”としたとき、下
Direct Proxiesとは Direct ProxiesってのはES6の機能の一つで、オブジェクトをラップして様々なタイミングで任意の処理を差し込めるというとっても夢広がリングな機能。 harmony:direct_proxies [ES Wiki] 例えば、プロパティのget/set時に処理を差し込むのはこんな感じ。 (Direct Proxiesは現状だとFirefoxでしか動かない。そして下記のコードは無駄にテンプレートリテラル使ってるのでFirefox 34以上じゃないと動かない) // Proxyを使って処理を書き換える対象のオブジェクト var target = { foo: 'bar' }; // Proxyを使ってtargetに対してhandlerを適用したproxyオブジェクトを得る var proxy = new Proxy(target, { // プロパティ読
Chrome extension向けTypeScript,gulp,power-assert,karma設定 ベース設定的なものができたので紹介。 gulp or grunt今回はassertionにPowerAssertを使うため、変換時に中間ファイルを必要としないgulpを選択。 gulp-tsc or gulp-typescriptgulp-tscはだいぶ更新されてないし取り込まれてないPRもあるけど、gulp-typescriptはしばらく触ってみてファイルを結合する方法がわからなかったので断念した。 gulp-tscはコンパイル時に「Compiling TypeScript files using tsc version null」って出るのさえ気にしなければそれ以外はそんなに問題ない。 gulp-typescriptはjsとd.tsと.mapをそれぞれ別々に処理する方法を提供し
この記事はTypeScript Advent Calendarの3日目の記事です。 jsdo.itは株式会社カヤックが2010年に起ち上げたサービスで、HTML、CSS、JavaScriptを編集してその場で実行、共有するプログラマ向けコミュニティサイトです。 当初はJavaScriptだけでしたが、現在はJSX、CoffeeScript、TypeScriptに対応しています。 ※言語の変更方法 help - jsdo.it - Share JavaScript, HTML5 and CSS TypeScriptの特徴といえば静的な型チェックがあることです。 jQuery などの著名なライブラリに対しては既に型定義ファイルが提供されており、TypeScriptの先頭行に下記を追記して使う。 /// <reference path="jquery.d.ts" />jsdo.itでもコード編集
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く