「後付の型システム」の活用についてFlowtypeとReduxから考える - Qiita

2017/01/23 93 users Flowtype TypeScript Qiita ゆえ 一種

FlowtypeやTypeScriptは静的解析によって事前に型違反を検知することができる。JavaScriptは動的型付けの言語であり、本来はランタイムにしか型が出現しない。 FlowtypeとTypeScript、ともに「それ自身がランタイムではない」というのが特徴であり、一種のLintツールだと言うことができる。ランタイムではないがゆえに、嘘の事前条件を与えることでそれらを騙すことができるし... 続きを読む

マニュアルオペレーションするとき気を付けたいこといくつか - ふり返る暇なんて無いね

2014/08/18 65 users 事後条件 メモ 2014-08-18 事情 事前

2014-08-18 マニュアルオペレーションするとき気を付けたいこといくつか linux operation 少し思うところがあったのでメモ。 ほぼ自己流なので、もっと良いのがあれば教えて欲しいところ。 そもそもマニュアルオペレーション(手作業)するな ごもっとも。でもやらないといけない深淵な事情があるんです。 事前条件と事後条件を明確にしておく どういう状態からどういう状態に変わるべきか事前に... 続きを読む