サリー-プリミティブの背後にあるロジック

Question

サリーのプリミティブは、プロトコルの説明を作成するため、または生成するデータの種類を指定するために使用されますか？

たとえば、次のプリミティブs_string("ok", encoding="ascii")を取り上げましょう。

最初のケースでは、プロトコルはASCII文字列を想定しているため、sulleyは非ASCII文字列だけでなくASCII文字列も生成することを期待します。

2番目のケースでは、サリーはASCII文字列のみを生成する必要があることを意味します。どちらが正しいか？

ありがとう。

Answer 1

サリーマニュアル から、それは

Encoding to use for string

それはあなたの2番目のケースだと思います。