Как кодировать WAV в mp3 на устройстве Android

Я упростил свой вопрос и предложил вознаграждение: Какие есть варианты сжатия необработанных аудиоданных PCM в mp3 на устройстве Android.

Мой оригинальный пост: Я создаю синтезатор на своем телефоне Android, и я генерирую данные PCM для отправки в колонки. Теперь мне интересно, смогу ли я закодировать эти данные PCM в формате mp3 для сохранения на SD-карту. Объект MediaRecorder может кодировать звук, поступающий из микрофона, в различные форматы, но не позволяет кодировать из программно сгенерированных аудиоданных.

Так что мой вопрос, есть ли стандартный API Android для кодирования звука ? Если нет, то какие существуют решения на основе чистой Java или NDK? И можете ли вы порекомендовать какой-либо из них?

Если это не удастся, мне просто нужно сохранить сгенерированный звук в виде файла WAV, что я легко могу сделать. сделать вывод типа для функциональных языков, особенно информацию о реализации. Я уже знаю, как это сделать ...

Я ищу информацию об хорошо известном алгоритме Дамаса-Хиндли-Милнера делать вывод типов для функциональных языков, особенно информацию о реализации.

Я уже знаю, как сделать алгоритм W , но я слышал о недавних новых алгоритмах, основанных на генераторе / решателе ограничений, а не на обычной унификации. Однако мне не удается найти какие-либо дискуссии о реализации этого нового алгоритма.

Есть идеи, где я мог бы найти некоторую частичную информацию о выводе ML?