[Ur] swig

Adam Chlipala adamc at csail.mit.edu
Sat Feb 28 16:07:29 EST 2015


I agree that it would be nice!  I'd be happy to help someone else add 
Ur/Web support, including by accepting patches into the main Ur/Web tree.

On 02/28/2015 01:19 AM, Sergey Mironov wrote:
> Hi. I have discovered a very interesting project named SWIG
> http://www.swig.org/. If I understand it correctly, the tool may be
> used to build a high-level language wrapper for given C/C++ library.
> It parses C/C++ header file and then produces, say, python 1-to-1
> wrapper (there are long list of supported languages on their site)
> using FFI of python for implementing low-level details. So function
> goes to function, struct goes to python class, pointer goes to handle,
> etc. I think it would be nice to have this or similar tool for
> Ur/Web.. Just share the idea.
>




More information about the Ur mailing list