最近では、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作ろうとして、実装のツラミはなんとなく知ってるつもりです。ホビーレベルで作るもの
SORACOM、セキュアプロビジョニングサービス「SORACOM Krypton」、ダッシュボードサービス「SORACOM Lagoon」を提供開始、セルラーLPWA「LTE-M」への対応も発表 (株)ソラコムは2018年7月4日、同社の提供するIoT通信プラットフォーム「SORACOM」における新たなサービス2種の開始を発表した。発表は同日開催された同社主催するカンファレンス「SORACOM Conference “Discovery” 2018」の基調講演で行われた。 セキュアプロビジョニングサービス「SORACOM Krypton」 新サービスの1つ「SORACOM Krypton」は、SORACOMが提供するセルラー用SIMの認証機能をもとに、同社の認証基盤を使ってさまざまなクラウドサービスに接続するためのプロビジョニング(初期設定)をIoTデバイスにセキュアに組み込むサ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く