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

2016-03-21 Thread Levi Morrison
On Mon, Mar 21, 2016 at 5:03 PM, Stephen Coakley wrote: > On 03/21/2016 03:04 PM, Facundo Martinez Correa wrote: >> >> So I want to "return a NULL". I want to express uncertainty, a >> nonexistence. But I want to express that I will return something. And I >> want to have this NULL checking at in

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

2016-03-21 Thread Stephen Coakley
On 03/21/2016 03:04 PM, Facundo Martinez Correa wrote: So I want to "return a NULL". I want to express uncertainty, a nonexistence. But I want to express that I will return something. And I want to have this NULL checking at interpretation time. I want everything, and none of the drawbacks. As we