[Ur] calling sml
Adam Chlipala
adamc at impredicative.com
Mon Feb 21 08:20:44 EST 2011
Gergely Buday wrote:
> is it possible to call SML functions - e.g. yacc or antlr parsers -
> from Ur/Web code? If not, how much work would it be to implement this?
>
Despite the fact that the Ur/Web compiler is written in SML, there is
currently no special support for run-time interaction with SML code. It
can be coded up fairly easily via the Ur/Web FFI and the FFI of any SML
implementation that allows C programs to "be in charge" and occasionally
call SML code.
More information about the Ur
mailing list