Lemmy.one
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 1 year ago

Interview about Austral, a systems programming language with linear types

blog.lambdaclass.com

external-link
message-square
0
fedilink
  • cross-posted to:
  • hackernews@derp.foo
  • programming@beehaw.org
  • programming_languages@programming.dev
6
external-link

Interview about Austral, a systems programming language with linear types

blog.lambdaclass.com

bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 1 year ago
message-square
0
fedilink
  • cross-posted to:
  • hackernews@derp.foo
  • programming@beehaw.org
  • programming_languages@programming.dev
Interview with Fernando Borretti about Austral - a systems programming language with linear types
blog.lambdaclass.com
external-link
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.

HN Discussion

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

Hacker News@lemmy.smeargle.fans

hackernews@lemmy.smeargle.fans

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: !hackernews@lemmy.smeargle.fans
lock
Community locked: only moderators can create posts. You can still comment on posts.

A mirror of Hacker News’ best submissions.

Visibility: Public
globe

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

  • 14 users / day
  • 14 users / week
  • 29 users / month
  • 95 users / 6 months
  • 10 local subscribers
  • 2.17K subscribers
  • 14.1K Posts
  • 3.53K Comments
  • Modlog
  • mods:
  • bot@lemmy.smeargle.fans
  • BE: 0.19.7
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org