[Ur] pushing program parts into the DBMS?

[Adam Chlipala]

Yes, I'm sure it would be relatively straightforward to make the 
compiler produce native-code stored procedures to load into a DBMS.  
It's not on my personal to-do list at the moment, though.

On 03/31/2017 12:45 PM, Marko Schütz Schmuck wrote:
> I haven't given this much thought, but maybe someone has...?
>
> Ur/Web pushes some parts of the program into the browser, compiling to
> JS. Could this idea not also be applied to the DBMS by compiling
> program parts to a shared library that can then run inside the DBMS?