Rust for functional programmers
Programming Languages
2014-07-23 v1
Authors:
Raphael Poss
Abstract
This article provides an introduction to Rust, a systems language by Mozilla, to programmers already familiar with Haskell, OCaml or other functional languages.
Keywords
Cite
@article{arxiv.1407.5670,
title = {Rust for functional programmers},
author = {Raphael Poss},
journal= {arXiv preprint arXiv:1407.5670},
year = {2014}
}
Comments
17 pages
Related papers
View all related →
Programming Languages · Computer Science
Rust: The Programming Language for Safety and Performance
William Bugden, Ayman Alahmar
2022-06-17
Programming Languages · Computer Science
Experience Report: Developing the Servo Web Browser Engine using Rust
Brian Anderson, Lars Bergstrom, David Herman, Josh Matthews +4
2015-05-28
Instrumentation and Methods for Astrophysics · Physics
What can the programming language Rust do for astrophysics?
Sergi Blanco-Cuaresma, Emeline Bolmont
2017-06-14
Software Engineering · Computer Science
Towards a Transpiler for C/C++ to Safer Rust
Dhiren Tripuramallu, Swapnil Singh, Shrirang Deshmukh, Srinivas Pinisetty +3
2024-01-17
Programming Languages · Computer Science
Is Rust C++-fast? Benchmarking System Languages on Everyday Routines
Nikolay Ivanov
2022-09-20
Programming Languages · Computer Science
RustyDL: A Program Logic for Rust
Daniel Drodt, Reiner Hähnle
2026-02-26
Software Engineering · Computer Science
Is Rust Used Safely by Software Developers?
Ana Nora Evans, Bradford Campbell, Mary Lou Soffa
2020-07-03
Software Engineering · Computer Science
Fixing Rust Compilation Errors using LLMs
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi
2023-08-11
Human-Computer Interaction · Computer Science
Identifying Barriers to Adoption for Rust through Online Discourse
Anna Zeng, Will Crichton
2019-01-07
Programming Languages · Computer Science
KRust: A Formal Executable Semantics of Rust
Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu +1
2018-05-01
Programming Languages · Computer Science
Surveying the Rust Verification Landscape
Alex Le Blanc, Patrick Lam
2024-10-04
Cryptography and Security · Computer Science
A Closer Look at the Security Risks in the Rust Ecosystem
Xiaoye Zheng, Zhiyuan Wan, Yun Zhang, Rui Chang +1
2023-08-30
Logic in Computer Science · Computer Science
Modular Formal Verification of Rust Programs with Unsafe Blocks
Nima Rahimi Foroushaani, Bart Jacobs
2022-12-27
Logic in Computer Science · Computer Science
Hardware/Software Co-Assurance using the Rust Programming Language and ACL2
David Hardin
2022-05-25
Mathematical Software · Computer Science
Rust-Bio - a fast and safe bioinformatics library
Johannes Köster
2015-10-08
Programming Languages · Computer Science
An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing
Shuanglong Kan, Zhe Chen, David Sanan, Shang-Wei Lin +1
2020-07-28
Programming Languages · Computer Science
Haskell for OCaml programmers
Raphael Poss
2014-07-22
Computational Physics · Physics
Rewrite it in Rust: A Computational Physics Case Study
Willow Veytsman, Shuang Zhai, Chen Ding, Adam B. Sefkow
2024-10-28
Programming Languages · Computer Science
Accelerating package expansion in Rust through development of a semantic versioning tool
Tomasz Nowak, Michał Staniewski, Mieszko Grodzicki, Bartosz Smolarczyk
2023-08-29
Software Engineering · Computer Science
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
Yubo Bai, Tapti Palit
2025-10-10
Cryptography and Security · Computer Science
Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
David Paaßen, Jens-Rene Giesen, Lucas Davi
2025-05-06
Cryptography and Security · Computer Science
Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)
Ayushi Sharma, Shashank Sharma, Santiago Torres-Arias, Aravind Machiry
2024-09-06
Programming Languages · Computer Science
Performance vs Programming Effort between Rust and C on Multicore Architectures: Case Study in N-Body
Manuel Costanzo, Enzo Rucci, Marcelo Naiouf, Armando De Giusti
2021-10-25
Programming Languages · Computer Science
Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software
Zeming Yu, Linhai Song, Yiying Zhang
2019-02-07
Software Engineering · Computer Science
Assessing the alignment between the information needs of developers and the documentation of programming languages: A case study on Rust
Filipe R. Cogo, Xin Xia, Ahmed E. Hassan
2022-10-11