[Agda] Fairbairn not for St.lib

Serge D. Mechveliani mechvel at botik.ru
Sat Oct 13 18:28:03 CEST 2012

On Sat, Oct 13, 2012 at 05:44:02PM +0200, Nils Anders Danielsson wrote:
> On 2012-10-13 14:47, Serge D. Mechveliani wrote:
>> I `google' the definition somewhere in e-mail:
>> --------
>> http://www.haskell.org/pipermail/libraries/2012-February/017548.html
>> Edward Kmett ekmett at gmail.com Feb 15 2012
>> [..]
>> The Fairbairn threshold is the point at which the effort of looking up or
>> keeping track of the definition is outweighed by the effort of rederiving
>> it or inlining it.
>> --------
> Jon Fairbairn
> Names for small functions: just say no... Re: Data.List.join
> http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5280/focus=5322

Thank you. I had a look there. 
Probably, you are simply giving a reference.
Anyway I do not see there a reason of why the Fairbairn threshold is 
important for deciding inclusion for a Standard library.
Consider the example with `null' from my previuos letter on this subject.


More information about the Agda mailing list