does not use type information. in base code (eval: (string * int) list - t - int) ... one pointcut used in different advice decls may match different join points ...
Has functions with side effects, imperative programming capabilities. Haskell is a pure functional language. Uses Hindley-Milner type inference algorithm ...