como seria uma linguagem de programação densa em tokens feita para robôs que tem origens em métodos formais? cansado: verbosidade do java conectado: “&38:$3.;33;,:” = 180k LOC de java