sono le monadi, o più specificamente le espressioni computazionali f #, una forma di programmazione orientata all'aspetto?
Aggiornamento:
I costruttori di workflow f # hanno metodi diversi da bind e unit. Hanno ganci per molte parole chiave. vedi Creazione di un nuovo tipo di espressione di calcolo .
Nella misura in cui le monadi servono per isolare una strategia di calcolo generalizzata dalle specifiche del suo algoritmo o implementazione, possono essere viste come base o base teorica per AOP. Ho trovato un documento interessante chiamato Monade come base teorica per AOP (PDF) che dà a questa idea un trattamento più completo.
per me sembra un po 'come AOP. Un esempio classico nel mio lavoro è l'utilizzo di un "log-Workflow" (meglio noto come monade di stato con lo stato di una voce di log) per accedere all'interno del mio codice F # per risparmiarmi dal passare l'oggetto-log attraverso ogni metodo- chiamata. D'altra parte il "vero" AOP non ha bisogno che tu scriva codice di accesso all'interno dei tuoi metodi (forse alcuni attributi). Non mi piace il "hey I rewrite your code for you" -AOP framework quindi uso di Unity-Injection di tanto in tanto (sì, io uso davvero Unity - fa tutto quello che voglio da esso) ed è ok.
Leggi altre domande sui tag f# monad aspect-oriented