Ho avuto un'idea per un modello semantico di calcolo che è teoricamente valido ma è anche abbastanza insolito. Mi piacerebbe prototipare rapidamente un sistema per dimostrare che può funzionare nella pratica. La maggior parte del mio lavoro è nei linguaggi di programmazione, quindi mi sento a mio agio nel mettere insieme un linguaggio piccolo ai fini del testing, ma mi chiedo se questo sia l'approccio migliore, poiché richiede una certa quantità di lavoro avanzato sul lato linguistico che non è direttamente correlato al modello di calcolo.
Quindi qual è la migliore strategia di prototipazione per un quadro teorico di altissimo livello come questo? Dovrei andare con una nuova lingua, o un DSL incorporato, o qualche altro approccio? Posso fornire un po 'più di background, se necessario, ma questo non ha bisogno di trasformarsi in una discussione delle specifiche del modello.