Dictionary    Maps    Thesaurus    Translate    Advanced >   

Tip: Click a synonym from the results below to see its synonyms.

1. Moby Thesaurus II by Grady Ward, 1.0
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
Dictionary Results for refutable:
1. WordNet® 3.0 (2006)
    adj 1: able to be refuted [syn: questionable, refutable,
           confutable, confutative]

2. The Collaborative International Dictionary of English v.0.48
Refutable \Re*fut"a*ble\ (r?*f?t"?*b'l;277), a. [Cf. F.
   Admitting of being refuted or disproved; capable of being
   proved false or erroneous.
   [1913 Webster]

3. The Free On-line Dictionary of Computing (30 December 2018)

    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

   	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.


Common Misspellings >
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.

©2011-2023 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy