Source material for Algebra-Driven Design
Their approach might be to express their business logic as a carefully selected collection of types and laws, as described in Algebra-Driven Design (the full text is available on GitHub, please support the author if you find it useful though). I recommend this book to everyone because, even if you don't use this approach to design your programs, it's an excellent way to think about problems and better understand the problem space.
A fast, powerful type checker designed for Ruby
Ruby does have Sorbet too
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
Agda is a dependently typed programming language / interactive theorem prover.
At the most extreme level, you disappear into a meditative solitary retreat for a couple of years to seek enlightenment, and when you emerge you're no longer a programmer who writes programs, you're a theorist who proves theorems in Agda, and you have transcended above things that are tainted by the inherent evil of the material plane like "side effects" and "business needs" and "delivery timelines" and "could you stop doing that fancy math crap and just change the button's color like I asked for".
Protocol Buffer x JSON para serialização de dados
6 projects | dev.to | 13 Aug 2022
Lessons from Writing a Compiler
3 projects | reddit.com/r/ProgrammingLanguages | 16 Jul 2022
RoR course focused on API Development?
1 project | reddit.com/r/rubyonrails | 6 Jul 2022
Is it possible to create singleton types for datatype wrapping String/Text?
1 project | reddit.com/r/haskell | 6 Jul 2022
What's New in Python 3.11?
1 project | reddit.com/r/programming | 28 Jun 2022