ну это скорее проблема жвм

идеала нет, но системы развиваются, это эволюционный путь. на том или ином этапе что-то может быть более актуальным в плане решения каких-то конкретных проблем. то что есть развитие уже хорошо. опциональную статическую типизацию я бы тоже хотел видеть, и вывод типов "как в сбцл только круче" для начала в варнинги для проверки хотя бы работоспособности

вообще пейпер был type system as macros или что-то такое

да, это очень сильно напрягает для определенного класса задач. еще плохие сообщения об ошибках буээ

как раз вроде про то что вы обсуждаете

Алсо, а что скажешь о статических типах как я описал

Ну типо делаешь контракт на создание объекта

А потом везде в определениях юзаешь этот тип

Кроме репла есть еще минусы?

на сколько я понимаю, нет. просто коре тип уже 10 лет забивает на это направление, то ли рук не хватает, то ли хз чего. есть сторонние либы которые что-то улучшают, ну и потихоньку оно становится лучше, но темпы ужасные. новичков это отпугивает очень сильно. тем более что при работе с лиспом ошибки это вообще норм, просто через репл че-то делаешь, быстро получил ошибку исправил - а тут получил простыню и ищешь что там где вообще происходит. портит впечатление сильно

от процесса

ну если ты про километровые стактрейсы из которых нихуя не понятно, то это жвмные стактрейсы

Они пиздецовые

Хочу фреймы сбцл

type system as macros - https://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf -- оно?

И эвал эвал эвал

оно

не читал, надо глянуть. но вообще на сколько я помню, пользователи просили из спека макросы повыкидывать по возможности. макросы (в обычном лисповом варианте это не объекты первого класса, а было бы неплохо их мочь подставить в те места, где ф-ции в качестве аргументов применимы)

вообще мне в спеке не особо нравится что это всё отдельно от дефов

че-то слишком абстрактно для меня звучит