On: Revisiting the spectacular failure that was the Bi...

[bawolff]

But to what extent was it available in a polished package?

For example, everything in rust was available in other languages, i would still say it was innovative because it brought all that together into a polished package that made the right tradeoffs for mainstream usage.

[dependenttypes → bawolff]

> But to what extent was it available in a polished package?

To a large extent. Both Smalltalk and Erlang were mature at that point in time.

> everything in rust was available in other languages

I am not doubting you but are you aware of any other language with affine types? I am not.

[gok → bawolff]

Java? Polished?