DM
так Де Гузь же открещивался от тф
Size: a a a
2020 March 04
Oℕ
Я не забыл посмотреть на логстейдж кодек
AD
так Де Гузь же открещивался от тф
В пользу вендорлока
Oℕ
Я короч не против
Oℕ
У вас есть апи для рендеринга логов не на Unit?
Oℕ
Oℕ
Вот этот есть для чистых значений?
Oℕ
Это значит, если я хочу без мутабельных врайтеров сложить значения в таблицу
AD
Там оопшники опять
w
Там оопшники опять
Эх, сча бы опять
ᛒ
кста а для зио написали уже серкит брейкер?
AT
@odomontois @clayrat читаете треды от Джейсона Гросса (он во все списки рассылки по завтипам написал)? Жаль только, что многие отвечающие не знают кто такой Джейсон, иначе бы постеснялись кучи очевидных сообщений писать) типа чувак уже лет 10 пхд пишет и оч круто в теории типов шарит
Oℕ
@odomontois @clayrat читаете треды от Джейсона Гросса (он во все списки рассылки по завтипам написал)? Жаль только, что многие отвечающие не знают кто такой Джейсон, иначе бы постеснялись кучи очевидных сообщений писать) типа чувак уже лет 10 пхд пишет и оч круто в теории типов шарит
не читаю
Oℕ
кинь пример почитать
(
Там оопшники опять
Где?
AD
Software Design/Architecture/Zen
OOP/FP, software design, architecture, GRASP, GoF, SOLID, DDD, separation of concerns, безысходность, дзен.
Пожалуйста, придерживайтесь указанных тем.
https://oopru.github.io
More cool stuff: @fp_ru @tdd_ru @coding_interview_ru @jobGeeks
https://t.me/oop_ru
OOP/FP, software design, architecture, GRASP, GoF, SOLID, DDD, separation of concerns, безысходность, дзен.
Пожалуйста, придерживайтесь указанных тем.
https://oopru.github.io
More cool stuff: @fp_ru @tdd_ru @coding_interview_ru @jobGeeks
https://t.me/oop_ru
AT
кинь пример почитать
https://sympa.inria.fr/sympa/arc/coq-club/2020-03/msg00012.html
(он в лин, агду и пр это продублировал)
(он в лин, агду и пр это продублировал)
AD
ᛒ
хз помню шо Дегос нишятки за него предлагал
ᛒ
Олег, не интересуйся таким