Hacker GitHub

← All repos

Munksgaard/session-types

View on GitHub ↗ ★ 580 Rust

5 mentions on Hacker News by 5 people: 1 story, 4 comments · first 2019-03-03 · latest 2021-12-03

Mentions per year 5 mentions · busiest year 2019 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …there is research about session types and verification. Here is a Rust library for session types: https://github.com/Munksgaard/session-types I believe both have some overlap.
    comment by Klasiaster · 2021-12-03 · in Rusty Typestates – Starting Out
  2. …You can avoid the overhead without transmute, but it's still unsafe and not easily explained: https://github.com/Munksgaard/session-types/commit/3a310d205...
    comment by wcrichton · 2020-10-05 · in Type-Level Programming in Rust
  3. …as the post itself also was updated to say, you don't need const generics to support this pattern: https://github.com/Munksgaard/session-types , http://munksgaard.me/papers/laumann-munksgaard-larsen.pdf
    comment by Munksgaard · 2019-11-01 · in Typestates in Rust (2018)
  4. https://github.com/Munksgaard/session-types
    comment by nixpulvis · 2019-10-31 · in Typestates in Rust (2018)
  5. ▲ 232
    Session Types for Rust
    story by adamnemecek · 2019-03-03 · 49 comments