Gracias por tan pronta respuesta ^^
Ya sé que Pascal es fuertemente tipado. Quero ir a un nivel un poco más bajo, y estoy convencido de que FreePascal me trae las herramientas, solo que aún no sé cómo emplearlas:
Encontré en la unidad TypInfo en el rtl.pdf que viene con FreePascal (carpeta DOC) utilidades como la estructura de la definición de tipos (su tamaño, dirección, etc). Me da igual si he de utilizar ensamblador.
También leí algo sobre punteros a tipos (que no punteros a una variable con tipo; sino punteros a tipos), pero no sé cómo indicarlo.
Sé que lo que pido es muy técnico, pero me gustaría llegar al fondo del asunto y saber "guisarme" las cosas a mi gusto.
En algún momento alguien habrá hecho eso, ¿no?
Pascal tiene el SizeOf, el INC, etc., que reciben la variable con su tipo, que son 2 cosas distintas. A mí me interesaría obtener ambas (saber identificarlas).
Algo similar a los objetos, cuando pones "If clase1 IS TClase1 THEN ..." pero genérico y para tipos.
Gracias de todas formas por el interés