Draft contexts and configurations in InterTypes

[fivegrant]

TODOs before merge:

• [x] Generate Pydantic and JSON schemas
• [x] Make IDs optional (waiting on ACSets.jl change)
• [x] Allow meshes to be regions

[brandomr]

@olynch is this something we can merge into your branch? Any thoughts/feedback?

[fivegrant]

note: I'm waiting to make changes to this PR until the example configuration and parameterization artifacts are complete.

[fivegrant]

@jpfairbanks This is still missing quite a bit but it might make sense to go ahead and merge with the main Decapodes branch and continue work there. I've gotten this as far as I can get it personally.

The big thing that's missing are object types/mappings (I'm currently using Vector as a placeholder). For example, how would I make an intertype of this:

{
  "entries": {
    "a": {
      "x": 1,
      "y": 4
    },
    "b": {
      "x": 3,
      "y": 4
    }
  }
}

and declare this in InterTypes like Map{Point}. There does seem to be some Map object but it's unclear how to do call this in it file and I'm not sure if it's what I'm looking for

Possible issues I could open up on ACSets.jl if you'd like

• an Optional type is needed for fields like IDs. This exist now but I couldn't find it anywhere.
• path is ignored by generate_jsonschema_module (I left a comment about this in generate.jl)
• Python generation uses name of module/path of IT file (I also left a comment about this in generate.jl)
• Support for somethlng like Abstract Types for basic InterTypes. It'd be nice to define an ASKEMModel which would consist of a ModelHeader and an abstract Model type. Then, I could just make DecapodeModel a subtype of Model and not have to define an ASKEMDecapodeModel

[fivegrant]

@jpfairbanks this fixes the second and third bullets above: https://github.com/AlgebraicJulia/ACSets.jl/pull/95

[fivegrant]

@olynch @jpfairbanks I think this PR is ready to merge into the main Decapodes PR. Pydantic is able to ingest both contexts and configurations.

I didn't include a Project.toml for generate.jl and I also put a few generic components in base.it because I anticipate that we might use it for other frameworks. You should modify anything you want (remove generate.jl, factor base.it into decapodes.it etc) since all I'm doing here is the work of ingesting the example from the hackathon.

LMK if you want me to resolve the merge conflicts although it seems like something you might prefer to do on your own.

---

@liunelson @mattprintz I made very minimal changes to your examples but they remain almost entirely intact.

[fivegrant]

small note: I added InterTypes so they match the examples exactly. Changes that require modifying the examples should be done in a different PR.

[fivegrant]

@jpfairbanks I've responded to all of your comments. I made all the noninvasive changes I could to the examples. decapodes.it also takes advantage of more sumtypes.

[jpfairbanks]

As long as we can change this as we implement the simulator service that backs accepts this format. I'm ready to merge.