Idea 11149770: Automatic lazy wrapping of argument
Status : declined
Submitted by Anonymous on 12/19/2015 12:00:00 AM
8 votes
Add such that arguments are automatically wrapped in the lazy expression, if set as the type.
for instance:
let (-->) q (p : Lazy) = not q || (p.Force())
right now i have to write:
false --> lazy (1/0 = 0)
why not make lazy automatic so it becomes:
false --> 1/0 = 0 : True instead of Divide by Zero exception
(while you are at it add a force operator)
Idea 11149770: Automatic lazy wrapping of argument
Status : declined
Submitted by Anonymous on 12/19/2015 12:00:00 AM
8 votes
Add such that arguments are automatically wrapped in the lazy expression, if set as the type. for instance: let (-->) q (p : Lazy) = not q || (p.Force())
right now i have to write:
false --> lazy (1/0 = 0)
why not make lazy automatic so it becomes:
false --> 1/0 = 0 : True instead of Divide by Zero exception
(while you are at it add a force operator)