CLOVIS06/22/2020, 8:45 AM
, so it's possible to get the reason why it failed?
Imran/Malic06/22/2020, 1:30 PM
. With the Ide support we ship in Meta, Users can see in real time, why their input fails, given the set of refinements that are set.
CLOVIS06/22/2020, 6:42 PM
to validate user data?
Imran/Malic06/22/2020, 7:40 PM
, which is what you maybe implying. So you can do:
from(a : A): B?
,as it is more succinct to Kotlins goal to remove unnecessary wrappers. The existence of a refined value corresponds to the value not being
, which is
world. Only that those checks happen at compile time and a zero-cost abstraction over the type
one cares about.
or a failFast strategy corresponds to vanilla Kotlin working with nullable types.
CLOVIS06/23/2020, 11:40 AM
function at runtime, is there a way to get the message of why it failed? I get that at compile-time it will show up in the IDE, but it could be interesting to know why something failed at runtime to display a message to the user or something similar
raulraja06/23/2020, 2:20 PM