英文字典中文字典


英文字典中文字典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英翻中〔查看〕





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


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

































































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


  • Gemini 3. 5 — Google DeepMind
    “Gemini 3 has been a game-changer for Cline We're using it to handle complex, long-horizon coding tasks that require deep context understanding across entire codebases The model uses long context far more effectively than Gemini 2 5 Pro and has solved problems that stumped other leading models This is a massive leap ” Nik Pash, Head of AI, Cline
  • Gemini 3. 1 Pro — Google DeepMind
    Our most intelligent model yet Best for complex tasks and deep reasoning
  • Gemma 4 — Google DeepMind
    Gemma 4 models undergo the same rigorous infrastructure security protocols as our proprietary models By choosing Gemma 4, enterprises and sovereign organizations gain a trusted, transparent foundation that delivers state-of-the-art capabilities while meeting the highest standards for security and reliability
  • Genie 3 — Google DeepMind
    Genie 3 is a new frontier for world models, using simple text descriptions to generate photorealistic environments that can be explored in real-time
  • Veo 3. 1 — Google DeepMind
    Introducing our leading video generation model Veo 3 1, and new capabilities for Veo 2
  • Gemini Omni — Google DeepMind
    Gemini Omni combines an intuitive understanding of physics with Gemini's knowledge of history, science, and cultural context – bridging the gap from photorealism to meaningful storytelling
  • Google DeepMind
    Build AI responsibly to benefit humanity
  • Gemini 3. 5 Flash — Google DeepMind
    Gemini 3 5 Flash delivers intelligence that rivals large flagship models, at the speeds you have come to expect from the Flash series
  • Gemini 3. 1 Flash-Lite — Google DeepMind
    Gemini 3 1 Flash-Lite is a scalable thinking model for high-volume tasks at low cost and latency
  • Gemini Robotics On-Device — Google DeepMind
    The general-purpose dexterity and task generalization of Gemini Robotics, but optimized to run efficiently on-device





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