2 ms·
Looking nice, I like the rationale. Some questions from my side: - 1. As far as I understand, there are multiple models for a linear type system. Which one do
by matu3ba 3y ago
Looking nice, I like the rationale.
Some questions from my side:
- 1. As far as I understand, there are multiple models for a linear type system. Which one does Austral implement? Is it verified to be correct?
- 2. Since there is a static checker: What are the limits on 1. expressivity and 2. scalability?
- 3. What is the intended memory model (pointer and synchronisation)?
- ot1138 3y agoI agree. I would also like to know what the performance implications of this language are. Specifically, having two or more CPUs accessing a single object sounds easy in theory, but in practice it is quite complex. My suspicion is that this language would be unusable for real time applications, which is ironically what it would be most useful for.