baboon

Let the Baboon do the monkey job.

Stripped-down experimental DML with schema evolution support and garbage collection.

Features

1. Set-based structural inheritance with subtraction and intersections
2. Automatic JSON codec derivation
3. Automatic UEBA (Ultra-Efficient Binary Aggregate, a custom tagless binary format) codec derivation
4. Automatic evolution derivation where possible, stubs where manual conversion is required
5. Structural and nominal inheritance
6. Namespaces
7. Inclusions (at syntax tree level)
8. Lists, sets, dictionaries and optional types.
9. Codegen targets: C#

Limitations

1. No templates
2. Only Enums, DTOs and ADTs
3. Nominal inheritance support is limited to trait model
4. Generic/type constructor support is limited to builtin collections
5. (*) This is a DML, not an IDL, it does not support service/interface definitions
6. (*) Currently only C# cogen target is supported
7. (*) Comments are not preserved in the cogen output
8. (*) No structural inheritance information is preserved in the transpiler output
9. (*) Only integer constants may be associated with enum members
10. (*) No newtypes/type aliases
11. (*) No inheritance-based lenses/projections/conversions

Points marked with (*) will/may be improved in the future.

CLI

baboon \
    --model-dir ./src/test/resources/baboon/ \
    --model ./src/test/resources/baboon/pkg0/pkg01.baboon \
    --model ./src/test/resources/baboon/pkg0/pkg02.baboon \
    --output /path/to/directory

Notes

1. All the types which are not transitively referenced by root types will be eliminated from the compiler output.
2. Usages in structural inheritance are not considered references, so structural parents which are not directly referenced as fields and not marked as roots will be eliminated

Foreign types

Be very careful about foreign types. It's your responsibility to make sure everything is set properly.

At the bare minimum you will have to do the following for each foreign type you use:

1. Create a custom codec for your FT
2. Override generated dummy codec instance with BaboonCodecs#Register
3. Override generated dummy codec instance using setter on ${Foreign_Type_Name}_UEBACodec#Instance field
4. Override generated dummy codec instance using setter on ${Foreign_Type_Name}_JsonCodec#Instance field

Make sure your foreign types are NOT primitive types or other generated types. It's a funny idea, but it will explode in runtime.

Foreign types may hold any position in generics but it's up to you to ensure correctness.