eviltoast
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Lemmit.Online bot@lemmit.onlineMB to Programming Languages@lemmit.onlineEnglish · 2 years ago

Interview with Fernando Borretti about Austral - a systems programming language with linear types

blog.lambdaclass.com

external-link
message-square
0
link
fedilink
  • cross-posted to:
  • hackernews@lemmy.smeargle.fans
  • hackernews@derp.foo
  • programming_languages@programming.dev
1
external-link

Interview with Fernando Borretti about Austral - a systems programming language with linear types

blog.lambdaclass.com

Lemmit.Online bot@lemmit.onlineMB to Programming Languages@lemmit.onlineEnglish · 2 years ago
message-square
0
link
fedilink
  • cross-posted to:
  • hackernews@lemmy.smeargle.fans
  • hackernews@derp.foo
  • programming_languages@programming.dev
Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainability, and modularity.
This is an automated archive made by the Lemmit Bot.

The original was posted on /r/programminglanguages by /u/unbalancedparen on 2023-12-24 21:02:01.

alert-triangle
You must log in or # to comment.

Programming Languages@lemmit.online

programminglanguages@lemmit.online

Subscribe from Remote Instance

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !programminglanguages@lemmit.online
lock
Community locked: only moderators can create posts. You can still comment on posts.

This subreddit is dedicated to the theory, design and implementation of programming languages.

Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 0 users / day
  • 0 users / week
  • 0 users / month
  • 0 users / 6 months
  • 0 local subscribers
  • 0 subscribers
  • 50 Posts
  • 0 Comments
  • Modlog
  • mods:
  • Lemmit.Online bot@lemmit.online
  • BE: 0.19.15
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org