爲什麼要找到類型聲明？

Question

的documentation for ReasonReact指定其中代碼中的一個類型，應聲明：

狀態類型可以是任何東西！一個int，一個字符串，ref或公共記錄類型，你應該在reducerComponent調用之前聲明權：

type state = {counter: int, showPopUp: bool}; 

let component = ReasonReact.reducerComponent "Dialog"; 

強調的是他們的。

爲什麼說類型聲明位於哪裏，只要它有效？只有兩條線相鄰時纔會進行某種優化？如果我在它們之間插入其他東西或將它們放在單獨的模塊中會發生什麼？

Answer 1

該類型需要在使用之前進行定義，但從任何技術意義上講，它們之間是否有任何內容無關緊要。這只是慣例，把相關的東西放在一起。

我會在文檔中看到澄清。

Answer 2

在組件定義之後放置狀態類型（或retainProps類型或操作類型）會給您一個類型錯誤;如果你打開超級錯誤（如：https://github.com/reasonml-community/bs-glob/blob/d891ce1fadd3f3b2938d5900eb15241be4a3c1d0/bsconfig.json#L3），那麼這個錯誤會簡單地解釋它自己。

簡而言之，這是一個角落案輸入問題（範圍轉義），其解釋可以在其他地方找到。