I added such issue - HAL support for STM32 MCUs · Issue #34 · platformio/platform-ststm32 · GitHub - but my request was left unanswered.
As I said on GitHub: HAL is an “official” way to develop software for STM32 MCUs. It’s supported by STM32CubeMX tool which is also an “official” tool from STMicroelectronics.
It would be really nice to have HAL support integrated with PlatformIO.