1. El código es un mecanografiado.
2. El prefijo $ReadOnly se usa para hacer que una propiedad sea de solo lectura. Se puede acceder a los miembros de solo lectura fuera de la clase, pero su valor no se puede cambiar. Dado que los miembros de solo lectura no se pueden cambiar fuera de la clase, deben inicializarse en la declaración o inicializarse dentro del constructor de la clase.
3. el | parte está haciendo el resto como una unión, por lo que solo devuelve el valor verdadero o de solo lectura. En el retorno de sólo lectura, la diff se identificará como boolean | undefined ; y process se identificará como type | undefined ; Dado que todos los valores tienen un valor predeterminado de indefinido, el compilador no se quejará de que el process o la diff no están asignados.

Lo encontré... Facebook usa 'flow'. (sin texto mecanografiado) https://flow.org/en/