Corbin Simpson
Corbin Simpson
An AnyPointer (upstream [docs](https://capnproto.org/language.html)) is a dynamically-typed pointer. Recall that, in Capn's encoding framework, trees and structs are passed by pointer; this is a way to reinterpret which schema is...
There is indeed history to this; the original characters under consideration for the REPL prompt were U+26F0 "⛰" and U+1F3D4 "🏔". U+26F0 is now relatively well-supported, and I have a...
Just tested out U+26F0 and it is relatively handsome. I might switch to this.
Filtering turns out to be less essential than thought. Adam7 interlacing was not too hard.
This will require a change to the AST to allow verbs to be holes instead of just literal strings.
To give an update: We are factored for this, but the underlying AST builder is not prepared to allow holes to be Strs instead of subnodes. I'm marking this as...
We should port this Typhon suite to Monte so that we can test the correctness of other runtimes, since almost all of these tests are just black-box correctness testing. They...
We should be able to generate two tiers of warnings: One for statically failing DF, and one for statically maybe-failing DF; only the former would be interesting to the linter.
Sorry, I should have explained a bit more. The Unicode specification includes a fold which transforms strings into a case-insensitive version for comparison purposes. This fold was recently blessed into...
This turned out to be a complex rabbit hole. We can maybe just copy Python 3, but with extreme care. Also, case mappings, like uppercase and lowercase, probably need to...