Похоже, что вы описываете Pex , который поддерживает F # (хотя я видел сообщения, которые указывают, что иногда его путают с F # против C # или VB).
На самом деле PostSharp звучит так, как будто его можно использовать для достижения чего-то более близкого к тому, что вы описываете.