類型推斷英文怎麼說

類型推斷 的英文翻譯

類型推斷 例句

1. The usual proof of the general principle is a mildly involved category argument.
   一般原理的證明是一個稍為繁復的 類 型 推 理。
2. Lambda expressions, an evolution of anonymous methods that provides improved type inference and conversions to both delegate types and expression trees
   Lambda表達式，匿名函數的一種進化，為代理 類 型 和表達式樹提供改良的 類型推斷 結果和轉換。
3. This is the other main reason for the overpressure in kuche depression to be preserved. we analyzed the effect of fracture in the gas deposit formation and hold that different kinds of fracture have different effect : hydrocarbon dissipation and relief effect of crossing salt bed faults that run through source rock, reservoir, and caprock ; filling effect of under salt bed faults that run through source rock and reservoir ; slippage faults that did not connect source rock have no effect to hydrocarbon accumulation and dissipation ; adjusting faults in reservoir have effect of adjusting formations for hydrocarbon distribution
   分析了 斷 裂在天然氣成藏中的作用，認為不同 類 型 的 斷 裂在天然氣成藏過程中的作用是不同的：貫通生、儲、蓋層的穿鹽 斷 層對油氣散失和泄壓作用；貫通源巖和儲層的鹽下 斷 層對抽氣運聚的充注作用；不連接源巖的滑脫 斷 層對油氣聚散無作用；儲層內調整 斷 層對油氣分佈起調整層位作用。
4. Due to the great pressure from the spring of upper static interface, it is obvious that there are not only many difficulties, but also many insecure factors in artificial operation, especially when it is raining. up to now, with the exception of self - falling when fault happens, all disjunction and close of the high - voltage explosion fuse are manipulated manually
   由於該 類 型 熔 斷 器的對地安全距離至少為4 . 5米，且其上部靜觸點的彈簧壓力亦很大，因此人工操作熔管的分合不僅具有相當的難度，且操作過程中的不安全因素甚多。
5. The compiler applies type inference logic to all generic methods that share the same name
   編譯器向共享相同名稱的所有泛 型 方法應用 類型推斷 邏輯。

類型推斷 的相似字

瀏覽更多漢英字典詞條

前往 漢英字典目錄 瀏覽全部詞條。