Hacker Times
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
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
|
parent
[–]
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 Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
