On 20/09/2010 4:25 AM, Peter Hull wrote:
I came across a new language called FunLoft*. Has anyone else seen it?
To me it looked quite a lot like rust both in its intent and its
syntax.
Hard to say precisely from the very sparse information provided, but I
can see it has a few similarities:
- Two-level scheduling model (well, in theory we're to be doing a 3rd
level -- OS-level processes -- to account for resource containment)
with mixed preempt/coop threading, enforced by type-and-effect
system.
- Interest in safety and resource management.
- Support for functional style.
That said, FunLoft appears to have a number of substantial differences:
- It is first-order only. Most of the constructs in Rust can't
be injected into that framework because there's no way to prove
most of the things they want to prove about their terms.
- Inter-coop-thread shared visibility; they're only concerned with
hard race prevention within a cooperative scheduler.
- Synchronous events for coordination; all the comprehensibility
issues of lock-based coordination, afaict.
- ML-style syntax, no apparent interest in accommodating people
coming from the C++/Java world, no support for unsafe actions.
- Perfectly willing to employ novel research in their resource proof
synthesis.
Rust is more focused on combining simple, safe variants of practical
abstractions we know our target audience will want: imperative code,
objects, native OS interfaces, buffered communication, iteration,
higher-order functions, task isolation, fault isolation.
-Graydon
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
