👋 Hi friends, my name is Tris. This channel focuses on fast technical videos about programming and formal methods.

💡 Formal methods are essential for critical systems like pacemakers and autopilots, as they require rigorous proof rather than just testing. However, they are expensive and slow down development.

🔍 After struggling to find formal methods in web development, I discovered Rust, which offers many features similar to formal methods, particularly functional purity.

📚 In my journey, I explored various languages:

• Scala - Advanced type system.
• Haskell - Best-in-class purity but complex.
• Clojure - Popular but lacks compile-time type system.
• Nim - Python-like but had garbage collection issues.
• Go - Practical but lacks elegance.
• Rust - Combines functional programming with practical features.

⚙️ Rust's functional programming features include pure functions, which are predictable and have no side effects. This allows for easier debugging and parallelization.

🛠️ Const functions in Rust can be executed at compile time, providing benefits similar to pure functions. They have limitations, such as no mutable references or I/O operations.

🔄 Rust promotes side effect-free patterns and functional programming, making it practical without sacrificing performance.

🌟 In conclusion, while Rust does not have a single purity system, it offers a practical approach to managing side effects and functional programming.

🙏 Thank you for watching! If you want to support my channel, check out my Patreon for early access and mentoring opportunities.