Gilbert

> Would it be preferable to map JS strings to Tau strings, i.e., lists of characters? The problem with list-of-chars is there's no way to differentiate between the JS values...

Ahh yes, thank you for correcting me. How would list-of-chars -> JS string work then? O(n) detection? I imagine e.g. Scryer is more efficient than that, how does it manage?

That's true when you're converting out, but introspection also has that cost. The thought of the extra memory usage also makes me flinch a bit... I wonder if Tau could...

Thanks for the quick response! A regex tokenizer is tempting, but I'm going to try, as best I can, to adhere to standard prolog. I also may have found an...

After too much effort, I found that updating Tau's internals to parse number literals as JavaScript's built-in [BigInt](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/BigInt) (and updating the core math functions) was the best solution for my...

Having ffi using `:` would be fantastic. It would enable Tau to better integrate with the JS ecosystem. I'm very interested in seeing and helping this happen.

Thanks for the response! I don't know how I missed `answers` :) 1. Could you explain why `answers` has a setTimeout? Since Tau is already asynchronous (I think, according to...

I'm running into a use case issue with `{Type}.prototype.toJavaScript`. I have the following prolog: ```pl phase(round(1, vote)). ``` If I query for it like `phase(P).`, then `P` ends up being...

Allowing both might be good, but we should probably discuss a default. I would think having data as the default makes sense. If one wanted a string representation, couldn't there...

By compatibility, do you mean with some part of the ISO standard?