英文字典中文字典


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





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


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

































































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


  • US Homeland Security cancels most pending Noem-era contracts . . . - MSN
    By Ted Hesson and David Shepardson WASHINGTON, June 3 (Reuters) - The U S Department of Homeland Security is canceling most pending contracts initiated under ousted Secretary Kristi Noem, the
  • US Homeland Security cancels most pending Noem-era contracts after . . .
    Mullin faced questions from a top Democrat about what steps he had taken to roll back Noem-era contracts "We are looking at the contracts that weren't already signed, and we did go through and cancel most of those," Mullin said The move is part of a broader effort by Mullin to unwind contracting practices under Noem that drew bipartisan
  • Markwayne Mullin reviews Kristi Noems DHS contracts
    Homeland Security Secretary Markwayne Mullin told a House panel he is reviewing some contracts pursued by his predecessor Kristi Noem that may have had ties to her allies and promised to turn over …
  • Mullin Cancels Noem-Era Contracts Amid Scrutiny | Law-Order
    The U S Department of Homeland Security, led by Secretary Markwayne Mullin, is revoking most pending contracts initiated under former Secretary Kristi Noem This aligns with a broader effort to reform contracting practices under Noem that faced bipartisan criticism and congressional scrutiny Mullin also reinstates longer training for immigration officers
  • US Homeland Security Cancels Most Pending Noem-Era Contracts After . . .
    US Homeland Security Cancels Most Pending Noem-Era Contracts After Review By Ted Hesson and David Shepardson WASHINGTON, June 3 (Reuters) - The U S Department of ⁠Homeland ⁠Security is
  • DHS cancels most pending Noem-era contracts after review
    During a hearing before the U S House of Representa­tives Homeland Security Committee, Secretary Markwayne Mullin faced questions from a top Democrat about what steps he had taken to cancel Noem-era contracts The move is part of a broader effort by Mullin to unwind contractin­g practices under Noem that drew bipartisan criticism
  • The last holdouts from the Kristi Noem era of the Department of . . .
    Some of the most senior officials who survived the purge after former Homeland Security Secretary Kristi Noem's departure have been associated with the contracting practices that now face intense scrutiny Why it matters: More than $9 billion in agency business was awarded during Noem's tenure through less-than-fully competitive bidding processes, according to SAM gov, which tracks government
  • Docket for 25A952 - Supreme Court of the United States
    Consideration of the application for stay (25A999) presented to The Chief Justice and by him referred to the Court is also deferred The applications are also treated as petitions for a writ of certiorari before judgment (25-1083, 25-1084), and the petitions are GRANTED
  • Mullin v. Doe - Wikipedia
    In February 2026, Judge Ana C Reyes blocked Noem and DHS's termination order, stating that Noem did not have the authority to end the status and her arguments for ending it were flawed and racially motivated [7]
  • Mullin v. Doe (25A952) | SCOTUSblog
    On March 16, 2026, the court deferred action on the application for stay pending oral argument in April Whether the Supreme Court should stay a district court order preventing the Trump administration from ending Temporary Protected Status for Syrian nationals





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