Git Product home page Git Product logo

Comments (5)

vrandezo avatar vrandezo commented on March 29, 2024

expand in src/utils/json.js should create the normal representation, and canonicalize the same place the canonical one. There is a script to do that, src/scripts/expander.js but that doesn't work for me right now.

(this is all IIRC, I haven't looked into the code myself for a while!)

I wrote the specification as a wishlist, it doesn't fit with the current kernel implementation. (That's obviously a bug)

The stable keys are currently 'Z1K1', 'Z1K2', 'Z6K1', 'Z11K2', 'Z16K1', 'Z16K2',
'Z18K1', 'Z60K1', 'Z70K1', 'Z180K2', none of these gets processed as described by the normalization / canonicalization. This list should become shorter - I think only Z1K1, Z1K2, and Z6K1 really need to be there.

But yes, as you say, Z1K1 indeed has to be there - that's an error in the Spec for exactly the reason you state and needs to be fixed.

from abstracttext.

vrandezo avatar vrandezo commented on March 29, 2024

Just FYI and as a comment, the reason why I didn't put Z1K1 there is because I haven't decided yet on how to deal with parametrised types. Should it just be a Z7 that creates a type on the fly from a given argument? Or something else? But this leads to the question what the identity of type is (and that's the reason for Z4K1 which is kinda weird), and down the whole rabbithole of type checking etc.

But really, that needs a proper solution, and until then I Z1K1 should probably just be treated as a stable key.

from abstracttext.

vrandezo avatar vrandezo commented on March 29, 2024

I fixed the expander script: fba8a4b

That at least should work now.

from abstracttext.

vrandezo avatar vrandezo commented on March 29, 2024

Fixed the specification to take that into account.

from abstracttext.

lucaswerkmeister avatar lucaswerkmeister commented on March 29, 2024

Thanks, and also thanks for explaining the x and * in the specification :)

from abstracttext.

Related Issues (15)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    šŸ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. šŸ“ŠšŸ“ˆšŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ā¤ļø Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.