From my experience (and happy to be proven wrong here) its pretty rough to try to borrow individual ideas from rust. It's really delicately held together. As soon as you try to shave a corner the whole thing falls apart really fast, which is a bummer for improving other langs
-
-
-
Yeah, was the result of lots of iteration and experimentation. The way all the features interact can also make it tricky to teach too (although not impossibly so). But it's super powerful once you get your head around it!
End of conversation
New conversation -
-
-
I know I should know a bit about Rust, but I've always been overfaced by their learning/reference material. Do they ever give a succinct presentation of a stripped-down version of the type system?
-
The way Rust was developed was quite an experimental process, and it ended up with quite a monolithic type system at the end. Now that the dust as settled,
@aatxe,@nikomatsakis, and others are now trying to figure out a simpler core to it all. Eg.https://twitter.com/aatxe/status/1086999418858016769 …
- 2 more replies
New conversation -
-
-
Oh yes please! I know I'm not the only one whose dream language is the bastard offspring of Idris and Rust (it's come up on the Rust forums a few times before). How hard would it be to add explicit memory management to Blodwen's core language?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Really would like to see multiplicities (like in Blodwen) and uniqueness typing (like in Clean) and regions (like in Rust) working together in a dependently typed setting. Then add in unboxed data types too.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Yeah, definitely wasn't suggesting that Idris/Blodwen needed to tackle all this stuff (if it does that would be cool though!)
-
AFAIK (I could be wrong), uniqueness typing and regions require effects style stuff, which is currently kinda hard in dependent types. So might be a while before we see them in dependently typed langs. I'm hopeful somebody will write a paper someday that I can steal from though!
End of conversation
New conversation -
-
-
you could make blodwen support affine types if you can think of the syntax.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.