RR
Там есть типа “browser:lambdaRequire:libName:”
Size: a a a
2020 November 26
YR
нифига себе у них тут вариаций - https://www.gnu.org/software/kawa/Lazy-evaluation.html
AG
Мне нужно конкретно с npm пакетами и внешними жс файлами дружить
я думаю надо брать пример из https://idris2.readthedocs.io/en/latest/ffi/readline.html и делать по аналогии
AG
если чего-то по ходу дела не хватает, то писать ишьи и пулреквесты
RR
Ну да, просто там Си и немного подругому юзается FFI
RR
C:функция:имя-либы
RR
В жс подругому
RR
Точно, можно же issue оставить для компилятора
AG
ну я ж говорю, если что-то не получается, напиши ишью с фичареквестом
AG
только распиши подробнее что и как
RR
“Привет разрабы, помогите, я тупой”
AG
там не так сложно в принципе втащить нужные изменения в бэкенд самому, компилятор же тоже на идрисе, просто деревья крутятся
YR
я часто открываю ишаки просто с вопросом, типа как сделать?
AG
лучше все равно формулировать их в конкретном виде, типа я делаю так и так, получается такая и такая ошибка
AG
иначе всем будет лень отвечать
RR
Так, а elba там в моде?
AG
или на стэковерфлоу кидать если совсем не знаешь как
AG
Так, а elba там в моде?
не помню проапгрейдили её уже под второй идрис или нет
RR
Просто надо как-то депенденси менеджить
RR
И искать