> The first part of your comment is unresponsive to mine; I interpreted OP's comment as complaining about the lack of more general abstractions in Rust that would allow you to implement async/await. Your comment…
> Monads as implemented in pure functional programming languages like Haskell cannot usefully abstract over asynchronous and synchronous IO in Rust for a variety of reasons having to do with the way the type system…
Not that I know of now. Here's the original RFC that became the RFC which got .onion recognized http://www.potaroo.net/ietf/idref/draft-grothoff-iesg-specia... They were trying to get .gns, .zkey, .onion, .exit, .i2p…
Also, they were originally trying to get several already-in-use psuedo-TLDs recognized including .onion, .i2p, .bit and .gns, but they had to compromise.
They recently got taken under the wing of Inria and have several people working on it full time.
https://gnunet.org/gns
I asked about this in /r/dependent_types yesterday. Apparently there's already a fair bit or research going on in this area. See the links: https://www.reddit.com/r/dependent_types/comments/49z1uc/usi...
> The first part of your comment is unresponsive to mine; I interpreted OP's comment as complaining about the lack of more general abstractions in Rust that would allow you to implement async/await. Your comment…
> Monads as implemented in pure functional programming languages like Haskell cannot usefully abstract over asynchronous and synchronous IO in Rust for a variety of reasons having to do with the way the type system…
Not that I know of now. Here's the original RFC that became the RFC which got .onion recognized http://www.potaroo.net/ietf/idref/draft-grothoff-iesg-specia... They were trying to get .gns, .zkey, .onion, .exit, .i2p…
Also, they were originally trying to get several already-in-use psuedo-TLDs recognized including .onion, .i2p, .bit and .gns, but they had to compromise.
They recently got taken under the wing of Inria and have several people working on it full time.
https://gnunet.org/gns
I asked about this in /r/dependent_types yesterday. Apparently there's already a fair bit or research going on in this area. See the links: https://www.reddit.com/r/dependent_types/comments/49z1uc/usi...