flowtypeのUtility Typeについて その2 - Qiita
flowtypeのv0.38.0がでましたね！ CHANGELOGを読んでみると $ReadOnlyArray is the common supertype of arrays and tuples. It's basically an array without stuff like push(), pop(), etc $ReadOnlyArray<T>なんて便利そうなUtility Type（旧Magic Type）が追加されてるじゃないですか！！ これは楽しそうだと https://github.com/facebook/flow/blob/master/src/typing/type_annotation.ml を見てみるとなんか$から始まる見知らぬ型が増えてる・・・。 ドキュメントにないのはまだ許せるけど、CHANGELOGにすらないってどういうことなの・・・！！！ 嘆いても
「後付の型システム」の活用についてFlowtypeとReduxから考える - Qiita
FlowtypeやTypeScriptは静的解析によって事前に型違反を検知することができる。JavaScriptは動的型付けの言語であり、本来はランタイムにしか型が出現しない。 FlowtypeとTypeScript、ともに「それ自身がランタイムではない」というのが特徴であり、一種のLintツールだと言うことができる。ランタイムではないがゆえに、嘘の事前条件を与えることでそれらを騙すことができるし、自らに有利な制約を追加できるという柔軟性を持つ。 JavaScriptの現実においての型 例を出そう。 type MyUtil = { foo(v: string): number; }; const util: MyUtil = new HogeUtil(); util.foo(1) //=> type error HogeUtil は何かしらのユーティリティ関数の詰め合わせだが、fooにしか
関数オーバーロードとIntersection types - Qiita
Union と Intersection flowtype の公式ドキュメントによると、Union typesは指定された型のうちどれか1つを満たす型で、Intersection typesは指定された型をすべて満たす型です。言葉による説明よりもコードを見てもらった方がわかりやすいと思います。 type A = { a: string }; type B = { b: number }; type U = A | B; // Union type I = A & B; // Intersecion ({ a: 'hoge' }: U); // OK! ({ b: 1 }: U); // OK! ({ a: 'hoge', b: 1 }: U); // OK! ({ c: true }: U); // Error! ({ a: 'hoge', b: 1 }: I); // OK! ({ a:
JavaScript でも型チェックと契約による設計で安定した開発をする - Qiita
チーム開発をやっていると特定の処理を呼び出す際にインターフェイスを明示することがとても重要になってきます。言い換えると使い方がきちんと示されていることが最低ラインということです。ドキュメントは実際の処理と乖離しますし、各人がソースコードの処理を追わなければならないというのはチームでやっている意味がありません。 ところが JavaScript にはそういった仕組みが存在しません。どういった処理をするのかを表すための関数名は指定できますが、 JavaScript では関数を任意の名前の変数に代入できるので実はあまり役に立ちません。 といった状況にあった JavaScript ですが、昨今のツールの登場によって事情が変わってきました。 JavaScript でもインターフェイスを明示しながら開発するにはどうすればいいかを要素技術と一緒に書いていきます。
Flow Type Cheat Sheet - SaltyCrane
Flow is a static type checker for JavaScript. This is a list of Flow types generated from the source code in https://github.com/facebook/flow/tree/v0.111.3/ The script to generate this list is on github. Fixes welcome. See also my TypeScript cheat sheet, TypeScript React cheat sheet, and Docker cheat sheet. There are separate sections for "private" or "magic" types with a $ in the name. See the no
flow-typedで外部ライブラリの型定義を使う - Qiita
flow-typed とは flowtype で外部ライブラリを使うと欲しくなってくる型定義ファイルを集めたリポジトリになります。TypeScript には DefinitelyTyped という型情報のリポジトリがありますがそれと似たようなものです。 flowtype/flow-typed on GitHub このリポジトリではそれらの型定義ファイルをプロジェクトで使うための便利な CLI ツールも npm 経由で提供しています。本稿は flow-typed をプロジェクトで使っていくまでの設定やセットアップについて短く解説します。 CLI ツールのインストール README.md には準備が整ったら npm に公開するよ、と書かれていますが、すでに公開されていて主要な機能は使えているので npm からインストールします（2016-06-12 時点で 2.0.0-beta.5）。 特にプ
Using Redux with Flow
Redux is a great library for managing application’s state. But JavaScript is still a dynamically typed language, which comes with a lot of surprises at runtime. In this post I’ll show you how you can use Flow to embrace static type checking in your Redux-powered application. I choose to use Flow for the disjoint union support and the ability to convert the codebase incrementally. Read on to learn
Redux and Flowtype
First, I want to begin by stating that this is not an article about how to use Redux, there’s a ton of fantastic documentation out there already, I want to discuss how you apply the concepts of static typing to Redux. Flow is a static type checker for JavaScript, created by the engineering team at Facebook. Static typing adds a lot of value to your code, but it’s a strange topic for people who don
flowtypeの実現する実行時例外のない世界 - Please Drive Faster
今日こんなスライドを見かけた。 djcordhose.github.io これはtypescriptとflowtypeの違いがよく分かるすごく良いスライド。 このスライドの5ページ目に以下の1文がある。 FLOW SOUNDNESS, NO RUNTIME EXCEPTIONS AS GOAL スライドに刺激を受けたのと、最近flowtypeを触っていたのもあって、これが何を指しているか書きたくなった。 実行環境 flow: 0.26.0 typescript: 1.18.10 Flowtypeのきほん 以下のjavasciptのプログラムをflowにかけてみる。 function foo(x) { return x * 10; } foo('Hello, world!'); $ flow flow.js:5 5: foo('Hello, world!'); ^^^^^^^^^^^^^^^
Flow vs TypeScript
Type Systems for JavaScript Oliver Zeigermann / @DJCordhose http://djcordhose.github.io/flow-vs-typescript/2016_hhjs.html Most recent version including TypeScript 2.0 can be found here (might be work in progress): http://djcordhose.github.io/flow-vs-typescript/flow-typescript-2.html Part I: Introduction Why using type systems? IMHO type systems make code easier to maintain type annotations can mak
Flow + React | Flow
Was this guide helpful? Let us know by sending a message to @flowtype.
babel-plugin-typecheck を使って flowtype 文法で書かれたJSをランタイムチェックする - Qiita
https://github.com/codemix/babel-plugin-typecheck を使ってみた。 これは何 babelでflowtypeの構文を使って型エラーのランタイムチェックを行う。静的解析ではない。（自分がドキュメントから見落としてるだけで静的解析を行う方法がある？） 興味を持った理由 既存コードに対してtypescriptを導入するのは大変 flowtypeは既存コードからの乗り換えは簡単だが、型チェッカの挙動が未だに不審 コード上のドキュメントとしての型 + ランタイムチェックというアプローチなら十分では ESdoc等で型を書いてもあくまでドキュメント上の指定だが、flow syntax とこれなら実行可能という点が大きい。最悪動かなくてもランタイムチェックを外せば良い。型指定はドキュメントとして残る。 Install すでにbabel環境があることを想定 np
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Try Flow: the Flow Playground | Flow
The Eff monad implemented in Flow
Refine array types using `filter` · Issue #1414 · facebook/flow
GitHub - goshacmd/redux-typed-saga: A type-safe alternative to redux-saga. // Using `yield*` in `finally` is currently broken in Babel / ES spec, as it will terminate the generator completely.
GitHub - frantic/redux-flow-example: A simple project that shows how Flow can be used to add type safety to Redux-powered app