The Bastion of the Turbofish

https://github.com/rust-lang/rust/blob/master/src/test/ui/bastion-of-the-turbofish.rs

by ibraheemdev • 6 years ago

6 7 6 years ago

maxroverts• 6 years ago

Is it really that hard to parse generics without a 'turbofish'? Coming from Scala and Haskell something like:

Into::<String>::into()

Just really irks me. It is much less elegant than I am used to. Do experienced Rust developers actually like the style, or is it just complex to parse?

mickallen• 6 years ago

I personally have no issue with it. Because Rust's type inference is so good, you don't generally even have to specify generic type parameters for method calls. It is more verbose and perhaps you could say less elegant, but I think it better expresses the concept.

steveklabnik• 6 years ago

You need it very rarely, so it’s just really a non-issue. Like, you don’t even have to use it in many cases where you could. For example, this case doesn’t have to use the turbo fish.

I don’t think the turbo fish is particularly good looking, but it is better than the alternatives, and something I rarely even need to see, let alone write.

rbanfyy• 6 years ago

Rust is the most unreadable language that I've tried. I really wanted to like it but everything is just so ugly and unnecessarily complicated. The turbofish reflects that.

ibraheemdev• 6 years ago

Could you expand on this? I have heard many people say Rust is 'ugly', but I personally have no issue with it.

fransiscoli• 6 years ago

I think lifetimes are the part of Rust that people see as ugly. I recently wrote the following lines of code:

  struct Parser<'a, 'b, T> {
      value: &'a [T],
      inner: InnerParser<'a, 'b>
  }

  impl<'a, 'b, T> for Parser<'a, 'b, T> {
      fn parse<T: Into<String>>(value: T) -> &'static str {
          ...
      }
  }

and the equivalent code in Scala:

  class Parser[T] {
    var value: List[A] = Nil
    var inner: InnerParser = Nil

    def parse(value: String): String = ...
  }

of course, those programs are not semantically equivalent, but you can clearly see that the Scala version is the more elegant of the two. I can't think of any other way that you could syntactically express lifetimes, but I can see why people would see Rust as ugly.

The Bastion of the Turbofish

Related Stories