flow-typed とは flowtype で外部ライブラリを使うと欲しくなってくる型定義ファイルを集めたリポジトリになります。TypeScript には DefinitelyTyped という型情報のリポジトリがありますがそれと似たようなものです。 flowtype/...
flowtypeの実現する実行時例外のない世界 - Please Drive Faster
今日こんなスライドを見かけた。 djcordhose.github.io これはtypescriptとflowtypeの違いがよく分かるすごく良いスライド。 このスライドの5ページ目に以下の1文がある。 FLOW SOUNDNESS, NO RUNTIME EXCEPTIONS AS GOAL スライドに刺激を受けたの…
型なき世界のためのflowtype入門 - Qiita
http://qiita.com/mizchi/items/3bbb3f466a3b5011b509 で紹介したモダンJSスタックの上に、flowtype を導入して型をボトムアップに追加していくアプローチを紹介します。 なぜflowtypeか、そのゴールは 流行っている...
Flowtype+Atom+Nuclideで安全にEventを扱う - Qiita
皆さんイベントを扱ってますか！！ JavaScriptではイベントは避けては通れない道ではありますが、イベントを送る、受け取るのには文字列でイベント名を指定してあげる必要があります。 このイベント名を指定するというのが曲者で、文字列での指定になるためどうしてもtypoが発生...
Flow and TypeScript
One of the Core Web team’s goals at Tumblr is to reduce the number of runtime issues that we see in our React codebase. To help move some of those issues from runtime to compile time, I evaluated the two leading type systems, Flow and TypeScript, to see if they could give us more type safety. I did a bit of background reading about the differences between Flow and TypeScript to see what the community had to say about them.
Flowtypeによるコンポーネント指向における型の入手/flowtype-with-flow
http://connpass.com/event/31305/ Modern Web App LT!（freee x WACUL） LT資料
どのようにTypeScriptを使うのか - uhyo/blog
現在、TypeScriptの重要性は、フロントエンド開発を中心としてますます増すばかりであります。それだけに、TypeScriptをどのように使うべきかという問題については多様な意見が見られます。 これまで筆者はTypeScriptの使い方に、特にコンパイラオプションの使い方について意見を散発的に発信してきましたが…
Rust + wasmでJS向けの形態素解析ライブラリを作ってnpmで公開する
Rust製の形態素解析ライブラリであるLinderaをjavascript/typescriptから呼び出すことが出来るライブラリを作ってnpmで公開しました。
GoogleMapへのリンクURL作成方法を調べた - Qiita
サイトにGoogleMapを埋め込む場合、Googleが提供しているJavaScriptのAPIを使用するのが一般的です。 そうではなく、a要素で作るような単なるリンクを作成したい、という場合にどういう規則でURLを作成すればよいのか調べてみたものです。 前提 システム側...
EcmaScriptの個人的に気になる新機能提案 - Qiita
tc39のリポジトリを中心に気になる提案をまとめます。 do expressions(stage-1) リポジトリ 概要 関数型言語のようにifやtry、switchなどを式のように扱えるようにする為にdo式を追加しようという提案です。 例 let b = t...
秘匿性高い通信アプリを遠隔解析 トクリュウ対策で検討へ | NHKニュース
【NHK】秘匿性の高い通信アプリで連絡を取り合い犯行を繰り返す匿名・流動型犯罪グループへの対策として、警察庁は、指示役とみられる人物などのアプリでのやりとりを遠隔で取得する新たな捜査技術の調査を始めています。海
The Principal Type-Scheme of an Object in Combinatory Logic
R. Hindley, The Principal Type-Scheme of an Object in Combinatory Logic, Transactions of the American Mathematical Society, Vol. 146 (Dec., 1969), pp. 29-60
TypeScript 3.7 の Optional Chaining をつまみ食いする - rch850 の上澄み
TypeScript 3.7 Iteration Plan という issue が TypeScript に立っていて、追加される機能がリストアップされています。Optional Chaining とか Nullish Coalescing とかめちゃくちゃセクシーな機能てんこもりなんですが、まだそれらの PR はマー…
JavaScriptフレームワーク選定の議論 - Qiita
相談内容 既存の管理ツールを新しく作り直すために新しいJSフレームワーク/言語使いたいのですが、何を選んだらよいでしょうか？ ここで選んだものは今後新しく作る時にも使用していく予定のため、学習コストよりメンテナンスしやすいものを選びたいと考えています。 利用者は社内外...
Syntax and Semantics of Linear Dependent Types
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax...
JavaScriptを大きく変えうる Dataflow Proposals の概要と論点(Call-this, Pipe Operator)
最近、TC39 で Dataflow Proposals と呼ばれる5つのプロポーザルが議論されている。これらはパラダイムをも変えうる大きな提案で、議論も結構おもしろいので紹介する。
