サリー-プリミティブの背後にあるロジック
サリーのプリミティブは、プロトコルの説明を作成するため、または生成するデータの種類を指定するために使用されますか？
たとえば、次のプリミティブs_string("ok", encoding="ascii")を取り上げましょう。
最初のケースでは、プロトコルはASCII文字列を想定しているため、sulleyは非ASCII文字列だけでなくASCII文字列も生成することを期待します。
2番目のケースでは、サリーはASCII文字列のみを生成する必要があることを意味します。どちらが正しいか？
ありがとう。