There are a couple limitations on that. For instance, you cannot have a language... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tel on April 17, 2014 \| parent \| context \| favorite \| on: Those Who Say Code Does Not Matter There are a couple limitations on that. For instance, you cannot have a language that's both total and general recursive.

shasta on April 17, 2014 [–]

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 on April 17, 2014 | [–]

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

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact