Kotlin и autoboxing

Раз проверка не атомарна, значит ли это что null-safety в котлине не гарантируется при многопоточности?

Прощай, объектно-ориентированное программирование

Вывод статьи меня несколько обескураживает. Ведь ФП не исключает ООП.

Композиция функций на F# и Scala

Да, вы правы. Не обратил внимания что в статье композиция не в математическом смысле композиция.

Краткий обзор Kotlin и сравнение с C#

Код в самом деле похож на Scala. По поводу IDE из введения «у которой как я понимаю, до сих пор нет нормальной IDE» — в IDEA замечательный плагин для скалы. Эклипсом я не пользуюсь, но там тоже есть поддержка скалы, и её вполне себе используют.