Oggi ho giocato con le classi di tipi per costruire in modo induttivo le funzioni di un predicato di qualsiasi organizzazione prendendo come input qualsiasi combinazione di qualsiasi tipo, che restitu
Dopo aver letto this article on writing polyvariadic functions in Haskell, ho provato a scrivere alcuni dei miei. All'inizio ho pensato di provare a generalizzarlo, così avrei potuto avere una funzion