Word:

Refutable

Re`fut´a`ble   Pronunciation: r?`f?t´?`b'l;277
a.1.Admitting of being refuted or disproved; capable of being proved false or erroneous.
Adj.1.refutable - able to be refuted
refutable - 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.
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
Translate Refutable to German, Translate Refutable to French
Browse
Refund
Refunder
Refundment
Refurbish
refurbishment
Refurnish
Refurnishment
Refusable
Refusal
Refuse
refuse collector
refuse heap
Refuser
Refusion
Refut
Refutability
-- Refutable --
Refutal
Refutation
Refutatory
Refute
Refuter
REG-SYMBOLIC
Regain
regaining
Regal
Regale
Regalecidae
Regalecus glesne
Regalement
Regaler
Regalia
Regalia of a church
Definitions Index: # 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

About this site and copyright information - Online Dictionary Home - Privacy Policy