Viewing profile — tonyg

New? It stretches back industrially to the WS-* stuff in the early 00s (this is where the term originated), and on the academic side has roots in process calculi from the 90s and s…

Absolute slop. Interesting that the end result, the place where Claude ended up, is similar to a (human-authored, windmill-tilting) project of mine, https://preserves.dev/ . Though…

That's one of the reasons RFC 9485, "I-Regexp: An Interoperable Regular Expression Format", is important. https://datatracker.ietf.org/doc/html/rfc9485

*Mitchell Wand

I will not. I refuse

Is .map specialcased or do user functions accepting callbacks work the same way? Because you could do the Scott-Mogensen thing of #ifTrue:ifFalse: if so, dualizing the control-flow…

(1998). Java existed, but neither Scala nor Java-with-generics did. From the conclusion: "We have presented a programming protocol, Extensible Visitor, that can be used to construc…

I don't think that's right - IIRC it used to be possible to write out a file, if loaded from a file:// URL, directly from JavaScript. Then that ability got nobbled because security…

> Undermining the credibility of computer science research is the best possible outcome for the field, since the institution in its current form does not deserve the credibility th…

> Static analysis can tell what forms are invoking an fexpr and which are function calls. It's not got different from knowing which are macros. That problem can be solved. I don't …

There are no string keys in the Person example above. You could add some, though, or use numbers instead with the same host-language API: Person = as above, or Person = or Person =…

Thank you! I wonder if something a bit contrived such as small-caps could help. I'll experiment.

Date and datetime are left to convention: https://preserves.dev/conventions.html#dates-and-times Decimals I'm on the fence about. Some discussion here: https://gitlab.com/preserves…

Yeah I struggle with "Preserve" vs "Preserves" sometimes. Was there something in particular that struck you as unfortunate, though?

XML would make a fine choice. It lacks atomic data types other than text, and compound data types other than sequences, unless you count element attributes, which are in a kind of …

Thanks. Yes there are: see sections 15, 16 and 17 of https://synit.org/book/ , where Preserves, Preserves Schemas, and the Syndicated Actor Model make a reactive replacement system…

The version number is the schema language version, not the version of the collection of types described in the file. The schema language is extensible/evolvable in that pattern mat…

Yeah EDN is quite similar. Preserves has no nil, allows any value as a tag, gets into the weeds more on when strings are equal or not, doesn't distinguish lists and vectors, and do…