diff options
| author | Greg Brown <gmb60@cam.ac.uk> | 2021-03-02 16:08:26 +0000 |
|---|---|---|
| committer | Greg Brown <gmb60@cam.ac.uk> | 2021-03-02 16:08:26 +0000 |
| commit | fa69e4edd87e3ec319ac4962c619b04e2203628e (patch) | |
| tree | 1ef140e9c49cb1ee9ba327b574c69dac25fefdc9 /chomp-bench | |
| parent | 7934aa9af22e8fa3c33a45bc08e732a73c0cabf5 (diff) | |
Introduce function types.
Function types are just functions from types to check-results. Nothing more than
delayed computation. Efficiency will initially be no better than current.
Caching results could help, but that's a future problem.
An alternative approach is introducing constraints. That would be a bigger
architectural change, with more complex processing. On the other hand, adding
future extensions would be easier.
Diffstat (limited to 'chomp-bench')
0 files changed, 0 insertions, 0 deletions