[Ur] How to design JSON interface?

Adam Chlipala adamc at impredicative.com
Sat Dec 4 10:35:35 EST 2010


Marc Weber wrote:
> Excerpts from Adam Chlipala's message of Thu Dec 02 19:03:17 +0100 2010:
>    
>> This isn't the kind of recursion I meant.  In the world of type theory,
>> a "recursive type" is a type defined in terms of itself.  Lists are a
>>      
> There are only objects (= dictionaries or hashes) and arrays (which you
> translate to lists) and primitive types (int, string, bool).
> So you can't perform better that what you've done.
>    

Your explanation doesn't tell me why it's not possible to do better, 
but, if you're satisfied, then that's good enough for me. :-)

> Your library seems to work perfectly. You did exactly what I had in
> mind. Do you mind making the repo public?
>    

I'll put that on my to-do list.

> How efficient are those escape / unescape functions compared to plain C
> functions ? Does it make sense to code them in C ?
> Calling substring for each space could be inefficient.
>    

There's definitely room to improve performance significantly by coding 
parts in C.



More information about the Ur mailing list