I wonder if OCaml code can be expressed using lisp-like syntax with s-expressions. Are there any features that would prevent the possibility? Are you aware if anyone has tried such an approach?
I come from a Lisp background. OCaml intrugues me and I would like to learn more about staticly-typed functional programming. However, I think that code as data feature of Lisp is very desirable and it would be cool to get the benefits of OCaml but write it using s-expression syntax.