漸進的型付け言語の時代に必要なもの - mizchi's blog
最近では、Gradual Typing、漸進的型付けと呼ばれる型システムを備えた言語(拡張)が増えてきています。 次のようなもの JavaScript: TypeScript / Flowtype Python: mypy / pyre-checker PHP: hack / php-storm flow/pyre-checker/hack と facebook 製が多いですね。 この記事は、それらを使う動機と運用について書きます。この記事の出発点として、 おそらく TypeScript/Flow で発生した問題が後発の言語で発生すると思っており、それらを使う方や、設計する人への提言でもあります。 自分は昔 https://github.com/mizchi/TypedCoffeeScript というAltJS作ろうとして、実装のツラミはなんとなく知ってるつもりです。ホビーレベルで作るもの
Googleの新言語「Dart」、ECMAが標準化を開始
Googleが、JavaScriptよりも優れたWeb言語として開発中の「Dart」。このDartの標準化をECMA Internationalが開始したと、The Chromium Blogのエントリ「Ecma forms TC52 for Dart Standardization」で報告されました。 Dartは先月、最初の正式版となる「Dart 1.0」がリリースされたばかり。 ECMA InternationalはJavaScriptの標準化を行っている団体でもあり（JavaScriptは正式にはECMAScriptという名称）、DartはGoogle独自の言語から標準化された言語へと最初のステップを踏み出したことになります。ECMAは他にもC#の標準化も行っています。 WebブラウザにDartVMを搭載することを目指して 昨年の10月にGoogleがDartを発表したとき、Java
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
TechCrunch | Startup and Technology News
Chrome Dev Editor - JavaScriptとDart用の新IDE
GitHub - TrigenSoftware/ColaScript: translator / parser / mangler / compressor / beautifier toolkit
Google Code Archive - Long-term storage for Google Code Project Hosting.
Dart programming language
