andre

andre

Effective Haskell:Typos (B9 - PDF version) - Chapter 9 to 15

@RebeccaSkinner

Thanks you for this beautiful book.

Chapter 8 - p.317 3rd paragraph from the bottom

If you build your application and run it now you’ll see how you can combine
a procedural shell with a functional core to combine pure functions like

should read

If you build your application and run it now you’ll see how you can combine
a procedural shell with a functional core to create pure functions like

Chapter 8 - p.324 Second paragraph

to write imperative style blocks of called call “do

should read

to write imperative style blocks called “do
(removed “of” and “call”)

Chapter 9 - p.335 (3 typos)

-First paragraph, last sentence

IO is a great introduction to these type classes, that are many other ways that
Functor and Monad are useful that haven nothing to do with side effects or IO.

should read

IO is a great introduction to these type classes, there are many other ways that
Functor and Monad are useful that have nothing to do with side effects or IO.

-Last paragraph

A Functor is a simple typeclass that has just two functions, fmap and <$. As
you’ll see, Functor throughout the rest of this book, Functor instances are

should read

A Functor is a simple typeclass that has just two functions, fmap and <$. As
you’ll see* throughout* the rest of this book, Functor instances are
(removed “, Functor”)

Chapter 9 - p.353 (2 typos) 2 comments in the code section

– Print it out so we know what we’re staritng out

should read

– Print it out so we know what we’re starting out

– (>>= id) will concatonate elements of a list

should read

– (>>= id) will concatenate elements of a list

Chapter 9 - p.355 Second paragraph

Both our Maybe and Listimplementations satisfied

should read

Both our Maybe and List implementations satisfied

Chapter 9 - p.357 In the middle of the page

in the real world. The return function crates a blank slate

should read

in the real world. The return function creates a blank slate

Chapter 10 - p.367 (2 typos)

-First paragraph, last sentence

avoid immutability by default, but in some cases you’ll find that
considered use of mutability can improve your program.s

should read

avoid mutability by default, but in some cases you’ll find that
considered use of mutability can improve your programs.

Chapter 10 - p.387 Second paragraph

Calculating the histogram should be a fairly time-consuming operation

should read

Calculating the histogram should not be a time-consuming operation
(added “not” and removed “fairly”)
or
Calculating the histogram should fairly be time-consuming operation

Chapter 10 - p.395 Last paragraph

doesn’t change typically have much of a performance impact since the same

should read

doesn’t typically have much of a performance impact since the same
(removed “change”)

Chapter 10 - p.396 In the diagram, the top right

Type: Value Consturctor

should read

Type: Value Constructor

Chapter 10 - p.399 First paragraph

offer strict versions that will reduce on of their arguments to weak

should read

offer strict versions that will reduce their arguments to weak
(removed “on of”)

Chapter 11 - p.410 Second paragraph

The next incremental stap that we could take to

should read

The next incremental step that we could take to

Chapter 11 - p.421 First sentence

The problem is that we’ve told the compiler two do the same thing

should read

The problem is that we’ve told the compiler to do the same thing

Chapter 11 - p.424 In the paragraph above the section “Existential Types”

written before imperdicative types were added,

should read

written before impredicative types were added,

Chapter 11 - p.425 Last paragraph

That’s quite an error message. The internet is about with questions about

should read

That’s quite an error message. The internet is rich of questions about

Chapter 11 - p.430 First paragraph

since neither modifyClassValue norcombineClassValues ever

should read

since neither modifyClassValue *nor * combineClassValues ever

Chapter 12 - p.448 Second to last paragraph

we’re inserting a pure value into the parser, and which means that we

should read

we’re inserting a pure value into the parser, which means that we
(removed “and”)

Chapter 12 - p.465 Last paragraph

how to parse the rest of the document. The other less on to

should read

how to parse the rest of the document. The other lesson to

Chapter 13 - p.469 - Second paragraph, first sentence

Moand transformers give us a better way forward

should read

Monad transformers give us a better way forward

Chapter 13 - p.481 - Last paragraph

ExceptT has simplified our how we can handle the expected

should read

ExceptT has simplified how we can handle the expected
(removed “our”)

Chapter 13 - p.491 - paragraph above the section title “Creating an archiver”

Two of the archive files, example1.txt and example2.txt, are imported the local
filesystem

should read

Two of the archive files, example1.txt and example2.txt, are imported from the local
filesystem

Chapter 13 - p.497 - paragraph under the section title “Tranforming Monads with Class”

Let’s take another look parseChar from our

should read

Let’s take another look at parseChar from our

Chapter 14 - p.536 The code at the bottom of the page

stillValid =
runSafeIO (safeAction “hello”) + runSafeIO (safeAction “hello”)

should read

stillValid =
runSafeIO (stillSafe “hello”) + runSafeIO (stillSafe “hello”)

Chapter 14 - p.537 Second paragraph

updateRefWithCount directly with a SafeRef then we’ll still break referential trans-

should read

updateRefWithCount directly with a SafeRef then we’ll break referential trans-
(removed “still”)

Chapter 14 - p.549 In the info box

INLINE pragma is a strong suggesting to the compiler that it should

should read

INLINE pragma is a strong suggestion to the compiler that it should

Chapter 15 - p.557 Second to last paragraph, very first sentence

The Type kind appears so often because in our earlier examples because it’s

should read

The Type kind appears so often in our earlier examples because it’s
(removed the first “because”)

Chapter 15 - p.561 Last paragraph, very first sentence

In this example you can see that with DataKindsenabled,

should read

In this example you can see that with DataKinds enabled,

Chapter 15 - p.578 (2 typos) Both in the last paragraph

, there different “varieties” of type family that we’ll look at.

should read

, there are different “varieties” of type family that we’ll look at.

, which let us associated a type family with a particular type class

should read

, which let us associate a type family with a particular type class

Chapter 15 - p.578 (2 typos)

-In the paragraph, mid-page

we’ll get an error. Instead, something unexpcted happens:

should read

we’ll get an error. Instead, something unexpected happens:

-In the second to last paragraph

One way that we can get a more through test of our type level code

should read

One way that we can get a more thorough test of our type level code

Chapter 15 - p.604 Under the section “Type Classes: Functions From Types to Terms”, first paragraph

we’ve built up with GADTs and genreating new term level values

should read

we’ve built up with GADTs and generating new term level values

First Post!

andre

andre

Two more typos in Chapter 12.

p. 457 - at the very bottom of the page

{-# MINIMAL , (<|>) #-}

should read

{-# MINIMAL empty, (<|>) #-}

This is stated to be the case in the documentation text.

However, when you look at the definition of the Applicative typeclass, searching for MINIMAL, you don’t find such a pragma for this typeclass. Did I miss something ?

p.466 - Line just above the type signature parseError :: String → FilePackParser a

One option here would be to factor our the error handing into it’s own function

should read

One option here would be to factor our the error handling into it’s own function

Where Next?

Popular Pragmatic Bookshelf topics Top

abtin
page 20: … protoc command… I had to additionally run the following go get commands in order to be able to compile protobuf code using go...
New
johnp
Running the examples in chapter 5 c under pytest 5.4.1 causes an AttributeError: ‘module’ object has no attribute ‘config’. In particula...
New
jamis
The following is cross-posted from the original Ray Tracer Challenge forum, from a post by garfieldnate. I’m cross-posting it so that the...
New
Chrichton
Dear Sophie. I tried to do the “Authorization” exercise and have two questions: When trying to plug in an email-service, I found the ...
New
swlaschin
The book has the same “Problem space/Solution space” diagram on page 18 as is on page 17. The correct Problem/Solution space diagrams ar...
New
leonW
I ran this command after installing the sample application: $ cards add do something --owner Brian And got a file not found error: Fil...
New
AndyDavis3416
@noelrappin Running the webpack dev server, I receive the following warning: ERROR in tsconfig.json TS18003: No inputs were found in c...
New
jskubick
I think I might have found a problem involving SwitchCompat, thumbTint, and trackTint. As entered, the SwitchCompat changes color to hol...
New
brunogirin
When running tox for the first time, I got the following error: ERROR: InterpreterNotFound: python3.10 I realised that I was running ...
New
akraut
The markup used to display the uploaded image results in a Phoenix.LiveView.HTMLTokenizer.ParseError error. lib/pento_web/live/product_l...
New

Other popular topics Top

DevotionGeo
I know that these benchmarks might not be the exact picture of real-world scenario, but still I expect a Rust web framework performing a ...
New
New
Rainer
My first contact with Erlang was about 2 years ago when I used RabbitMQ, which is written in Erlang, for my job. This made me curious and...
New
PragmaticBookshelf
“Finding the Boundaries” Hero’s Journey with Noel Rappin @noelrappin Even when you’re ultimately right about what the future ho...
New
PragmaticBookshelf
“A Mystical Experience” Hero’s Journey with Paolo Perrotta @nusco Ever wonder how authoring books compares to writing articles?...
New
PragmaticBookshelf
Build highly interactive applications without ever leaving Elixir, the way the experts do. Let LiveView take care of performance, scalabi...
New
PragmaticBookshelf
Author Spotlight James Stanier @jstanier James Stanier, author of Effective Remote Work , discusses how to rethink the office as we e...
New
CommunityNews
A Brief Review of the Minisforum V3 AMD Tablet. Update: I have created an awesome-minisforum-v3 GitHub repository to list information fo...
New
AstonJ
This is a very quick guide, you just need to: Download LM Studio: https://lmstudio.ai/ Click on search Type DeepSeek, then select the o...
New
AstonJ
Curious what kind of results others are getting, I think actually prefer the 7B model to the 32B model, not only is it faster but the qua...
New

Sub Categories: