А что говорит?
О, а как ты встроил тайпчекер в вим? Это фича какого-то LSP-сервера? Можно я спрошу в ЛС или в вим-чатике, чтобы не оффтопить (вряд ли тут кому-то ещё это интересно)? Кстати, а что мешает написать язык на том же ML, и, если уж так хочется питон, дампнуть IR в какой-нибудь JSON и потом собрать его пайтоном в датаклассы? Я вот сейчас запилил такую штуку в пет-прожекте. IR готовлю на окамле, а в пайтоне получаю готовое представление, которое использую в тестах (тестирую полученные датаклассы через pytest) и "плагинах" (например, готовлю картиночки для графов потока управления через pygraphviz).
Обсуждают сегодня