[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