Skip to content

Ch8 potential mixup of Apply and Applicative #184

Closed
Closed
Ch8 potential mixup of Apply and Applicative#184

Description

@ursi
ursi
opened on Jun 29, 2020

https://book.purescript.org/chapter8.html#monads-and-applicatives

It says

there is also an implementation of the Applicative type class which comes "for free" for any instance of Monad

and then proceeds to define an apply-like function called ap. But apply is defined for the Apply type class. The Applicative type class just introduces pure. Would this make more sense if Applicative was replaced with Apply?

Activity

  1. ursi
    changed the title [-]Ch 7 potential mixup of Apply and Applicative[/-] [+]Ch7 potential mixup of Apply and Applicative[/+] on Jun 29, 2020

  2. milesfrain commented on Jun 29, 2020

    @milesfrain
    milesfrain
    on Jun 29, 2020
    Member

    I agree that this looks like a typo. Thanks for the close reading and catching this.
    I'd approve a PR with the fix.

  3. ursi
    changed the title [-]Ch7 potential mixup of Apply and Applicative[/-] [+]Ch8 potential mixup of Apply and Applicative[/+] on Jun 29, 2020
  4. milesfrain
    closed this as completedon Jul 17, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions