Lemmy.one
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
duncesplayed to Programming@beehaw.orgEnglish · 1 year ago

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

blog.lambdaclass.com

external-link
message-square
0
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

duncesplayed to Programming@beehaw.orgEnglish · 1 year ago
message-square
0
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.
alert-triangle
You must log in or # to comment.

Programming@beehaw.org

programming@beehaw.org

Subscribe from Remote Instance

Create a post
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: !programming@beehaw.org

All things programming and coding related. Subcommunity of Technology.


This community’s icon was made by Aaron Schneider, under the CC-BY-NC-SA 4.0 license.

Visibility: Public
globe

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

  • 1 user / day
  • 12 users / week
  • 23 users / month
  • 582 users / 6 months
  • 590 local subscribers
  • 13.6K subscribers
  • 351 Posts
  • 3.62K Comments
  • Modlog
  • mods:
  • alyaza [they/she]@beehaw.org
  • Hexorg@beehaw.org
  • Chris Remington@beehaw.org
  • BE: 0.19.7
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org