top | item 27639417 (no title) jpcooper | 4 years ago Uniqueness types are a way to get around monads. discuss order hn newest wyager|4 years ago Linear types let you safely do effect sequencing/mutation without monads, but I don’t think it extends much beyond that.
wyager|4 years ago Linear types let you safely do effect sequencing/mutation without monads, but I don’t think it extends much beyond that.
wyager|4 years ago