Introduce CapJitTypedExpression

[zickgraf]

Fixes #1213.

@mohamed-barakat CapJitTypedExpression allows to attach a data type to any expression, in particular empty lists and functions which both cannot infer their data type without context information. See the application in AdditiveClosure for an example for how to use this. Of course we can also add convenience methods like CapJitFunctionWithDomainDataType or similar later on.

I want to make sure that this works in principle, so feel free to play around with this. Currently, lots of warnings about empty lists are displayed which can be ignored for now.

[mohamed-barakat]

Wonderful, thank you very much.

[zickgraf]

@mohamed-barakat I have pushed an update. It documents that only literal functions and global variables pointing to a function are allowed as second argument of CapJitTypedExpression and actually adds support for the latter. It also adds an important warning:

https://github.com/homalg-project/CAP_project/compare/4485f6b31f7f7c5161db883719ccdf9453fcb900..521d432e5f370ad6d1779f176af3b4c45c0c0765#diff-a92667676af41741a09a3231276c244f2e85db0d61ecb1a6d581d23a87fca0e5R211-R212

[zickgraf]

The force-push removes a superfluous new line and rebases onto master, so nothing really new.

[zickgraf]

I now have a concrete application for this PR in the context of using CompilerForCAP as a proof assistant. @mohamed-barakat Is it okay for you if I merge this PR soon? It will probably require some adjustments at places where empty lists occur.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (f701aff) 80.90% compared to head (af2ea35) 80.94%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1234      +/-   ##
==========================================
+ Coverage   80.90%   80.94%   +0.03%     
==========================================
  Files         489      489              
  Lines       62511    62578      +67     
==========================================
+ Hits        50577    50653      +76     
+ Misses      11934    11925       -9     

Flag	Coverage Δ
ActionsForCAP	64.09% <ø> (ø)
AttributeCategoryForCAP	88.88% <ø> (ø)
CAP	84.54% <100.00%> (+<0.01%)	⬆️
CartesianCategories	93.33% <ø> (ø)
CompilerForCAP	94.33% <100.00%> (+0.26%)	⬆️
ComplexesAndFilteredObjectsForCAP	73.60% <ø> (ø)
FreydCategoriesForCAP	81.31% <100.00%> (ø)
GeneralizedMorphismsForCAP	61.60% <ø> (ø)
GradedModulePresentationsForCAP	44.58% <ø> (ø)
GroupRepresentationsForCAP	72.05% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.08% <ø> (ø)
LinearAlgebraForCAP	66.54% <ø> (ø)
ModulePresentationsForCAP	68.46% <ø> (ø)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	90.53% <ø> (ø)
ToricSheaves	21.79% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[mohamed-barakat]

I now have a concrete application for this PR in the context of using CompilerForCAP as a proof assistant.

Very nice.

@mohamed-barakat Is it okay for you if I merge this PR soon? It will probably require some adjustments at places where empty lists occur.

Yes, please wait until https://github.com/homalg-project/CategoricalTowers/actions/runs/7112784251 passes and the packages are released.