Poiché non so esattamente cosa intendi per malleabile, per lo scopo di questa domanda prenderò per significato un linguaggio che può essere esteso.
Pur comprendendo il concetto di LISP macros e come estende la lingua, la lingua che più mi associo a questa capacità è PROLOG.
PROLOG ha la capacità di definire nuove clausole e aggiungerle alla sua base di conoscenza usando il comando assert. Le clausole possono anche essere rimosse dal comando di ritiro.
Facendo un passo più lontano dal PROLOG dove il concetto è incorporato nella lingua e in linguaggi in cui il codice runtime dinamico può essere modificato con la programmazione Meta o la riflessione, allora troviamo linguaggi come Java e C #.
A mio avviso, se stai progettando una nuova lingua e cosa dare la malleabilità, allora inizia con il modo in cui PROLOG lo fa naturalmente nella lingua e costruisci da lì. Le lingue che usano altri mezzi per ottenere la malleabilità secondo me lo trattano come un ripensamento e ciò dimostra.
Ad esempio, dai un'occhiata a Mercury . Questo è linguaggio funzionale / logico che è malleabile e tuttavia è più di un semplice PROLOG.