Forwarded from The Wacky Yellow Dog
Потому что эргономика так себе, она сильно ограничивает архитектуру приложения не по принципиальным причинам, а тупо из-за ограничений языка, связанных с его низкоуровневостью и некоторыми решениями в дизайне.
С этим можно мириться, если тебе нужна максимально хорошая производительность, но это редко нужно.
А где производительность не столь критична, там есть куда более выразительные альтернативы, которые в IO-bound задачах сравнимы по большинству показателей, а в плане эргономики сильно лучше
С этим можно мириться, если тебе нужна максимально хорошая производительность, но это редко нужно.
А где производительность не столь критична, там есть куда более выразительные альтернативы, которые в IO-bound задачах сравнимы по большинству показателей, а в плане эргономики сильно лучше
Forwarded from Jack
YouTube
C++ Siberia 2020: Виталий Брагилевский - Управление ресурсами: линейные типы спешат на помощь
Подробнее о конференции C++ Russia: https://jrg.su/9Sszhd
— —
. . . Как известно, языки программирования слабы в описании того, что нужно делать разработчикам. Они, конечно, пытаются помочь, но не всегда успешно. В результате программы содержат множество…
— —
. . . Как известно, языки программирования слабы в описании того, что нужно делать разработчикам. Они, конечно, пытаются помочь, но не всегда успешно. В результате программы содержат множество…
Forwarded from Αλεχ Zhukovsky
https://blog.ploeh.dk/2017/01/27/from-dependency-injection-to-dependency-rejection/ нелохая статья на эту тему
ploeh blog
From dependency injection to dependency rejection
The problem typically solved by dependency injection in object-oriented programming is solved in a completely different way in functional programming.
Forwarded from Al P
Алексей именуемый 1 он же Алексей Абашев - плохой,
Алексей именуемый 2 он же Алексей Нестеров - хороший.
Алексей именуемый 2 он же Алексей Нестеров - хороший.
Forwarded from Al P
Достаточно публично доступно https://github.com/alek-sys
GitHub
alek-sys - Overview
alek-sys has 63 repositories available. Follow their code on GitHub.
Forwarded from Αλεχ Zhukovsky
whileM' : (Monad m, Monad f, Alternative f) => (a -> Bool) -> m a -> m (f a)
whileM' p f = go
where go = do
x <- f
if p x
then do
xs <- go
pure (pure x <|> xs)
else pure empty
whileM : Monad m => (a -> Bool) -> m a -> m (List a)
whileM = whileM'
@hirrolot если вдруг нужен такой комбинатор в идрсе - держи. Чуваки из чатика не смогли сделать версию которая работает, у меня с божьим чудом и хуглом - вышло
Forwarded from Αλεχ Zhukovsky
Gist
chapt3.idr
GitHub Gist: instantly share code, notes, and snippets.