Fork me on GitHub
#malli
<
2022-12-02
>
jfntn16:12:39

Not sure I understand, can you give an example?

Ben Sless16:12:21

(map identity xs) is a classic example, identity doesn't have type any -> any, but a -> a, there's a clear relation between input and output

jfntn16:12:31

Thanks I see what you mean now, but isn’t that orthogonal to that particular issue?

Ben Sless17:12:44

Partially. How will you write the schema for the higher order function map?

jfntn18:12:52

Right, I think I see what you mean now. The instrumentation fn would unify the type variables with the actual values at runtime

escherize22:12:32

in prismatic schema, you can use a class with s/defn. Is there a similar approach for mx/defn? I could check for instance in a [:fn] I suppose