Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Sean

@olsonseank@hachyderm.io
mastodon 4.7.3
  • Open on hachyderm.io

I'm a programmer who loves Rust. I'm a dancer and play traditional Irish music. I'm an "urbanist" and love bicycles and public transit. I enjoy woodworking and machining and I'm learning to make Irish flutes and pennywhistles.

0 Followers
0 Following
4 Posts
Joined November 16, 2022
GitHub:
https://github.com/olson-sean-k
Pronouns:
he/him
Open post
Sean @olsonseank@hachyderm.io
· 5mo ago
Replying to
@blp Ah. Such functions have legitimate uses, so perhaps the compiler team didn't feel that this met the bar for warnings. There is a lint for this though! https://rust-lang.github.io/rust-clippy/stable/index.html?search=extra_unused_type_parameters
rust-lang.github.io
2
1
0
0
Open post
Sean @olsonseank@hachyderm.io
· 19mo ago

A rainy but happy new bike day! I rode my Brompton to pick up a Tern HSD from the shop. It hauled everything back effortlessly, even through our hilly and steep Phinney Ridge neighborhood.

#bicycle #brompton #tern #seattle #nbd

hachyderm.io

Hachyderm.io

3
0
0
0
Open post
Sean @olsonseank@hachyderm.io
· 19mo ago

I find that in #rustlang and elsewhere I sometimes really need a one-or-more representation (rather than zero-or-more). There are a number of crates that provide non-empty collections for this, but I've always found one thing or another missing.

There's still a lot to do (including API documentation), but I think I'm happy with the overall shape of my crate: Mitsein. AFAICT, it's one of the most comprehensive crates that attempts to tackle this problem. Feedback, issues, and PRs are welcome!

https://crates.io/crates/mitsein

hachyderm.io

Hachyderm.io

1
0
0
0
Open post
Sean @olsonseank@hachyderm.io
· 5mo ago
Replying to

@blp I believe this mostly comes down to variance and drop checking. Rust infers variance and "dropck" based on the usage of T in data structures. This doesn't apply to fns, since they cannot interact with or "store" T directly but only via parameters.

See https://doc.rust-lang.org/nomicon/subtyping.html

doc.rust-lang.org

Subtyping and Variance - The Rustonomicon

The Dark Arts of Advanced and Unsafe Rust Programming

0
4
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 04:55:14 UTC