Functional Programming in Rust

Functional Programming in Rust https://kerkour.com/rust-functional-programming 4 comments 6/6/2022 rust

Functional Programming in Rust https://kerkour.com/rust-functional-programming 7 comments 9/3/2022 rust

Type-Safe Graphics Programming with Functional Shaders in Rust https://leod.github.io/rust/gamedev/posh/2023/06/04/posh.html 12 comments 4/6/2023 programming

functional reactive programming in rust? https://crates.io/crates/carboxyl 2 comments 17/5/2022 rust

Why Rust, Or: A Trip Report from my Satori with Rust and Functional Programming https://christine.website/blog/why-rust-2020-02-15 6 comments 15/2/2020 rust

Functional Programming Jargon in Rust https://www.reddit.com/r/rust/comments/cdy6it/functional_programming_jargon_in_rust/ 7 comments 16/7/2019 rust

Would you learn functional programming via Rust if we had a strong FPL crate? https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=f85c2bb6c0c4ca718ca71842744e6476 34 comments 8/7/2019 rust

Functional Programming Jargon in Rust https://www.reddit.com/r/haskell/comments/cakgdj/functional_programming_jargon_in_rust/ 10 comments 8/7/2019 haskell

Outperforming Rust with Functional Programming http://blog.vmchale.com/article/fast-functional 90 comments 26/12/2017 rust

Lattice 3.0: Functional Programming in Rust https://medium.com/@andrew_subarctic/lattice-3-0-functional-programming-in-rust-a9dcc86e281a 7 comments 8/6/2017 rust

Thesis: Simple Verification of Rust Programs via Functional Purification https://users.rust-lang.org/t/thesis-simple-verification-of-rust-programs-via-functional-purification/9704 3 comments 28/2/2017 rust

Performance and Functional Programming with Rust (a talk about abstractions) https://www.youtube.com/watch?v=SvT3O6hF-PE 3 comments 18/7/2016 rust

Carboxyl: Functional Reactive Programming in Rust https://crates.io/crates/carboxyl 4 comments 17/1/2015 rust

Aeneas, a formal verification toolchain for translating Rust programs to functional models in a variety of proof assistants https://aeneasverif.github.io/ 6 comments 20/2/2025 rust

Prop v0.38: Functional programming - inside Rust's type system (experimental) https://docs.rs/prop/0.38.0/prop/fun/index.html 2 comments 31/12/2022 rust

Advices for learning metaprogramming and functional programming with Rust https://www.reddit.com/r/rust/comments/m2w1q4/advices_for_learning_metaprogramming_and/ 4 comments 11/3/2021 rust

I wrote an interpreted functional programming language in Rust https://www.reddit.com/r/rust/comments/l1cm6w/i_wrote_an_interpreted_functional_programming/ 13 comments 20/1/2021 rust

Pijama: A functional programming language written in Rust https://www.reddit.com/r/rust/comments/gckimp/pijama_a_functional_programming_language_written/ 20 comments 3/5/2020 rust

I have a real struggle with iterators and functional programming in Rust https://www.reddit.com/r/rust/comments/a3tahr/i_have_a_real_struggle_with_iterators_and/ 8 comments 6/12/2018 rust

GitHub - TeaEntityLab/fpRust: Monad, Functional Programming features for Rust https://github.com/teaentitylab/fprust 6 comments 13/7/2018 rust

Humble Book Bundle: Functional Programming includes a book about Rust https://www.humblebundle.com/books/functional-programming-books 28 comments 12/2/2018 rust

Tyrade: a pure functional language for type-level programming in Rust https://github.com/willcrichton/tyrade 13 comments 15/6/2020 rust

GitHub - Kha/electrolysis: Simple verification of Rust programs via functional purification https://github.com/kha/electrolysis 8 comments 21/7/2016 rust

A Bit of Functional Programming in Rust, or A Misguided First Look at Rust for ML Programmers http://andreiformiga.com/blog/?p=382 18 comments 28/10/2013 rust

Flix is a principled and opinionated functional programming language that takes inspiration from F#, Go, OCaml, Haskell, Rust, and Scala https://flix.github.io/#/ 39 comments 12/2/2019 programming