Tony Morris

def <-:[A, B](f: A => B): List[A] => List[B] better than AbstractAdvisorAutoProxyCreator? sure

@jneira This is a great point. Naming things is one of the hardest things in computer science and types are self descriptive

@rickasaurus the example is from the good @dibblego post i just retweeted

@jneira @dibblego Types as documentation is a commonly overlooked benefit.

@rickasaurus i think @dibblego is no talking about docs but intrinsic properties you can infer at a glance and use to reason about code

@jneira @dibblego Well, that is a form of documentation, but obviously it's better when invariants can be statically checked too.