Выглядит ровно как псалм и как инструкции компилятору в котлине, от куда они кажется и передернули идею. Ну и как эксперимент, довольно интересный выглядит неплохо
4. Непонятно что это return тип 5. а аргументы как типизировать
мне хватает псалма как инструмента контроля качества кода. я не хочу использовать его для описания какого-либо. появляется своего рода зависимость. может оно и не плохо, но пока нет.
Начнем с того, что это будет криво работать до 8й версии. Т.к. хотя аттрибут и является комментарием он не является многострочным комментарием же. А писать форму массива в одну строку - ну нафиг.