Burak Emir

Results 12 comments of Burak Emir

I very much like the proposal to add a form of (ML style) algebraic data types - or even features that would let one encode algebraic data types in a...

Hey Erik, since you asked for "software engineering arguments" further up, I will bite and state why algebraic data types and pattern matching is useful from a software engineering perspective....

Thanks for the suggestion! These will look nice in our documentation. Keeping this issue open as as a reminder. I do think some parts of the grammar may still change...

Let's maybe start with an svg for plain Datalog atoms / facts first, with recursion and negation? However the mangle syntax evolves (the syntax in first post is already outdated,...

Thanks for engaging on our first issue! There is a spec part and an implementation part. I think we'd want escapes for the whitespace codes and unicode escapes, as in...

Let me try convert this issue to a (freshly enabled) GitHub discussion.

I agree that needless work is done when one has does multiple evaluation phases with the same program. I will add entry points that let clients call evaluation with a...

You could use `fn:collect_distinct(N)` to get a list of unique values, and then take the length of that list. We are missing `fn:count_distinct()`, I will add it.

Closing, please reopen if `fn:count_distinct()` does not address your use case.