例如，在OCaml标准库中集合并集的实现，在理论上比指令式语言（例如C++、Java）的标准库中的等价函数，要渐进性的更快，因为OCaml实现利用了集合的不可变性，而在输出中重用了输入集合的一些部份（参见可持久化数据结构）。
qr n tsʑqr (en) kˈaməl(cmn) ɕqʑk tsʁr χr tsʁɣ^k ɬqn ʁɣn ɕqɣ^r ɬqn çɣr ʁqn khqʑr tsʑqr qr r ʁʑɣ^r ɕqr tsʁqr qɣ^r ʁqr tɕhr tɕhʑn qr n (en)zˈɛd plˈʌsplˈʌs(cmn) (en)dʒˈɑːvə(cmn) çɣr ɕqʑk tsʁr χr tsʁɣ^k çɣr çɣɣ^r ɬqʑr ʁʑn ʁr tɕhʑr ɬqʑr ɬqr khqɣ^r çɣr ɣ^ɣɣ^r χʑqr tɕhqk thɣqr (en) kˈaməl(cmn) ʁqn khqʑr qr tɕhɣ^r ɣr ɬqn ʁɣn çɣr ɕr χɣr ɕqʑr khqɣ^r ɣn tsʑqr ʁk ʝʁk tsʁɣ^k tsʁɣ^r tɕhɣ^r ɣr ʁk r ɬqn ʁɣn çɣr tɕhqk khqɣk ɕr xɣr ʝʑk ɬqʑr χɣr ʝʁqn ɬqr ʁʑr ʁr ɬr ɬqɣn ɣ^r