зачем тебе типы в лиспе?

Я сочувствующий) По последним публичны данным ничего вроде не поменялось - спек сила, остально могила)

Ловить ошибки в момент компиляции, а не в рантайме?

кек

Эх сейчас бы тесты не писать и волноваться о ошибках "типизации", а не бизнес логики/конкаренси/e2e интеграций и тд

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

typed/racket очень даже ничего.

Даже смарт-касты есть.

кложа просто всё же про динамику и репл, не очень понимаю, как тут компилировать все формы каждый раз

не везде и всегда нужна динамика

Ребят у меня одного менеджеры с 47 хромосомами попадаются?
Объясните мне зачем в 1 проекте: GA, Amplitude, FB Analytic?

ты у манагера своего это лучше спроси (серьёзно)

Нет, это распространенная ситуация

Что бы потом бесконечно е_ать тебе голову вопросами - "а почему данные расходятся"

ты же смотрел толк Рича Хикки про спек?

Если он так ставит задачу - мне кажется что там Brain TimeOutException

Плохо, что ты по умолчанию думаешь, что твой менеджер глупый человек

Не вижу аргументов что это не так

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