Well I've been working on a language based on Linguistic Universals for like over 10 years. It's called Pyash.
of the things you mentioned, it is analytical rather than isolating, so there is morphological separation between grammatical concepts and stem constructs -- much like in Lojban cmavo vs gismu.
Biggest difference from Lojban and other unnatural programming languages is the use of grammatical cases for denoting parameters.
for instance: "hyikdoka tyutdoyu plostu" which glossed is "one _number _accusative_case, two _number _instrumental_case plus _deonetic_mood", or in colloquial English "Increase the number one by the number two!"
(result is "the number three." or "tyindoka li")
because it has a rich type system which is based on noun-classifiers, a language construct popular in asia, english example is "two dollars of corn" where dollars-of is the noun-classifier for two.
In terms of tenses and concurrency, I have fairly elaborate asynchronous parallel execution model already. but probably could use future tense of scheduling. And the computer could accurately describe it's state by combining tense and grammatical aspect.
articles are generally found in languages that have lost a nominative-accusative case distinction, and can generally be piled up with anaphoric references, i.e. refering to variables.
of the things you mentioned, it is analytical rather than isolating, so there is morphological separation between grammatical concepts and stem constructs -- much like in Lojban cmavo vs gismu.
Biggest difference from Lojban and other unnatural programming languages is the use of grammatical cases for denoting parameters.
for instance: "hyikdoka tyutdoyu plostu" which glossed is "one _number _accusative_case, two _number _instrumental_case plus _deonetic_mood", or in colloquial English "Increase the number one by the number two!"
(result is "the number three." or "tyindoka li")
because it has a rich type system which is based on noun-classifiers, a language construct popular in asia, english example is "two dollars of corn" where dollars-of is the noun-classifier for two.
In terms of tenses and concurrency, I have fairly elaborate asynchronous parallel execution model already. but probably could use future tense of scheduling. And the computer could accurately describe it's state by combining tense and grammatical aspect.
articles are generally found in languages that have lost a nominative-accusative case distinction, and can generally be piled up with anaphoric references, i.e. refering to variables.
Here is a paper wrote about it last year: http://liberit.ca:43110/1DYjc22BP5VkqNLJgr3nQfoGiNLbGFGffG for slightly more information http://pyac.ca
If anyone is interested can put up a more recent paper also.