英文字典中文字典


英文字典中文字典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       







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

refutable    
a. 可驳倒的

可驳倒的

refutable
adj 1: able to be refuted [synonym: {questionable}, {refutable},
{confutable}, {confutative}]

Refutable \Re*fut"a*ble\ (r?*f?t"?*b'l;277), a. [Cf. F.
r['e]futable.]
Admitting of being refuted or disproved; capable of being
proved false or erroneous.
[1913 Webster]

31 Moby Thesaurus words for "refutable":
arguable, at issue, confutable, conjectural, contestable,
controversial, controvertible, debatable, defeasible, deniable,
disprovable, disputable, doubtable, doubtful, dubious, dubitable,
iffy, in dispute, in doubt, in dubio, in question, mistakable,
moot, open to doubt, open to question, problematic, questionable,
speculative, suppositional, suspect, suspicious

In lazy functional languages, a refutable pattern is one which
may fail to match. An expression being matched against a
refutable pattern is first evaluated to head normal form
(which may fail to terminate) and then the top-level
constructor of the result is compared with that of the
pattern. If they are the same then any arguments are matched
against the pattern's arguments otherwise the match fails.

An irrefutable pattern is one which always matches. An
attempt to evaluate any variable in the pattern forces the
pattern to be matched as though it were refutable which may
fail to match (resulting in an error) or fail to terminate.

Patterns in Haskell are normally refutable but may be made
irrefutable by prefixing them with a tilde (~). For example,

(\ (x,y) -> 1) undefined ==> undefined
(\ ~(x,y) -> 1) undefined ==> 1

Patterns in Miranda are refutable, except for tuples which are
irrefutable. Thus

g [x] = 2
g undefined ==> undefined

f (x,y) = 1
f undefined ==> 1

Pattern bindings in local definitions are irrefutable in both
languages:

h = 1 where [x] = undefined ==> 1
Irrefutable patterns can be used to simulate unlifted products
because they effectively ignore the top-level constructor of
the expression being matched and consider only its components.


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





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


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

































































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


  • Google
    Search the world's information, including webpages, images, videos and more Google has many special features to help you find exactly what you're looking for
  • Google - Wikipedia
    Google LLC ( ˈɡuː ɡəl ⓘ, GOO-gəl) is an American multinational technology corporation focused on information technology, online advertising, search engine technology, email, cloud computing, software, quantum computing, e-commerce, consumer electronics, and artificial intelligence (AI) [9] It has been referred to as "the most powerful company in the world" by the BBC, [10] and is
  • Googles products and services - About Google
    Explore Google's helpful products and services, including Android, Gemini, Pixel and Search
  • Gmail - Google
    Search the world's information, including webpages, images, videos and more Google has many special features to help you find exactly what you're looking for
  • Google Maps
    Find local businesses, view maps and get driving directions in Google Maps
  • About Google: Our products, technology and company information
    Learn more about Google Explore our innovative AI products and services, and discover how we're using technology to help improve lives around the world
  • Sign in - Google Accounts
    Not your computer? Use a private browsing window to sign in Learn more about using Guest mode
  • Google unveils Geminis next generation, aiming to turn its search . . .
    Google is unleashing Gemini’s next generation of artificial intelligence in its dominant search engine and other popular online services in the high-stakes battle to create technology that people can trust to enlighten them and manage tedious tasks
  • Google Unveils Gemini 3, With Improved Coding and Search Abilities
    Google Unveils Gemini 3, With Improved Coding and Search Abilities The new artificial intelligence model is the second the company has released this year
  • The Keyword | Google Product and Technology News and Stories
    Get the latest news and stories about Google products, technology and innovation on the Keyword, Google's official blog





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