3 ms·
There are a couple limitations on that. For instance, you cannot have a language that's both total and general recursive.
by tel 13y ago
There are a couple limitations on that. For instance, you cannot have a language that's both total and general recursive.
- shasta 13y agoSo 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 agoThat's fine, but you're beginning to talk about a lot of languages glued together instead of one "master language", I think.