Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fixed old copy/paste foldl typo in docs. #94

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Fixed old copy/paste foldl typo in docs. #94

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions hackett-doc/scribblings/hackett/reference.scrbl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -361,7 +361,7 @@ then @racket[name-id] is bound directly to the type alias.
(#:type n))

If @racket[param-id]s are specified, then uses of the type alias must supply as many arguments as
there are @racket[param-id]s. The arguments are supplied like those to a type constructor—i.e.
there are @racket[param-id]s. The arguments are supplied like those to a type constructor—i.e.
@racket[(name-id type-argument ...)]—and the resulting type is @racket[type-expr] with each
@racket[param-id] substituted with the corresponding @racket[type-argument].

Expand Down Expand Up @@ -840,9 +840,9 @@ the following expression:
@defproc[(foldl [f {b t:-> a t:-> b}] [acc b] [xs (t:List a)]) b]{

Reduces @racket[xs] to a single value using a left-associative binary operator, @racket[f], using
@racket[acc] as a “seed” element. Uses of @racket[foldr] can be thought of as a series of nested,
@racket[acc] as a “seed” element. Uses of @racket[foldl] can be thought of as a series of nested,
left-associative applications of @racket[f], so if @racket[xs] contains elements named @racket[_x0],
@racket[_x1], @racket[_x2] etc., up to @racket[_xn], then @racket[(foldr f acc xs)] is equivalent to
@racket[_x1], @racket[_x2] etc., up to @racket[_xn], then @racket[(foldl f acc xs)] is equivalent to
the following expression:

@(racketblock
Expand Down