Quantum computing has the potential to revolutionize subfields of computer science such as cryptography and optimization by providing efficient solutions to problems currently considered intractable classically speaking. However, as is well known, today’s quantum hardware remains limited by noise, short coherence times, and low qubit counts, making the realization of this potential still a distant goal. In this context, estimating the resources required to execute quantum programs, such as the number of qubits and quantum gates, is of paramount importance. In this talk, we will provide an overview of the emerging research area of quantum resource analysis, then focusing on the a type-based methodology for resource estimation in quantum circuit-description languages.