はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ 事前条件

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 2 / 2件)
 

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

2017/01/23 このエントリーをはてなブックマークに追加 93 users Instapaper Pocket Tweet Facebook Share Evernote Clip Flowtype TypeScript Qiita ゆえ 一種

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

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

2014/08/18 このエントリーをはてなブックマークに追加 65 users Instapaper Pocket Tweet Facebook Share Evernote Clip 事後条件 メモ 2014-08-18 事情 事前

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

 
(1 - 2 / 2件)