Front PageRosetta StoneSpecificationEdit this page

Example: Dictionary (String to Int)

Profiles: basic v1

A dictionary with string keys and integer values.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

save("data.mrdi", Dict{String, Int}("a" => 1, "b" => 2))

Data outputs

Profiles: OSCAR v1.0

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.0.5"]},
  "_type": {"name": "Dict", "params": {"key_type": "String", "b": "Base.Int", "a": "Base.Int"}},
  "data": {"b": "2", "a": "1"}
}

Profiles: OSCAR v1.1, OSCAR v1.2, OSCAR v1.3

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.3.1"]},
  "_type": {"name": "Dict", "params": {"key_type": "String", "value_type": "Base.Int"}},
  "data": {"b": "2", "a": "1"}
}

This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.

Profiles: OSCAR v1.4, OSCAR v1.5, OSCAR v1.6, OSCAR v1.7

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.7.0"]},
  "_type": {"name": "Dict", "params": {"key_params": "String", "value_params": "Base.Int"}},
  "data": {"b": "2", "a": "1"}
}

This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.