3 ms·
You don't need dynamic types to allow hot reloading, as long as a function has the same absolute path and type signature it can be done. I'm pretty sure miri[0]
by nonsince 9y ago
You don't need dynamic types to allow hot reloading, as long as a function has the same absolute path and type signature it can be done. I'm pretty sure miri[0] plus some compiler hooks would allow this, although it would need to reach nearly speed-parity with debug code if not release code. Hot reloading and/or repl-driven development is my number one programming desire right now, and Rust is my most-used language, so this would be life-changing for me.
Also, Scheme and CL allow free reign on data mutation and RDD/HS work fantastically in them
[0]: https://github.com/solson/miri https://github.com/solson/miri
- hacker_9 9y agoI didn't say it wasn't possible, but I've found that hot-swapping in languages that use mutable data structures, and have heavy type systems, makes for a poor experience. If I can constantly cripple the runtime with hot-swapping, or I can't change any type definitions, then there is little point to it.
- yomly 9y agoTyped/racket supports hot swapping to a similar degree as clojure
- elcritch 9y agoFollowing on this, it should be possible to use something like CLASP [1] to do hot loading on C++ code objects. https://github.com/drmeister/clasp https://github.com/drmeister/clasp