The Bookmarks

119 readers

1 users here now

Inspiring things you wish to share or come back to.

founded 2 years ago

MODERATORS

[email protected]

Introducing Austral: A Systems Language with Linear Types and Capabilities (borretti.me)

submitted 2 years ago by [email protected] to c/[email protected]

0 comments fedilink hide all child comments

A simple, yet impressive idea of how to solve important problems in programming language design. Austral compiler emits C, and you know what that means.

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here