ДэдФуд хорошо пишет:
Тайпклассы вообще много чего решают. Не только expression problem, но и, например, множественную диспетчеризацию. Прикольно наблюдать за некоторыми дискуссиями на хабре о том, кто в ООП-мире в игре должен управлять взаимодействием меча и моба — ответственность ли это меча, моба или менеджера боёв. В ФП-мире ты просто пишешь тайпкласс.
via https://habr.com/ru/post/505928/
Тайпклассы вообще много чего решают. Не только expression problem, но и, например, множественную диспетчеризацию. Прикольно наблюдать за некоторыми дискуссиями на хабре о том, кто в ООП-мире в игре должен управлять взаимодействием меча и моба — ответственность ли это меча, моба или менеджера боёв. В ФП-мире ты просто пишешь тайпкласс.
via https://habr.com/ru/post/505928/
Хабр
Почему функциональное программирование такое сложное
Я несколько раз начинал читать статьи из серии «Введение в функциональное программирование», «Введение в Теорию Категорий» и даже «Введение в Лямбда Исчисление».
psy667> Является ли Observable из rxjs монадой?
mayorovp> Да. А что, есть какие-то сомнения?
Более того, это аж сразу три разные монады (в роли bind могут выступать операторы
Не сразу это понятно, но вообще это замечательно. Хотя в отсутсвии do-нотации в js от этого пользы мало.
mayorovp> Да. А что, есть какие-то сомнения?
Более того, это аж сразу три разные монады (в роли bind могут выступать операторы
switchMap
, mergeMap
и concatMap
).Не сразу это понятно, но вообще это замечательно. Хотя в отсутсвии do-нотации в js от этого пользы мало.
Forwarded from мне не нравится реальность (вафель 🧇)
Очень долго пытался завести https с self-signed сертификатом, чтобы хром не мазолил глаза. Часа 2 гуглил, нагугливались совершенно разные советы, которые объединяли километровые
В итоге меня ткнули в примеры актикса, где написано как
openssl
команды и то, что они у меня не работали.В итоге меня ткнули в примеры актикса, где написано как
mkcert
'ом сгенерить сертификат и всё сразу заработало :')Forwarded from 🍌 C++ Feed
C++ – Типизированный язык программирования
[Перевод] Microsoft: Rust является 'лучшим шансом' в отрасли программирования безопасных систем
[Перевод] Microsoft: Rust является 'лучшим шансом' в отрасли программирования безопасных систем
Хабр
Microsoft: Rust является 'лучшим шансом' в отрасли программирования безопасных систем
Источник всех утверждений статьи взят из данной видео-конференции Левика. В ней язык живой, а не "доклад под бумажку". Не поленитесь послушать, чтобы заранее не писать глупости (про теорию...
Forwarded from OML flow (Ilya Siganov)
seeing-theory.brown.edu
Seeing Theory
A visual introduction to probability and statistics.
Узун Байрак:
Учитесь языки проектировать
dynamic_cast<void*>(T)
возвращает указатель на 'Самый Производный Класс' в иерархии!
😱🙈 via https://www.tg-me.com/rust_offtopic/289267
Учитесь языки проектировать
dynamic_cast<void*>(T)
возвращает указатель на 'Самый Производный Класс' в иерархии!
😱🙈 via https://www.tg-me.com/rust_offtopic/289267
Telegram
Узун Байрак in rust_offtopic
dynamic_cast<void*>(T)
возвращает указатель на 'Самый Производный Класс' в иерархии!
#cxx #interesting
возвращает указатель на 'Самый Производный Класс' в иерархии!
#cxx #interesting
Soul:
кто-нибудь когда-нибудь занимался отладкой Rust без jetbrains сред?
Как именно это происходило?
Nick Linker:
Если свой код, то зачастую достаточно одного dbg! в нужном месте.
Soul:
ну вы сравнили лог с отладчиком
p0lunin [BPL]:
Ну тогда качай плагин для дебага в вскоде
Hirrolot:
use std::dbg;
Скочал
@gitkpp
gdb ./target/debug/mybin
И лапками жмяк-жмяк
via https://www.tg-me.com/rust_offtopic/290239
кто-нибудь когда-нибудь занимался отладкой Rust без jetbrains сред?
Как именно это происходило?
Nick Linker:
Если свой код, то зачастую достаточно одного dbg! в нужном месте.
Soul:
ну вы сравнили лог с отладчиком
p0lunin [BPL]:
Ну тогда качай плагин для дебага в вскоде
Hirrolot:
use std::dbg;
Скочал
@gitkpp
gdb ./target/debug/mybin
И лапками жмяк-жмяк
via https://www.tg-me.com/rust_offtopic/290239
Telegram
Hirrolot in rust_offtopic
Скочал
Forwarded from rusta::mann
Как же вы, сука, затрахали ломать совместимость ради сраного virtue signalling-а.
Мир сошел с ума.
https://www.zdnet.com/article/github-to-replace-master-with-alternative-term-to-avoid-slavery-references/
Мир сошел с ума.
https://www.zdnet.com/article/github-to-replace-master-with-alternative-term-to-avoid-slavery-references/
ZDNET
GitHub to replace "master" with alternative term to avoid slavery references
GitHub getting on board legitimizes movement aimed at removing racially-charged language from software.
Forwarded from Andrew
Июньский online митап http://meetu.ps/e/J5JBg/Fjc3K/d
Meetup
Russian Rust Online
Thu, Jun 25, 2020, 7:00 PM: Всем привет!Данное мероприятие мы решили провести в формате онлайн трансляции.Доклады будут транслироваться через YouTube.Темы:1. FFI: Глубока ли кроличья нора? (Константин
Лонгрид душу наизнанку:
Nick Linker:
Ничего себе планы. Вот бы мне столько времени...
Tony 123:
да эт не так сложно на самом деле
Nick Linker:
Планы строить? Да, действительно несложно 😝
Увы, я только сейчас добрался до половины книжки, которую планировал дочитать до апреля.
Tony 123:
ахахах xD
Узун Байрак:
Чо за книго
Nick Linker:
FRP book
https://www.amazon.com/Functional-Reactive-Programming-Stephen-Blackheath/dp/1633430103
Бешеный Профессор:
Хм, ты ФП толко увлекаешься или по работе получается тоже писать?
Nick Linker:
Ну поскольку я сейчас на Rust работаю, то с ФП получается тяжеловато :-) а до этого писал на скале и хаскеле. Я на фп подсел ещё году этак в 2005м.
Бешеный Профессор:
Ты второй человек уже который ушёл со Скалы на Rust. Хм, совпадение? Не думаю.
Nick Linker:
С Хаскеля на самом деле, но на этом проекте я столкнулся с поразительной для меня вещью, когда заказчик был готов учить людей за свой счёт, полный карт-бланш, но люди восприняли эту возможность без энтузиазма. То есть просто удовлетворить своё любопытство и изучить чего-то новое за чужой счёт - и никого.
За 4 года мне приходилось доказывать преимущества хаскеля и пытаться сагитировать кого-нибудь пересесть, и один парень заинтересовался таки, и мы с ним сделали 4 жирных сервиса (вместе с американскими коллегами, но ключевую роль потом выполнял один из них), а потом этот парень ушёл, и мы год с американским коллегой тянули поддержку и добавление фич. Но был момент ближе к началу, когда на хаскеле сидело 6 человек, в том числе и Sonke Hahn (довольно известный в хаскельных кругах товарищ, работал с нами всего 3 месяца).
Новых людей не давали и мои постоянные разговоры, что мол нужно распределять экспертизу среди команды не возымели нужного эффекта. Я ещё стиснув зубы потерпел полгода. Самое печальное, что за это время я был завален по макушку ревьюхами джавовских сервисов и их поддержкой, там ломалось решительно всё, а задач по фичам на хаскельных сервисах было минимум. Отрадой были ещё задачи на Spark, но кто знает - это весьма специфичная штука, там не то что ФП, там надо просто правильно писать, понимая, во что это выливается под капотом. В-общем, в конце концов, я понял, что ситуация плачевная и ушёл оттуда.
На мой взгляд, проблема чисто менеджментская, запороли отличный проект своими половинчатыми решениями. Да и вообще, чтобы строить сложные системы, нужно выстраивать процессы прежде всего.
Ну а потом я научился расту, а там уже и новая работёнка нашлась.
Бешеный Профессор:
Оу, сурово. Ну а чего - тебя Java проблемами завалили то? Сказал бы что проблема в том что они на Java - Я Хаскелист и ничего не знаю. Если дадут написать из на Хаскель буду смотреть если нет то не мои проблемы.
Nick Linker:
Так я и на джаве довольно много писал, и все об этом знали. Поэтому отмахнуться не получилось бы.
===
via https://www.tg-me.com/rust_offtopic/276992
Nick Linker:
Ничего себе планы. Вот бы мне столько времени...
Tony 123:
да эт не так сложно на самом деле
Nick Linker:
Планы строить? Да, действительно несложно 😝
Увы, я только сейчас добрался до половины книжки, которую планировал дочитать до апреля.
Tony 123:
ахахах xD
Узун Байрак:
Чо за книго
Nick Linker:
FRP book
https://www.amazon.com/Functional-Reactive-Programming-Stephen-Blackheath/dp/1633430103
Бешеный Профессор:
Хм, ты ФП толко увлекаешься или по работе получается тоже писать?
Nick Linker:
Ну поскольку я сейчас на Rust работаю, то с ФП получается тяжеловато :-) а до этого писал на скале и хаскеле. Я на фп подсел ещё году этак в 2005м.
Бешеный Профессор:
Ты второй человек уже который ушёл со Скалы на Rust. Хм, совпадение? Не думаю.
Nick Linker:
С Хаскеля на самом деле, но на этом проекте я столкнулся с поразительной для меня вещью, когда заказчик был готов учить людей за свой счёт, полный карт-бланш, но люди восприняли эту возможность без энтузиазма. То есть просто удовлетворить своё любопытство и изучить чего-то новое за чужой счёт - и никого.
За 4 года мне приходилось доказывать преимущества хаскеля и пытаться сагитировать кого-нибудь пересесть, и один парень заинтересовался таки, и мы с ним сделали 4 жирных сервиса (вместе с американскими коллегами, но ключевую роль потом выполнял один из них), а потом этот парень ушёл, и мы год с американским коллегой тянули поддержку и добавление фич. Но был момент ближе к началу, когда на хаскеле сидело 6 человек, в том числе и Sonke Hahn (довольно известный в хаскельных кругах товарищ, работал с нами всего 3 месяца).
Новых людей не давали и мои постоянные разговоры, что мол нужно распределять экспертизу среди команды не возымели нужного эффекта. Я ещё стиснув зубы потерпел полгода. Самое печальное, что за это время я был завален по макушку ревьюхами джавовских сервисов и их поддержкой, там ломалось решительно всё, а задач по фичам на хаскельных сервисах было минимум. Отрадой были ещё задачи на Spark, но кто знает - это весьма специфичная штука, там не то что ФП, там надо просто правильно писать, понимая, во что это выливается под капотом. В-общем, в конце концов, я понял, что ситуация плачевная и ушёл оттуда.
На мой взгляд, проблема чисто менеджментская, запороли отличный проект своими половинчатыми решениями. Да и вообще, чтобы строить сложные системы, нужно выстраивать процессы прежде всего.
Ну а потом я научился расту, а там уже и новая работёнка нашлась.
Бешеный Профессор:
Оу, сурово. Ну а чего - тебя Java проблемами завалили то? Сказал бы что проблема в том что они на Java - Я Хаскелист и ничего не знаю. Если дадут написать из на Хаскель буду смотреть если нет то не мои проблемы.
Nick Linker:
Так я и на джаве довольно много писал, и все об этом знали. Поэтому отмахнуться не получилось бы.
===
via https://www.tg-me.com/rust_offtopic/276992
(continue...)
T-34 85:
ты из пайтона в раст пришёл?
Nick Linker:
Нет, на питоне я время от времени что-то писал, но основным языком он у меня никогда не был.
T-34 85:
а что основное? Просто любопытно
Nick Linker:
Начинал с C++, учавствовал в написании сервера показаний датчиков и оконной либы. Потом C# 3 года, бекенд. Потом Java, бэкенд, J2EE и прочие ужасы. Потом Scala (я как раз застал болезненный переезд на коллекции в 2.8, но оно стоило того).
Потом я устроился в одну аутсорсинговую компанию, где был полный фарш, клиенты с чем только не приходили, были проекты и на шарпе, и на питоне, и на js, и (2 штуки) на scala, но в-основном java.
(О, кстати, там был проект, где вся логика была на хранимках, это просто нечто). Я там проработал почти пять лет и ушёл, потому что на те джавовские проекты уже не мог смотреть.
Не, против джавы я ничего не имею, но так получилось, что спринг стал стандартом де факто, и я с этим работать не могу и не хочу. Те кто может - спокойно пилят свои бины и получают XXXX долларей и в ус не дуют.
Оттуда я сбежал в другую компанию на офигенный проект на scala (с релизами каждые 2-3 дня, заказчик своеобразный), и потом второй проект длился 4 года, там я наконец получил боевой опыт Haskell в продакшене (до этого только делал небольшие программы для души после работы).
Затем был год ML, ну можно сказать что я удовлетворял своё любопытство в этой области оценок, метрик и нейронок, но вряд ли можно сказать что основным языком был питон. Я склонен считать, что питонячий стек для машинного обучения и для джанги - это два совершенно разных языка, и ключевую роль здесь играет знание библиотек, (catboost, pytorch, tf и так далее).
Ну пока я игрался в ML я наконец окончательно подсел на Rust, на чём сейчас и зарабатываю на еду.
===
via https://www.tg-me.com/rust_offtopic/256287
T-34 85:
ты из пайтона в раст пришёл?
Nick Linker:
Нет, на питоне я время от времени что-то писал, но основным языком он у меня никогда не был.
T-34 85:
а что основное? Просто любопытно
Nick Linker:
Начинал с C++, учавствовал в написании сервера показаний датчиков и оконной либы. Потом C# 3 года, бекенд. Потом Java, бэкенд, J2EE и прочие ужасы. Потом Scala (я как раз застал болезненный переезд на коллекции в 2.8, но оно стоило того).
Потом я устроился в одну аутсорсинговую компанию, где был полный фарш, клиенты с чем только не приходили, были проекты и на шарпе, и на питоне, и на js, и (2 штуки) на scala, но в-основном java.
(О, кстати, там был проект, где вся логика была на хранимках, это просто нечто). Я там проработал почти пять лет и ушёл, потому что на те джавовские проекты уже не мог смотреть.
Не, против джавы я ничего не имею, но так получилось, что спринг стал стандартом де факто, и я с этим работать не могу и не хочу. Те кто может - спокойно пилят свои бины и получают XXXX долларей и в ус не дуют.
Оттуда я сбежал в другую компанию на офигенный проект на scala (с релизами каждые 2-3 дня, заказчик своеобразный), и потом второй проект длился 4 года, там я наконец получил боевой опыт Haskell в продакшене (до этого только делал небольшие программы для души после работы).
Затем был год ML, ну можно сказать что я удовлетворял своё любопытство в этой области оценок, метрик и нейронок, но вряд ли можно сказать что основным языком был питон. Я склонен считать, что питонячий стек для машинного обучения и для джанги - это два совершенно разных языка, и ключевую роль здесь играет знание библиотек, (catboost, pytorch, tf и так далее).
Ну пока я игрался в ML я наконец окончательно подсел на Rust, на чём сейчас и зарабатываю на еду.
===
via https://www.tg-me.com/rust_offtopic/256287
Telegram
Nick Linker in rust_offtopic
Начинал с C++, учавствовал в написании сервера показаний датчиков и оконной либы. Потом C# 3 года, бекенд. Потом Java, бэкенд, J2EE и прочие ужасы. Потом Scala (я как раз застал болезненный переезд на коллекции в 2.8, но оно стоило того).
Потом я устроился…
Потом я устроился…
Товарищ хорошо разложил по полочкам. Я в своё время мучался и для себя уяснил, как "код имеет дополнительный эффект" если что-то куда-то перемещает.
Vitaliy, [21.06.20 11:48]
> Хм... так очевидно же, хочу присвоить строку в новую строчную переменную.
Вся проблема в такой логике упирается в попытке наложить на раст классическое понятие "присваивание", а этого в расте нет (ну, для Copy-тип данных оно "типа" есть, но строки - данные не являются Copy). в общем, забудь о присваивании
Есть два типа операций: передача владения (перемещение, move) и заимствования (borrow), причём заимствований бывает два вида: шаренные (неизменяемые &) и уникальные (изменяемые &mut)
===
via https://www.tg-me.com/rust_beginners_ru/72071
Vitaliy, [21.06.20 11:48]
> Хм... так очевидно же, хочу присвоить строку в новую строчную переменную.
Вся проблема в такой логике упирается в попытке наложить на раст классическое понятие "присваивание", а этого в расте нет (ну, для Copy-тип данных оно "типа" есть, но строки - данные не являются Copy). в общем, забудь о присваивании
Есть два типа операций: передача владения (перемещение, move) и заимствования (borrow), причём заимствований бывает два вида: шаренные (неизменяемые &) и уникальные (изменяемые &mut)
===
via https://www.tg-me.com/rust_beginners_ru/72071
Telegram
Vitaliy in Rust Beginners
> Хм... так очевидно же, хочу присвоить строку в новую строчную переменную.
Вся проблема в такой логике упирается в попытке наложить на раст классическое понятие "присваивание", а этого в расте нет (ну, для Copy-тип данных оно "типа" есть, но строки - данные…
Вся проблема в такой логике упирается в попытке наложить на раст классическое понятие "присваивание", а этого в расте нет (ну, для Copy-тип данных оно "типа" есть, но строки - данные…
Forwarded from мне не нравится реальность (вафель 🧇)
Corrode Rust Consulting
Tips For Faster Rust Compile Times | corrode Rust Consulting
Slow Rust Builds?
Here are some tips to speed up your compile times.
This list was originally released on my private blog, but I decided to
update it for 2025 and move it here.
All t…
Here are some tips to speed up your compile times.
This list was originally released on my private blog, but I decided to
update it for 2025 and move it here.
All t…