If you never looked at them, its a cool concept
@kwando no, sorry, nothing from the top of my head (also googling yields no concrete results)
@AMHOL @kwando ^
I also ported the thing to use
dry-container so now we can simply register types under symbol keys
I wonder if it makes sense to register optional types for all built-in primitives so that you get it OOTB hmmm
also
optional_string vs maybe_string? I kinda like “maybe” more :)
@AMHOL I’m thinking about a predicate micro-system that we could share between dry-data and dry-validators, feels like this could be a generic functionality
another thing is separation between simple type-check and coercible-type-check, not sure how those things should be called in container :/
All looking good now I am reading through learn you a haskell
atm we use kernel coercions for all primitives but quite often you want to skip that
`
"coercible.string" maybe but I dunno
How about
strict.string ?
Could use
maybe/always but would probably be a bit weird
Notice that type check can be anything not just class verification
u are using kleisli under the hood right?
love unneeded questions xD