3 ms·
As its name implies, Statically typing does mean that the typing is resolved in the static environment (before execution). Dynamic typing is resolved in the dyn
by CodeArtisan 4y ago
As its name implies, Statically typing does mean that the typing is resolved in the static environment (before execution). Dynamic typing is resolved in the dynamic environment (during execution). Both enabling all kind of techniques. You need dynamic typing to have eval which is the core of the lisp language therefor you can't have a "true" lisp without dynamic typing.
- pohl 4y agoLooks like Carp does also have eval. It’s nice that one gets to choose to pay the cost here. https://carp-lang.github.io/carp-docs/core/Dynamic.html https://carp-lang.github.io/carp-docs/core/Dynamic.html
- jeremyjh 4y agoAt the top of that page, it says it is used in the REPL and during compilation and not available in compiled code. The guide elaborates they are also available in macros. But I don't see a mechanism for runtime eval.