Charles-Johnson / zia_programming

A language that can program itself
https://zia-lang.org
GNU General Public License v3.0
3 stars 0 forks source link

"language" concept #24

Open Charles-Johnson opened 3 years ago

Charles-Johnson commented 3 years ago

This could be implement purely with Zia once string literals can be parsed

Example:

let (language -> korean) => (label_of label_of) ->  '표시'
let language -> korean
표시 표시

should output '표시'

Charles-Johnson commented 3 years ago

currently each append or modify command will unconditionally set label_of for each new concept created. If a language concept was to be properly supported then label_of should be conditionally set based on the current language. Otherwise conditionally setting label_of for another language would contradict the implicit unconditional label_of rules from previous commands.

Charles-Johnson commented 3 years ago

implicitly conditionally setting label_of has the downside that there is no fallback label if a translation hasn't been provided.

an example of where this can be a problem

let a -> b
let (language -> korean) => (label_of a) -> 'ㄱ'
let language -> korean

then what would be shown to reduce to?