3 ms·
I believe that is still quite different from the technique presented by the authors. Their technique applies at program execution, but prior to the execution of
by scott_s 11y ago
I believe that is still quite different from the technique presented by the authors. Their technique applies at program execution, but prior to the execution of the individual functions. What you're showing is all prior to program execution.
- TeMPOraL 11y agoNo, this is during program execution. Lisps blend compile time and run time together. You always have a compiler available, so you can compile new stuff (and recompile existing stuff) in the middle of your program's execution. And compile-time typechecking occurs whenever you compile.
- junke 11y agoThe type analysis happens only after I enter "(foo 0)" in the REPL, which is execution time.