Verseでは、ライブラリの実装者が各ＡＰＩが持つ制約を明示する為に、関数名に「作用指定子（effect specifier）」を付与できます。これによって、その関数が副作用を持つかどうかや、環境依存性があるどうかなどをインターフェイスレベルで規定できます。 …