Re: [Python-Dev] Alternative name for str.partition()

2005-09-21 Thread Terry Reedy
"Christian Stork" <[EMAIL PROTECTED]> wrote in message news:[EMAIL PROTECTED] > On Tue, Aug 30, 2005 at 12:49:26PM +1200, Greg Ewing wrote: >> A more descriptive name than 'partition' would be 'split_at'. > > 'split_at' is really what's happening. (I came up with it independently > of Greg, if t

Re: [Python-Dev] Alternative name for str.partition()

2005-09-21 Thread Christian Stork
I know I'm coming too late to this discussion, but just for completeness sake let me mention that the OCaml standard List module uses 'partition' already in the sense that most mathematically educated people would understand it: val partition : ('a -> bool) -> 'a list -> 'a list * 'a list