def s5n(s: String) = s"${s.head}${s.size-2}${s.last}" s5n("internationalization") → i18n s5n("localization") → l10n s5n("greenberg") → g7g
-
-
And "x35" shortens to "x15" which is stable under the s5n transformation.
-
we could use this function as a really boring and confusing example of the concept of "fixed point"
-
Not surprisingly, "really boring" and "confusing" are terms frequently used to describe stuff I say.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.