News for hackers. Stuff that matters.

A comment on Rust in 2018: easier to use. Parent comment

Re:Rust in 2018: easier to use by bjz_ on Sunday January 14, 2018 @09:37AM (#16144399)
> [1] I'd really like to see F# Computation Expressions instead of async/await. I know the language experts have said Haskell-like do notation doesn't work in Rust but I'm not sure if the F# tweaks would make it work or not.

I'd prefer a systems-y, zero-cost take on algebraic effects, similar to what OCaml is going to get. Could be much more extensible, and open things up to annotating whether functions panic or not, access global state, etc. Alas it's still a tricky research problem, even after all these years. There were some nice discussions from ICFP here - the comments strayed into talking about how effects might be implemented without a GC: https://www.youtube.com/watch?v=DNp3ifNpgPM

[ Parent | on HN ]
Re:Rust in 2018: easier to use by lobster_johnson on Sunday January 14, 2018 @02:37PM (#16145859)
Is there a paper or writeup anywhere on what the algebraic effects system coming to OCaml is going to be like? (Does it have a name that can be googled?)
[ Parent | on HN ]
Re:Rust in 2018: easier to use by grayrest on Sunday January 14, 2018 @02:54PM (#16145985)
It's part of the Multicore OCaml [1] effort.

[1] https://github.com/ocamllabs/ocaml-multicore/wiki

[ Parent | on HN ]