3 ms·

So have a total fragment in your general recursive language, or encode recursion in your total language. Either is preferable to using an FFI to combine marked

by shasta 13y ago

So have a total fragment in your general recursive language, or encode recursion in your total language. Either is preferable to using an FFI to combine markedly different languages.

tel 13y ago
That's fine, but you're beginning to talk about a lot of languages glued together instead of one "master language", I think.