#5958 todos los lenguajes tienen su interprete o compilador y lo raro hoy dia es que sea de codigo cerrado, como comprenderas no van por ahi los tiros
a lo que me refiero, y volviendo al ejemplo de forth, es que puedes definir el tiempo de compilacion delimitando con : y ;. ahi puedes de forma programatica seguir parseando o ejecutando tokens, con CREATE DOES> establecer diferentes comportamientos para una palabra en concreto dependiendo de si estas en tiempo de compilacion o ejecucion, etc. obviamente no tienes acceso a las tripas ni los registros y para ello tienes que escupir tus propias instrucciones, pero siempre esta bien tener este tipo de herramientas disponibles si quieres implementar cierta abstraccion sintactica
un caso de uso facil: forth por ejemplo no tiene arrays per se, tienes que recurrir a aritmetica con las celdas de memoria, y si quieres asignar la direccion de memoria al comienzo de un array a una variable, tendrias que guardar la longitud de dicho array de alguna forma
una opcion seria:
FORTH> : SIZE-ARRAY CREATE DUP , CELLS ALLOT DOES> DUP @ SWAP CELL + ; ok
FORTH> 1337 SIZE-ARRAY BAR ok
FORTH> BAR .s
Data: 1337 539202008 ---
System: ---
Float: --- ok
tampoco tienes constantes, ni hacen falta:
FORTH> : IMMUTABLE CREATE , DOES> @ ; ok
FORTH> 10 IMMUTABLE FOO ok
FORTH> FOO . 10 ok
obviamente no todo van a ser ejemplos tontos. si quieres crear tu propio sistema de oop puedes hacerlo sin problemas https://bernd-paysan.de/mini-oof.html mientras tanto en java si un dia te aburres y quieres implementar herencia multiple, es literalmente imposible, porque en algun momento alguien penso que eso era la herramienta del diablo y que nada de pensar por ti mismo. lo mismo con pattern matching y demas cosas divertidas
lisp es similar en el sentido de que tienes control absoluto de lo que ocurre en tiempo de compilacion y ejecucion, y tiene la ventaja de que estas programando directamente en el arbol sintactico del lenguaje, por lo que es trivial extenderlo. de hecho la with-expression que se menciona en https://devblogs.microsoft.com/dotnet/welcome-to-c-9-0/ es de un uso tan extendido que es casi un rito de pasaje. aqui un articulo que suelo recomendar cuando estamos hablando de macros: https://stevelosh.com/blog/2018/05/fun-with-macros-gathering/
todo esto es de la decada de los 60. no es nada hipster sino algo que se perdio
en lenguajes modernos: tenemos en ocaml algo parecido con ppx, nim ofrece algo similar en la stdlib, y rust tambien aunque para variar de forma enrevesada e ilegible
no piloto de C# en absoluto, pero el hecho de que simple azucar sintactico sea anunciado en un blog como si fuese la visita del papa, me hace pensar que tal vez no sea tan trivial crear abstracciones sintacticas en dicho lenguaje. como implementarias tu una with-expression en C#?
