lrt icon indicating copy to clipboard operation
lrt copied to clipboard

Published 20 hours ago • verified publisher icon LexiFi

Suggestion - smaller core library

Open jobjo opened this issue 4 years ago • 4 comments

Great to see this library! I would suggest providing a smaller Lrt core. In particular I think Lrt.Check and Lrt.Json should rather be exposed as separate libraries.

Also, for consistency I'd go with typ_eq or type_eq.ml instead of TypeEq.ml.

jobjo avatar Jun 29 '20 17:06 jobjo

Hello, thanks for your message. And apologies for the delay in responding!

Some context about this library: it was written during an internship at LexiFi to replicate using ppx some of our internal techonologies which extend the OCaml compiler with runtime types. The result was quite satisfactory (this library), but we don't actually use it internally (we are very happy with our runtime types :)), and unfortunately we don't have the manpower at the moment to maintain it independently.

Regarding your suggestions, I think they are good, but as no-one is actively maintaining the library and there are no plans to release it in the near future it wouldn't make sense to accept PRs in this direction. Sorry about that!

nojb avatar Jul 16 '20 14:07 nojb

Thanks for the clarification, @nojb! Appreciate having this out in the public domain anyway.

Also, noticed that it is very similar in spirit the library described in this paper. At some point it'd be nice to have a robust (and type safe) alternative to ppx for type driven development.

jobjo avatar Jul 17 '20 08:07 jobjo

Also, noticed that it is very similar in spirit the library described in this paper. At some point it'd be nice to have a robust (and type safe) alternative to ppx for type driven development.

Thanks for the pointer, I was not aware of it.

Still in the world of ppx, there is an interesting variation (making different choices, but surprisingly comprehensive) at https://github.com/thierry-martinez/refl.

nojb avatar Jul 17 '20 08:07 nojb

Still in the world of ppx, there is an interesting variation (making different choices, but surprisingly comprehensive) at https://github.com/thierry-martinez/refl.

Nice, did not know about refl.

Note that the paper above is also not suggesting adding any extensions to OCaml but providing a similar ppx for deriving type safe representations.

jobjo avatar Jul 17 '20 10:07 jobjo