this post was submitted on 29 Jul 2023
13 points (100.0% liked)

Rust

5960 readers
9 users here now

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Wormhole

!performance@programming.dev

Credits

  • The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

founded 1 year ago
MODERATORS
 

Hello! I'm a 3rd year CS student, and next semester I'd like to write a research paper (it'd be my first) related to rust, static analysis or programming languages, or even all of them to some degree. Something about functional programming would work as well.

Any ideas of something interesting that I could research and write about?

top 3 comments
sorted by: hot top controversial new old
[–] kornel@lemmyrs.org 2 points 1 year ago

I’d love static analysis that finds which functions may panic, which are guaranteed not to. On a related note, it’d be nice to be able to hoist panics out of loops and coalesce multiple consecutive assertions into one (llvm can’t do it, because partially done work is a side effect).

[–] alienscience@programming.dev 1 points 1 year ago* (last edited 1 year ago)

I don't know if it is ideal for a research paper, but we have been using semgrep with Rust. Semgrep allows you to write your own linter rules to enforce code standards. I have found some basic rules on the internet (e.g no unwrap()) but we have mostly had to write our own rules because there are only a few for Rust.

I think it would be a helpful project to write a Semgrep rule set that Rust developers could use. Maybe the "research" part would be looking at rulesets for other languages.

[–] hairyballs@programming.dev 1 points 1 year ago* (last edited 1 year ago)

Sorry for the late answer. Those days, I'm interested in Ante. The language creator has some novel ideas for a non-GC memory safe language. And the compiler is written in Rust. It's not finished at all tho.