On: Those Who Say Code Does Not Matter

[SoftwareMaven]

There are idioms in spoken languages that do not translate to other languages. There may be a literal translation, but it doesn't make sense or are incredibly awkward in a different language. Programming languages share this behavior.

[shasta → SoftwareMaven]

Most current ones do, but this will change as new languages gain the ability to express most of what the others can express.

[tel → shasta]

There are a couple limitations on that. For instance, you cannot have a language that's both total and general recursive.

[shasta → tel]

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 → shasta]

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