Top and bottom types - Githubissues

quangis / transforge

Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

GNU General Public License v3.0

2 stars 0 forks source link

Top and bottom types #94

Closed nsbgn closed 2 years ago

nsbgn commented 2 years ago

Diverting from issue #79: We need a top and bottom type urgently because it will help us in using types of the form F(_) in queries, since we can just search for a subtype of F(Top) instead.

nsbgn commented 2 years ago

Still need to:

Add them to taxonomy.
Handle top and bottom types in transformation graphs.
Add tests.
Replace wildcards in query types with Bottom.

nsbgn commented 2 years ago

Top and bottom types are included. New issue for handling wildcards: #95.