Turns out that you might not write the fun main for kotlin even if the post asks so because of this:

https://codegolf.stackexchange.com/a/101563/

as you can see, as the OP explains at the answer, if ran as a .kts file (kotlin but script) it won't need a main function as it starts from the top. What are y'all opinions on this? how should this case be treated?

• I don't see why this wouldn't be entirely allowed. Jan 31 at 18:36

In this case "Kotlin" and "Kotlin script" are different languages. Both languages have implementations so they are indeed languages and because they are triggered by a change in the file extension they are different languages. The same has been done for e.g. Literate Haskell in the past since it requires the .lhs extension.