Foro de elhacker.net

¡Buenas, foro!

Les presento LogicLang (nombre 100% provisional).

Se trata de un lenguaje de programación de scripts en lenguaje semi-natural ("semi" porque usa simbolitos, en concreto y por ahora sólo "{...}" (para variables), "{{...}}" (para valores) y "[...]" (para agrupar proposiciones) : ni 1 más).

Pueden ver una demo en CodePen:

https://codepen.io/allnulled/pen/JpPpXQ (https://codepen.io/allnulled/pen/JpPpXQ)

Y el proyecto, licenciado bajo GPLv3 Affero, en GitHub:

https://github.com/allnulled/logic-lang/blob/master/src/logics-grammar.js (https://github.com/allnulled/logic-lang/blob/master/src/logics-grammar.js)

Se trata de un lenguaje de programación que te permite escribir sentencias (sólo si son) 100% lógicas. De momento, están incluidos bastantes operadores lógicos, y por lo que he visto en Wikipedia, están todos los básicos (https://es.wikipedia.org/wiki/Anexo:S%C3%ADmbolos_l%C3%B3gicos (https://es.wikipedia.org/wiki/Anexo:S%C3%ADmbolos_l%C3%B3gicos)). A partir de aquí, los demás serían extensiones de la lógica base, o combinaciones de los operadores que ya existen.

Lo interesante, a partir de este punto del desarrollo, es que el código javascript válido que se genera de estos scripts vaya comprobando que cada nueva sentencia respeta las sentencias anteriores.

Lo he hecho en castellano porque era más fácil, ya se pasará a otros idiomas, eso no debería tener mucha complicación (según hacia qué idioma y quién lo traduzca, claro).

En fin. En un mundo sin demasiada lógica social y lingüística, echaba de menos una herramienta (computacional, basada en la imparcialidad de las máquinas a diferencia de un juez) con la que pueda demostrar las falacias lingüísticas a las que nos someten sistemáticamente, con la que poder explorar de manera natural (esto facilita mucho el trabajo, la profundización y la comunicación de la lógica, y no los símbolitos esos que nos enseñan para representar la lógica) los límites de este infravalorado arte, que es el de la lógica de proposiciones en el lenguaje natural cotidiano.

Espero que les guste, seguiré trabajando unos días más en ello, y abandonaré. Si alguien quiere unirse, por favor, escríbanme a:

   No colocar datos personales. Contactar por MP.

Ojo, yo no tengo estudios. Que nadie se eche para atrás por eso. Sería bueno tener skills de lógica, básicamente, y de javascript, que es el lenguaje clave en este proyecto.

Saludos.

¿Ya abandonaste aquello de "Natural Script" (creo recordar que lo llamaste así) ???

Al parecer, las élites tecnológicas prefieren no invertir ni 5000€ por 6 meses de trabajo en romper las barreras entre lenguaje natural y lógica. ¿Y quién pierde? El pueblo llano, la plebe, la raza humana.

Vamos, que será mejor que continuemos trabajando con la legacy, así informáticos y business están bien separaditos. Bueno, informáticos y mundo. Pobrecillos... no lo ven...

No me tires de la lengua, Nebire, soy capaz de dar 25 razones por las que NaturalScript tiene sentido VS los lenguajes de programación hoy diaponibles. Pero suficiente vida me han robado luchando por eso. Ya te digo, yo quiero morirme, la otra opción es estar sirviendo a 4 ratas esclavistas que harán lo que sea po conservar su superioridad económica, por ridícula que sea, yo ya he aprendido suficiente de la gente de este mundo. Estoy abriendo puertas más simples que NaturalScript. Pero el fin es el mismo: despertar a la población mediante su propia capacidad lógica y de comunicación interpersonal.

Con NaturalScript pude estar varios meses perfectamente, esto han sido 2 puñeteros días, y no quiero hablar de ello, habla con las élites tecnológicas, ellas ya saben de qué va todo esto, ellos deciden proclamarse superiores y bloquear y robar a los mendigos. Y vosotros decidís admirarlos, en lugar de escupirles.