Giulio Canti

> I don't know how to transform from any monad M to Task which is used by elm-ts. Is this even possible? Theoretically you need a natural transformation, from `M`...

@orlandoc01 we could link your project in the README, feel free to open a PR

Hi @minedeljkovic, thanks to chime in. > tcomb-validation - this seems already pretty much covered by this repo Yep, given that a type in flow-runtime is defined by a `validate`...

Speaking of runtime type introspection I'd love to hear your feedback on how to model the runtime types. Now a type is a simple POJO owning a `name` and a...

@minedeljkovic adding `CommonType` to the union seems to confuse Flow [try](https://flowtype.org/try/#0PQKgBAAgZgNg9gdzCYAoVBTAHgBzgJwBcxCBPHDMAYTgDtDtCBRe-UsAXjAG9UwwA1hlIAuMAGdC+AJa0A5gBo+YWgEMAthjGSZ81AF8A3Omx4iJcpRr1GnMAEF8+VaQA81hlmatSAPmOYuATEZBRgAGqqMNIAJqqE0nRMTgR2vPwAblEArlpg6tJYGDFK-ADGdJ6EYh6MpWAxGOJlMjgJdNpSsnIGAabBFmGR0XHttABKTdkwhK4AKr52js5uw7HxibTJ+AT+JkHmoVZw6up0c5bzi1zpKhp5Ot3G-MDAYFkj8ZQAsgCqAMpzMD4DCEbL4WhgAAGH1yULA0ig7yi6zGEmyZTKGGKxWUH1ReQAFLC8gUiiUwBUbF4apVGABKTiLNajTaTcTTWYLYz6fZmEKWMAABR2OHEaQA2kJRBIuvIALq007nS6qWh+IzKfjanW63WBfmDSgAeQARgArDBlQgXCiuIViEVwMXXHjKASyGJiADkcAtVsI3ueYBwovEjp5YAAZNQTmdaLaMK4ACRm83fVQ4e0KMBXYlK+OJq6MjiLBZ7A0DI5gAAy0gYzhgRYWaXdnp90QbUSDeJyeTmkZjNGVCcuC3Q1d+djTAaLIEWAB9a-WMI254vYyP1wEoNlaNbNmAoISjmJfvSxBk4LE3fxEWAT5Y4EijgA6D20GJgACEHC43r3RooFkYpvUZW5yjoSRBE9Ow3w-GItQRJFCQQzg-zAX1-WtMDb11KloNDZ1xS4N8iLFJDeX4XleSAA) @ivan-kleshnin I'm talking about how to represent the types, values will remain untouched. I mean ``` js export class...

Yes, it's a possibility. But I'm concerned by that error, Flow is quite buggy when mixing unions and intersections I'll try to convert the types to classes in another branch...

To give some context I'm trying to model the new `fromJSON` as a concatenation of a validation and a transformation that could fail ``` js import * as t from...

The rationale is this: say you want to deserialise a date from a string, then first you must ensure that the value that comes from the server is a string...

It's worth noting that the signature of `validate` ``` js (value: mixed, context: Context) => ValidationResult ``` could theoretically allow for transformations while validating, but yesterday after a spike I...

Sorry for spamming but on my way home I had a clear vision: my model is plain wrong. The "failure part" must be completely absorbed by the first step, the...