Stavo leggendo un documento di ricerca su Haskell e su come HList è implementato e mi chiedo quando le tecniche descritte sono e non sono decidibili per il controllo di tipo. Inoltre, poiché puoi fare
Sono interessato ad apprendere Haskell nel mio tempo libero (non attraverso un corso), ma sospetto che il mio background matematico possa essere insufficiente a ingannare concetti linguistici importan