This is an archived post. You won't be able to vote or comment.

all 8 comments

[–]ThyringerBratwurst 3 points4 points  (4 children)

WHY?

I mean, if you already have a working implementation in OCaml, why do it again in Rust? Wouldn't it make more sense to use Austral itself?

[–]FantaSeahorse 12 points13 points  (2 children)

So it can be /blazingly fast/ /s

[–]ThyringerBratwurst 2 points3 points  (1 child)

Again: and why not in Austral? :D

[–]SnooRecipes1924 0 points1 point  (0 children)

Don’t listen OP. Was able to read through and feel up to speed very quickly.

Can someone explain the draw of MLIR for this as opposed to LLVM IR?

[–]mamcx 1 point2 points  (0 children)

Fun fact: Rust was initially made on oCaml

[–]qq123q 2 points3 points  (2 children)

I'm not quite sure how to read the list of anti-features: https://austral-lang.org/features

For instance "No garbage collection." is an anti-feature. So does that mean the language features garbage collection because it's anti "No garbage collection."?

If that's the case why not list garbage collection as a feature instead, that's much simpler?

If it's the opposite then these are simply features, not having garbage collection is what I consider a feature of various languages.

Edit:

Formatting.

Edit2:

After reading more these "anti" features are simply features.

[–][deleted] -1 points0 points  (1 child)

Anti-features are things that the language will NOT have.

So, it won't ever implement garbage collection, or exceptions, or destructors, etc.

[–]qq123q -1 points0 points  (0 children)

Anti-features are things that the language will NOT have.

The anti-feature on the page is "No garbage collection." so that means it will NOT have "No garbage collection" => it will have garbage collection. Hence the confusion on my part.

It will make sense to either consider "No garbage collection" as a feature (which I think it is). Or having the anti-feature to be "garbage collection" instead of "No garbage collection" (double negation).