guerrilla/precept — Issue #44: Look into adding aspect oriented programming
Author: guerrilla
Created: 2012-02-03 23:11:55+00:00
State: open
Labels: Research

Type checking semantics could be fairly simple: just rotate through all applicable join points. Could require extension of the notion of typing context or a second context. Also could require some notion of identifier matching.