• John@mastodon.social
    link
    fedilink
    arrow-up
    1
    ·
    7 months ago

    @Windex007
    > You as the writer, you don’t know either?
    Not until the compiler tells me.

    > Or is the argument that nobody but the compiler and god need know? That having an awareness of the types has no value?
    No, I want to know, because knowing the types has value. If the compiler has inference, it can tell me, if not, it can’t.

    • Windex007@lemmy.world
      link
      fedilink
      arrow-up
      1
      ·
      7 months ago

      I recognize that truly functional languages are their own beasts, with tons of amazing features provided by a ton of academic backing.

      I will absolutely concede that I can’t speak to them with a shred of competence. I don’t know about the trade-offs and relative value propositions for pretty much anything in that space, let alone specifically w/ explicit typing.