S?.f()는 s가 널이 될 수 있는 타입임을 암시한다. 그렇지 않다면 단순히 s.f()를 호출했을 것이다. 마찬가지로 t.f()는 t가 널이 될 수 없는 타입임을 암시하는 것처럼 보인다. 코틀린에서는 널이 될 수 없는 타입에 대해 안전한 호출이나 null 여부 검사가 필요 없기 때문이다. 하지만 t가 꼭 널이 될 수 없는 타입인 것은 아니다.

코틀린 표준 라이브러리는 다음과 같이 String의 확장 함수를 제공한다.