Può essere difficile lavorare con i calcoli a livello di tipo in Scala, in particolare quando si lavora con strutture come tipi singleton . Cercare di estrarre valori da tipi che presumibilmente hanno un residente unico rappresenta una sfida. Possiamo ottimizzare questi calcoli utilizzando i metodi inline di Scala 3 e testimone informe ". Questo metodo è uno strumento utile per gli sviluppatori Scala poiché è necessario per il metaprogrammazione, l'ottimizzazione del tempo di compilazione e la migliore sicurezza del tipo.