Zulip Chat Archive
Stream: general
Topic: Expose API to allow to build custom backends
Serhii Khoma (srghma) (May 14 2025 at 06:20):
It would be cool to build JavaScript backend and Dart backend (in idris it is easier) or clojure backend (idris transpires to clojure) or even rust backend.
But the problem is:
- Environment that comes to emitter is very c++ oriented
- C++ is a hard to understand language
- There are no examples how to generate code for other environments
Kim Morrison (May 14 2025 at 06:21):
This is not on the roadmap.
Last updated: Dec 20 2025 at 21:32 UTC