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.

Sign up for GitHub

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

Jump to bottom

Type based dispatch #5

Open

mikera opened this issue Dec 21, 2014 · 0 comments

Owner

mikera commented Dec 21, 2014

One key goal of Kiss is to allow efficient static compilation using type information.

It is also a key goal to maintain the dynamic nature of Clojure. So we want to maintain the flexible nature of Clojure's protocol based dispatch.

This implies that we need functions with the following properties:

Can dispatch based on type dynamically at runtime (using runtime type checking)
Can statically optimise dispatch based on type comparisons at call sites, where the paramter type is know
Can extend dispatch functions with new types (as with Clojure protocols)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment