Hilbert's 24th Problem
I learned about this from Emily Riehl's Category Theory in Context which she seems to have written when she was in the USA. She mentions Hilbert's 24th Problem in a footnote.
I've made a clone of my github metaprogramming repository here: https://github.com/Ian-Grant/metaprogramming. I think it should run on the Moscow ML fork I have at https://github.com/Ian-Grant/mosml/. This has a minor code-compatible change to the SML 97 standard which, if Meta.utf8 is true, explicitly allows UTF8-encoded ASCII in string literals and which extends the character syntax with an escape sequence for convenience in specifying Unicode UCS characters up to 24 bits lomg using the escape \u+xxxxxx, where x is a hexadecimal digit in the range [0-9A-Fa-f]. In addition it will accept \uxxxxxx, which is really a bug. The change affects the lexical analysis phase and performs a check that only valid UTF8-encoded characters appear, and in the pretty-printing unit PP which correctly accounts for the spacing when multi-octet encoded characters appear in the output. I will prepare a suggested change for https://github.com/SMLFamily/Successor-ML/wiki some time, and make one further suggestion for a change in the syntax of the Unit specification language to allow extensions to be built for metaprogramming which extensions are themselves compiled Standard ML programs which produce the input for subsequent stages, and so on and so forth, ... See also David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023.
See Proofs and Types by Girard, Lafont and Taylor. which you can read here: https://www.paultaylor.eu/stable/prot.pdf. See also Numberphile - Sophie Maclean on the Catalan Numbers.
Here's an explanation.
I did fall and hit my head, but I was wearing a climbing helmet at the time, and it was OK, ... just a bit scary.
Subscribe to Eleanor Morton.
Comments
Post a Comment