As closures typesystem depends on collections due to sequence type, so collections typesystem depends on closures due to function type. E.g. consider typechecking of SequenceCreator. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
As closures typesystem depends on collections due to sequence type, so collections typesystem depends on closures due to function type. E.g. consider typechecking of SequenceCreator. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||