Hello,
I’ve been toying with the idea to create web application with safe requests using the type system. I’ve finally created a small example of code with a dream web server providing a service, with a small js application calling this service. (I’m also providing a cohttp client example).
I’m tagging this entry as Learning because I’ve been using differents ways (gadt, first class module…) to encode the constraints in the library. I’m open to any comments/feedback. I didn’t saw any library using this system, but maybe I’ve been missing something.
The code is here: GitHub - Chimrod/ocaml_web_service