I would classify HTMX as a different style of "SSR with tiny bits of JS on top." In fact, I would argue it is a more "pure" form of SSR-based interactive web development than an Alpine.js-style approach (I am not making any value judgment here).

You can use ReScript with Htmx (or anything else) and get no runtime errors. It has a sound type system, great language.