Ну то есть люди покупают жисон со ссылкой на файл. Их валидность и правда определяется издателем токена. Но смысла в этом ноль.

Об этом и речь. Если источником правды становится владелец, а блокчейн только верификацией - все нормально

Всё так. А как именно блокчейн верификацией занят будет без хранения проверяемого файла в блокчейне?

Ну вообще достаточно чтобы владелец хэш не подменял. Проверить, что его файл соответствует хэшу как бы не проблема

Ну, может быть.

Но хранить в блокчейне ссылку непонятно куда с учетом того, что она может продолбаться и поменяться - так себе.

можно ссылку на ipfs. Она не продолбается и не поменяется

если, конечно, сиды не пропадут

А я думал они прям в чейн блоб пихают

Угу, и первый попавшийся пранке положит туда файл на 10 гб и уронит систему

Ну знаешь ничего и лебедь белую на модемах протащили) ВЫСТОЯЛИ!

Полностью статически типизированный Раку, да. А не частично, как сейчас. Плюс expect-actual из котлина. Плюс расширение языка через грамматики. Я не верю в нерасширяемые языки. Макросы - плохой репортинг ошибок (даже в лиспах). Плагины компилятора - только для авторов компилятора. Людям со стороны труднее влиться. Через грамматики самое то. И репортинг ошибок работает и человек со стороны  может своё расширение написать.

Пример расширяемых граматик есть?

В Раку грамматики - это такие же классы и они могут наследовать другие и переопределять правила разбора.

А как ты это со статическими типами состыкуешь? Как оно в перле работает я примерно понимаю.

Либо требовать явного (что не очень), либо компилировать вместе грамматику и класс-обработчик. Единственная проблема возникнет, когда в цикл грамматика уйдёт. Что плюс, так как в грамматике всё равно бага.

То есть как в груви с AST?

Что как в груви с АСТ?

Ну там можно вставлять обработчки AST прямо в код отдельным блоком

Не влезет + это _дорого_