英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字,中文词皆可:

tuple    
元组

元组

tuple
有序n 元; n 重序元


tuple
n 倍; n 元组; n 元数; n 元向量


tuple
重元组

tuple


In {functional languages}, a data object containing two or
more components. Also known as a product type or pair,
triple, quad, etc. Tuples of different sizes have different
types, in contrast to lists where the type is independent of
the length. The components of a tuple may be of different
types whereas all elements of a list have the same type.
Examples of tuples in {Haskell} notation are (1,2),
("Tuple",True), (w,(x,y),z). The degenerate tuple with zero
components, written (), is known as the unit type since it has
only one possible value which is also written ().

The implementation of tuples in a language may be either
"{lifted}" or not. If tuples are lifted then (bottom,bottom)
/= bottom and the evaluation of a tuple may fail to terminate.
E.g. in Haskell:

f (x,y) = 1 --> f bottom = bottom
f (bottom,bottom) = 1

With lifted tuples, a tuple pattern is refutable. Thus in
Haskell, {pattern matching} on tuples is the same as pattern
matching on types with multiple constructors ({algebraic data
types}) - the expression being matched is evaluated as far as
the top level constructor, even though, in the case of tuples,
there is only one possible constructor for a given type.

If tuples are unlifted then (bottom, bottom) = bottom and
evaluation of a tuple will never fail to terminate though any
of the components may. E.g. in {Miranda}:

f (x,y) = 1 --> f bottom = 1
f (bottom,bottom) = 1

Thus in Miranda, any object whose type is compatible with a
tuple pattern is assumed to match at the top level without
evaluation - it is an {irrefutable} pattern. This also
applies to user defined data types with only one constructor.
In Haskell, patterns can be made irrefutable by adding a "~"
as in

f ~(x,y) = 1.

If tuple constructor functions were {strict} in all their
arguments then (bottom,x) = (x,bottom) = bottom for any x so
matching a refutable pattern would fail to terminate if any
component was bottom.


请选择你想看的字典辞典:
单词字典翻译
tuple查看 tuple 在百度字典中的解释百度英翻中〔查看〕
tuple查看 tuple 在Google字典中的解释Google英翻中〔查看〕
tuple查看 tuple 在Yahoo字典中的解释Yahoo英翻中〔查看〕





安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Commission on POST - POST News
    Look up your POST ID and sign into the website to view manage your POST profile, certificates, CPT status and more!
  • Training - Commission on POST
    Training Videos — POST delivers high-quality, in-service and specialized training videos to law enforcement agencies in the California POST program POST training videos are designed to assist law enforcement training managers and instructors in meeting specific training needs or legislative mandates for their agency
  • Online POST Profile
    Download your POST Profile instantly Your POST Profile contains your training history as reported by the course presenters to POST
  • LP Quarterly Enrollment Schedule
    Many completed courses automatically update your official POST Training Profile in EDI Some videos require your agency to facilitate training then enter an EDI roster
  • PASS Login - California
    (916) 227-4357 or PassHelp@post ca gov Copyright © 2026 State of California
  • California POST Course Catalog
    Sign in for personalized information, such as your Continuing Professional Training (CPT) status
  • About Us - Commission on POST
    The Commission on Peace Officer Standards and Training (POST) was established by the Legislature in 1959 to set minimum selection and training standards for California law enforcement In 2021, POST was given additional authority by the legislature to certify peace officers, as well as to suspend and decertify peace officers for serious misconduct The POST organization, with more than 260
  • Certification - Commission on POST
    The POST Professional Certificate Program fosters education, training, and professionalism in law enforcement; raises the level of competence of law enforcement officers; and fosters cooperation between the Commission, its clients, and individuals
  • Applicant - Commission on POST
    Peace Officer and Public Safety Dispatcher selection information, training requirements and basic course resources
  • Hiring - Commission on POST
    Provides departments with information on POST regulations and resources for hiring peace officers and public safety dispatchers Information includes POST regulations, resources, recruitment tools and FAQs





中文字典-英文字典  2005-2009