GraphQL(gqlgen) の directive で事前条件、事後条件を実装する

2023/05/08 8 users タイピングゲーム 遅まき スキーマ directive API

こんにちは。久しぶりに趣味でタイピングゲームに関するライブラリを開発している typer です。 テラーノベルでも遅まきながらバックエンド API を GraphQL に移行することになったので、GraphQL の表現力を活かしてドメインの関心事をスキーマに落とし込むことに四苦八苦している毎日です。今回は、こんな directive 作... 続きを読む

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

米Google、Javaに契約プログラミングの概念を実装するデバッグ支援ツール「Contracts for Java」を公開 - SourceForge.JP Magazine : オープンソースの話題満載

2011/02/09 25 users Java 概念 JP Magazine 契約プログラミング

米Googleは2月4日、「Contracts for Java（cofoja）」をオープンソースとして公開した。オブジェクト指向プログラミング言語「Eiffel」に着想を得たツールで、Javaプログラミングにおけるデバッグ作業を容易にするという。Contracts for Javaは、Javaに契約プログラミング（契約による設計とも呼ばれる）の概念を実装するツール。「契約」と呼ばれる、事前条件や... 続きを読む