Tony Morris

@mwotton To demonstrate correlation, you must test if they were not wordy java-style identifiers. The result is the same.

@dibblego @mwotton Tony rot13's all his identifiers :-)

@jedahu @mwotton I have done this to stop people from reading more into code than they should. It was 2001.

@dibblego @mwotton Always amusing to see someone explain why single char identifiers are inadequate in a generic parametric function.

@jedahu @mwotton They are inadequate, since we strive for zero char identifiers where possible.

@dibblego @mwotton Well, I meant type identifiers. Is there a language in which `a -> Maybe a` can be written without `a`?

@jedahu @mwotton Ap (->) Maybe

@dibblego @mwotton Ok. I can write Ap, but not pointfree. type Ap k m a = k a (m a). Now show me yours :-)