https://github.com/gerr135/ada_composition

A collections of small nifty demos/sample code that may help better layout data or structure project
https://github.com/gerr135/ada_composition

Last synced: 2 months ago
JSON representation

A collections of small nifty demos/sample code that may help better layout data or structure project

• Host: GitHub
• URL: https://github.com/gerr135/ada_composition
• Owner: gerr135
• License: bsd-2-clause
• Created: 2018-12-25T08:32:22.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-11-25T19:24:11.000Z (over 4 years ago)
• Last Synced: 2024-01-27T09:36:50.905Z (5 months ago)
• Language: Ada
• Size: 458 KB
• Stars: 8
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-ada - ada-composition - A collections of small nifty demos/sample code that may help better layout data or structure project. (Education / Specialties)
• awesome-ada - ada-composition - A collections of small nifty demos/sample code that may help better layout data or structure project. (Education / Specialties)

README

        
# ada_composition

Ada type composition demos

## About

This is a collection of code examples demonstrating how to do some non-trivial type composition in Ada language. Ada is a stricktly typed language (for real, not in the sense of merely **having types** as many other languages claming to be strongly typed too). Correspondingly, Ada has a very rich type system, allowing buidling complex OOP hierarchies, intermixed with generics and some Ada-specific stuff. This project holds a collection of (reasonably) small code examples demonstrating less common or not entirely trivial ways to ties types toghether. This started by trying to add iteration and indexing to an existing type and providing the possibility to overlay Ada.Containers.Vectors.Vector over the existing type. The cleanest way to test the composition was to quickly whip up some small testing code, which exposed some issues and grew bigger than intended. As the resulting code presents the situation that can be usefull in some common cases, this depositary was created to keep this and other similar examples.

## Contents

Each individual demo is in its own directory with a corresponding Readme providing a specific description.

- [list_iface](list_iface/) Iterable and indexabe interface that can be overlayed by an existing container type

- [list_combo](list_combo/) An evolution of **list_iface**. An iterable and indexable container that stores type hierarchy (and not just a single type).

- [mixins](mixins/)  A demo of how to mix separate type hierarchies, with some caases supporting inheritance and redispatch on both branches.

- [separation](separation/) A demo of how to separate algorithic part of the project (code-only in interfaces) from data storage and representation (data-storing type hierarchy).

## Licensing

All the code here is under non-restrictive license (basically AS-IS clause with copyright. For the moment this is BSD licence, but this can be changed if some other better license is suggested). It is intended to be copied and modified by anybody if there is any need.