Re: [PHP-DEV] Re: RFC Proposal: Maybe monad and execution timepolymorphic methods

2016-03-22 Thread Larry Garfield
On 3/22/16 1:34 PM, Stephen Coakley wrote: On 03/21/2016 11:09 PM, Levi Morrison wrote: This requires you to query state with `isSome()`. This is hardly any different from a null case, just more code. We can already accurately distinguish between `null` and another value. If we want an option f

Re: [PHP-DEV] Re: RFC Proposal: Maybe monad and execution timepolymorphic methods

2016-03-22 Thread Stephen Coakley
On 03/21/2016 11:09 PM, Levi Morrison wrote: This requires you to query state with `isSome()`. This is hardly any different from a null case, just more code. We can already accurately distinguish between `null` and another value. If we want an option for safer PHP code I think we need a safer co