Indeed this is more an aspect inspired by academia the point would have been better made by pointing out the excellent and extensive tooling built by jetbrains

Indeed this is more an aspect inspired by academia the point would have been better made by pointing out the excellent and extensive tooling built by jetbrains for kotlin. that's something the maker of the intellij platform has more experience with than academics Also there is a tradeoff between advanced language features and good tooling, which is why you will sometimes miss the former inside kotlin