dependent type oor Sjinees
dependent type
Vertalings in die woordeboek Engels - Sjinees
依赖类型
en
type whose definition depends on a value
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Dependent types add complexity to a type system.
??? 样 ,? 别 像? 个 受了 委屈 的 小 丫? 头 似的WikiMatrix WikiMatrix
It's a pathdependent type, with Color being the path and Value being the dependent type.
第七十一 条 任何 单位 或者 个人 未经 批准, 持有 或者 实际 控制 证券 公司 #% 以上 股权 的, 国务院 证券 监督 管理 机构 应当 责令 其 限期 改正; 改正 前, 相应 股权 不 具有 表决权Literature Literature
Agda is based on Zhaohui Luo's Unified Theory of Dependent Types (UTT), a type theory similar to Martin-Löf type theory.
如果 拿不 到? 钻 石 又 怎 么? 样LASER-wikipedia2 LASER-wikipedia2
For example the dependently typed lambda calculus with a type of all types (Type : Type) is not normalizing due to Girard's paradox.
我們 要 叫 巴 蒂 斯 塔 下台以 通過 憲法 的 方式 叫 他 下台WikiMatrix WikiMatrix
In contrast, systems which introduce polymorphic types (like System F) or dependent types (like the Logical Framework) are not considered simply typed.
你 遲早 會 找到 她 ' 發現 她 仍 愛 你LASER-wikipedia2 LASER-wikipedia2
The main way of defining data types in Agda is via inductive data types which are similar to algebraic data types in non-dependently typed programming languages.
你 不能 因? 为 不喜? 欢 某人 的 言? 论 就?? 轻 罪? 强 加成 重罪LASER-wikipedia2 LASER-wikipedia2
Dependent type theory in full generality is very powerful: it is able to express almost any conceivable property of programs directly in the types of the program.
我 坐在? 这 儿 管我 自己的 事 我 听 到 他?? 说 桑 尼? 抢 劫? 银 行LASER-wikipedia2 LASER-wikipedia2
Lambda calculi with dependent types are the base of intuitionistic type theory, the calculus of constructions and the logical framework (LF), a pure lambda calculus with dependent types.
他們 只 是 不說 而已 , 不像 我 , 愛 嘮叨 。LASER-wikipedia2 LASER-wikipedia2
Since dependent type theories allow types to depend on programs, a natural question to ask is whether it is possible for programs to depend on types, or any other combination.
只 有 一?# # 元 的?? 币, 那 是 用??? 礼 物 的WikiMatrix WikiMatrix
Popular modern logical frameworks such as the calculus of constructions and LF are based on higher-order dependent type theory, with various trade-offs in terms of decidability and expressive power.
然后 散布 到 草原 各? 处 ,? 给 人? 们 提供 食物LASER-wikipedia2 LASER-wikipedia2
Fixed buildings, depending on type
你 要 干 什 么 , 想 封 了 我的? 档 案 ?UN-2 UN-2
90-270 days, depending on type of vehicle
這 是 為 殺手 報仇 的 , B 。UN-2 UN-2
The types of optimization available depend on the type of line item (display or video).
我 们都在检查#分满分的吗? 都 在? 查 # 分? 分 的??-? 对support.google support.google
Hence, specific governance arrangements may vary across countries depending on type of institutions and coordination mechanisms present at the national level.
我們 不能 冒險 讓 我的 繼子 把 那 女孩兒 帶回 去UN-2 UN-2
The frequency and type of research will obviously depend on the types of activities conducted by the department or office.
那 我 放到 你 口袋 里 了 , 你? 记 得 呀 !UN-2 UN-2
The type of consequence provided in each case depends on the type of regulatory approach taken to electronic commerce
? 这 也 是? 为 什 么 你 被?? 为 神? 枪 手 , 而 我 就是 告? 诉 你 去 射?? 谁 的 人 。MultiUn MultiUn
When you copy files, the type of action that’s logged depends on the file type:
所有 能 查 的 數據庫 都 查過 了 只 有 蘭 利 的 數據庫 進不去support.google support.google
This is a system of first-order dependent function types which are related by the propositions as types principle to first-order minimal logic.
你 比 我 更 熱衷 失蹤 家庭 的 報道坦白 說 你 會 比 我 做 的 好LASER-wikipedia2 LASER-wikipedia2
- Free for traders, artisans and sales representatives if submitted at same time as corporate declaration (otherwise from €42 to €55.65 depending on type of activity)
但是 很 明? 显 , 我?? 为 社? 区 的 所有人 都做?? 发UN-2 UN-2
The article imposes different types of confidentiality requirements on different groups of persons, depending on which type of information is in question.
可以 把 任何 建筑物 夷? 为 平地UN-2 UN-2
Sometimes, States have multiple registries of this type, depending on the asset, the grantor, the creditor or the type of security device deployed
麥克 森 , 是 一個 好人 。 到 那 邊 的 並非 最好 的 代理人 。MultiUn MultiUn
Depending on the type of company, the applicant or customer will be asked to provide the following documentation:
他? 骗 我? 参 加 什 么? 计 划? 骗 光 了 我 所有? 钱UN-2 UN-2
The amount of the grant depends on the type and size of the residence.
我? 会 找到 吉 姆 我? 会 找到 它的UN-2 UN-2
It also depends on the type of landfill project and its legal requirements.
為什麼 他們 就 不能 抓 你 ?UN-2 UN-2
Goods are checked at the borders by various agencies, depending on the type of merchandise.
看見 了 嗎 ? 我 確信 我 可以 用 你 。UN-2 UN-2
3020 sinne gevind in 47 ms. Hulle kom uit baie bronne en word nie nagegaan nie.