-
Notifications
You must be signed in to change notification settings - Fork 165
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Rewrite the interpreter to operate on the source language #537
Labels
Comments
athas
added a commit
that referenced
this issue
Sep 5, 2018
This interpreter operates directly on the source language, and implements it faithfully without regard to any specific implementation technique. This does cause some problems - I am quite confident there are exotic problems related to interactions between size annotations and empty arrays, that are handled differently by the compiler and interpreter. This interpreter is *very* slow. It is not suitable for running programs on all but the smallest data sets. It may be possible to speed it up in the future. On the upside, it supports a very nice interactive environment that supports the full language, including modules. It completely replaces (and removes) the old core language interpreter. Closes #537.
athas
added a commit
that referenced
this issue
Sep 5, 2018
This interpreter operates directly on the source language, and implements it faithfully without regard to any specific implementation technique. This does cause some problems - I am quite confident there are exotic problems related to interactions between size annotations and empty arrays, that are handled differently by the compiler and interpreter. This interpreter is *very* slow. It is not suitable for running programs on all but the smallest data sets. It may be possible to speed it up in the future. On the upside, it supports a very nice interactive environment that supports the full language, including modules. It completely replaces (and removes) the old core language interpreter. Closes #537.
athas
added a commit
that referenced
this issue
Sep 5, 2018
This interpreter operates directly on the source language, and implements it faithfully without regard to any specific implementation technique. This does cause some problems - I am quite confident there are exotic problems related to interactions between size annotations and empty arrays, that are handled differently by the compiler and interpreter. This interpreter is *very* slow. It is not suitable for running programs on all but the smallest data sets. It may be possible to speed it up in the future. On the upside, it supports a very nice interactive environment that supports the full language, including modules. It completely replaces (and removes) the old core language interpreter. Closes #537.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
There is dubious value in having it work on the core language.
The text was updated successfully, but these errors were encountered: