Kotlin: получить расширение файла со стандартной функциональностью

Есть ли способ получить расширение File в Котлин?

 File("a/b/file.txt") 

Вы можете найти очень аккуратные расширения для классов kotlin.io например File в kotlin.io . Для получения расширения файла используйте следующее (определенное в kotlin.io):

 public val File.extension: String get() = name.substringAfterLast('.', "") 

Используйте следующее:

 File("a/b/file.txt").extension