Abstract type support? about milk

[wpcarro]

By the way, the StringMap.t was created using what I understand to be OCaml's "module functors":

module StringMap = Map.Make(String);

This is my attempt at getting a general purpose dictionary. I suppose I could also model it as:

type KeywordList('a) = list(("string", 'a))

but I'd rather not since I'll get O(n) performance instead of the log n offered by Map.

[jaredly]

abstract types are definitely supported, but I imagine the error message could be better. Here's an example types.json where "helpers" is provided
https://github.com/jaredly/veoluz/blob/master/types.json#L6
and the TypeHelpers.re that provides serialization and deserialization for the abstract type https://github.com/jaredly/veoluz/blob/master/ui/TypeHelpers.re

[wpcarro]

Thanks for sharing this. So is the advice to add "TypeHelpers" to my types.json file?

[jaredly]

yup! And for the abstract type that you want to support, add manual serialization & deserialization functions. (the example there is for Belt's String Set and String Map)

[wpcarro]

Excellent! Thanks, @jaredly! And thanks for such a great library. As I get more comfortable in this ecosystem, I'd love to contribute.