The type is not enough
I wrote the interpreter for the language I have now. Currently, it uses strict evaluation.
Here is what I think needs to be done until I have something that is sufficient to start the SQL part:
- add a few base operators for my base types (record, variant and boolean have what they need, but the others (int, float, char) don't),
- add support for collections (lists, bags and sets).
Furthermore, there are a few other things which might be useful but are not necessary:
- pattern matching (Kleisli supports it, but one can define everything without them),
- recursive functions (Kleisli does not support it, I believe, but it might be usefull).