Re: Re: RFC Proposal: Maybe monad and execution timepolymorphic methods

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 construct that requires exhaustive matching (such as Rust's match). I'm not sure how to pull that off.

Certainly. Ideally some sort of match, which is listed as future scope in the enum RFC. The above definition of a Maybe is just some sort of basis for a type. You probably wouldn't use isSome() much and would use pattern matching on the enum instead. As much as I do love Rust's type system though, PHP isn't Rust. :) -- Stephen