2 ms·
saw that idris compiled to C . How realistic is it to build a small core library in idris that would then have hooks to external components in other PL using C
by bsaul 4y ago
saw that idris compiled to C . How realistic is it to build a small core library in idris that would then have hooks to external components in other PL using C as a bridging layer ?
- nerdponx 4y agoIdris 2 does compile to C, but it uses its own reference-counting garbage collector and cannot currently be used to generate libraries. I believe this limitation is true for all of the compiler targets right now, except maybe Javascript (some work was actively in progress on this when I last checked).