'@@ transducer/step'とは何ですか？次

Question

は

Ramda's type definitionsからです：

type Transformer<A,B> = { 
    '@@transducer/step': <I,R>(r: A, a: *) => R, 
    '@@transducer/init':() => A, 
    '@@transducer/result': (result: *) => B 
} 

declare function into<I,T,A:Array<T>,R>(accum: Transformer<I,R>, xf: (a: A) => R, input: A): R 

'@@transducer/*'はここで何を意味するのでしょうか？私はドキュメントでこの構文について何も見つけることができません。

Answer 1

これは実際にはフロー自体に固有のものではありません。 Flowの観点から、'@@transducer/*'の各項目は、オブジェクト内のプロパティの名前を示す単なる文字列リテラルです。

このFlow宣言では、Transformerは3つのプロパティを持つオブジェクトで、これらの特定の文字列を名前として持ち、それらの関数タイプの値を示しています。

Ramdaコードからsee an example of a value of that typeに役立つことがあります。特定の機能を指している3つのキーを持つオブジェクトであることがわかります。