I've been writing a desktop application that uses OCaml for the backend,
and Racket for the GUI frontend. To communicate between the two, I call
the OCaml program as a subprocess from Racket, and have s-expressions be
the serialization mechanism that both languages can understand. Jane
Street's Core, along with the
sexplib syntax extension mentioned in my previous post, offer an easy
way to translate OCaml types to sexps that Racket can then read.
With a type like:
sexp_of_book function is automatically generated.
Now racket can receive:
'((title "Purely functional data structures") (authors ("Chris Okasaki")) (pubdate 1999) (publishers ("Cambridge University Press")) (subjects ("Functional programming languages" "Data structures (Computer science)")))
I take this sexp, and create a
; -> '(stdout stdin proc-id stderr f) car read ; from an input port (map cadr) ; (k v) -> v (apply book)) cmd))) (title authors pubdate publishers subjects)) isbn) ([cmd (string-join (list homelib-binary isbn))]) ((λ~>> process
Finally, we can test it out on the REPL to make sure it works:
email@example.com> (isbn-lookup "0521663504") #<book> firstname.lastname@example.org> (book-title (isbn-lookup "0521663504")) "Purely functional data structures" email@example.com> (book-subjects (isbn-lookup "0521663504")) '("Functional programming languages" "Data structures (Computer science)")
Similarly, I can work in the other direction, and pass Racket s-expressions to OCaml, and using sexplib, convert them back to OCaml types. What a time to be alive!