169 похожих чатов

Winitzki: Вам не удастся довести scala_examples до Scala 2.13, там нет

некоторых библиотек. В частности моя собственная библиотека curryhoward пока не доведена до Scala 2.13. Примеры первых 4 глав ее не требуют, поэтому для них вы можете пользоваться 2.13.


Me:
Сергей, благодарю за предупреждение.

Потыкал в эту вашу библиотеку, чтобы убедиться, что не осилю помочь вам с её апгрейдом.

Скажите, вы сами в апгрейде заинтересованы?
По-хорошему ведь, надо думать уже о скале 3. То есть, как минимум макросы навыброс.

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


Winitzki:
Довести библиотеку curryhoward до Scala 2.13 это часа 3 работы максимум. Там код достаточно совместимый и по идее должен под 2.13 работать. Но у меня нет времени на это сейчас. Когда закончу текст книги, тогда и начну этим заниматься.

Перевести curryhoward на Scala 3 - это очень большая работа, главный алгоритм останется без изменений, но все остальное придется переписывать с нуля. Совершенно другой API для макросов, reflection и т.д. Сомневаюсь, что кто-то за это возьмется, но библиотека open source, так что проблем нет, вперед...

6 ответов

18 просмотров

А что, ​Виницкій​ уже пересталъ писать по-русски въ дореформенной орѳографіи?

-=LevT=-- Автор вопроса
ⰽⱁⱅⱏ ⰿⰵⰶⰴⱆⱄⰾⱁⰲⱑⱀⱐⱄⰽⱏ
А что, ​Виницкій​ уже пересталъ писать по-русски в...

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

-=LevT=-
Меня беспокоит другое - то, что он книгу прямо вме...

Да опенсорс ж, помоги человеку. Тыж знаешь как это работает

Grigory Pomadchin
Да опенсорс ж, помоги человеку. Тыж знаешь как это...

+ @LevT2 очень опасаемся, что пропадёт достояние, ты всё правильно описал, переведи пожалуйста всё на скалу 3

-=LevT=-- Автор вопроса
Grigory Pomadchin
Да опенсорс ж, помоги человеку. Тыж знаешь как это...

То что мне посильно, делаю. На слабо не ведусь в безнадёгу не ввязываюсь

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта