Forwarded from The Wacky Yellow Dog
tapir/rho/typed-schema + finch/http4s + IO/ZIO + doobie/quill, архитектурно - tagless final и т.п.
Forwarded from The Wacky Yellow Dog
Ну и я не называю раст плохим, он достаточно хорош, чтобы я сел на нём прод писать.
Вопрос в том, что трейдоффы в нём не подходят для тех приложений, где производительность не играет критичной роли
Вопрос в том, что трейдоффы в нём не подходят для тех приложений, где производительность не играет критичной роли
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.