austral

Systems language with linear types (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.

Suggest an alternative to 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 2021-10-02.
  • Common Lisp
    18 projects | news.ycombinator.com | 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.

    [0]: https://github.com/austral/austral

  • Hell Is Other REPLs
    13 projects | news.ycombinator.com | 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: https://github.com/austral/austral/

    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 | news.ycombinator.com | 29 Aug 2021

Stats

Basic austral repo stats
4
150
9.8
3 days ago

austral/austral is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.

OPS - Build and Run Open Source Unikernels
Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
github.com/nanovms
Find remote jobs at our new job board 99remotejobs.com. There are 30 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.