如何在ESP32上使用MicroPython录制音频？

Question

我是一位经验丰富的Python开发人员，也是电子行业的一名新手。

我得到了一个安装了MicroPython的ESP32开发板，并连接了一个麦克风。

我可以从麦克风上读取读数，如下所示：

MicroPython v1.9.4 on 2018-05-11; ESP32 module with ESP32
Type "help()" for more information.
>>> import machine
>>> a = machine.ADC(machine.Pin(32))
>>> a.read()
488
>>> a.read()
496
>>> a.read()
449

我的问题是：如何实际录制音频，以便可以通过电子邮件发送？ Wave格式或任何其他格式。我猜想任何实现都只会在循环中采样级别并构建一个数组，但是如果已经存在一个实现而不是我不得不编写它，那就太好了。