Systems language with linear types and capability-based security. (by austral)

Austral Alternatives

Similar projects and alternatives to austral

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better austral alternative or higher similarity.

austral reviews and mentions

Posts with mentions or reviews of austral. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-01-14.
  • Borrow checker for Zig?
    5 projects | | 14 Jan 2023
    there are other languages simpler than rust which have similar functionality to the borrow checker. see e.g.
  • Embedded Systems Weekly #110
    4 projects | | 22 Jul 2022
    Lessons from Writing a Compiler The author of the Austral compiler shares what he learned while he wrote it. As he notes it himself at the beginning of the article, the reading is interesting because it focuses on some practical aspects rarely addressed in classical textbooks.
  • Lessons from Writing a Compiler
    2 projects | | 15 Jul 2022
    Integer arithmetic traps on overflow -- and that includes the often forgotten "divide by INT_MIN" case:

    You have to use a different set of operators to get modular arithmetic semantics. So, the choice is not a flag you flip at build time, but a choice of operators.

  • Common Lisp
    18 projects | | 2 Oct 2021
    I like Common Lisp but I no longer use it. I'm pretty much completely burned out on dynamic typing. It feels like building on sand. I want calmer programming, even if it's less powerful. At present I'm building a new language[0] with that goal in mind.


  • Hell Is Other REPLs
    13 projects | | 29 Aug 2021
    >Hell, I'd like it if a language could actually achieve linear types without holes or being completely unusable.

    I'm working on this:

    The idea is to start with a simple, easily understood linear type system and then add borrowing, but without going too far in the direction where the type checker becomes a tower of heuristics and conveniences so that programmers can write normal-seeming code which magically typechecks.

    So you can learn to write linear code from reading a set of rules rather than from trial-and-error against the linearity checker.

    13 projects | | 29 Aug 2021
  • A note from our sponsor - InfluxDB | 4 Feb 2023
    InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises. Learn more →


Basic austral repo stats
7 days ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives