Hacker News new | past | comments | ask | show | jobs | submit login

There's also linear types, where you only give things capable of closing a resource a type that consumes a linear type.

There's also monadic resources, which you can view as a combination of RAII and what the author calls higher order functions.

Finally there's also monadic regions (as distinct from resources), which take advantage of higher rank types.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact