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
Define transformation algebra outside of Python #105
This is not something that should be addressed anytime soon, but eventually it might be nice to define transformation algebras not as Python Language objects but read them from RDF files. Something like:
lang:type [ a lang:Set, :params 1 ], [ a lang:Int ].
lang:operator [ a lang:sum, :type "Set(Int) -> Int" ].
This way, we would become more implementation-independent.
This is not something that should be addressed anytime soon, but eventually it might be nice to define transformation algebras not as Python
Languageobjects but read them from RDF files. Something like:This way, we would become more implementation-independent.