出典:Wikipedia
出典:『Wikipedia』 (2011/03/21 14:53 UTC 版)
An effect system is a formal system which describes the computational effects of computer programs, such as side effects. An effect system can be used to provide a compile-time checking of the possible effects of the program.
| ・Effect system | |
| ・importuner | |
| ・squiny | |
| ・rumless | |
| ・MPKC | |
| ・certutil | |
| ・beamwork | |
| ・polygyn | |
| ・undersoles | |
| ・LSFR2 |