We've actually chatted before . I was also asking dumb questions that you were polite enough to suffer through .

I really do wish Haxe would get the attention of library developers like yourself. It's more like a framework for polyglot development. It can auto generate non-ergonomic libraries that feel like FFS automatically but you can also gradually fine tune it to match the target language over time. It really helps to centralize development effort and share burden.

So sure, maybe not Rust. But Haxe's distributable size would be comparable.

Maybe I'll try a Dafny implementation to see how that project is coming along!