The Author Online Book Forums are Moving

The Author Online Book Forums will soon redirect to Manning's liveBook and liveVideo. All book forum content will migrate to liveBook's discussion forum and all video forum content will migrate to liveVideo. Log in to liveBook or liveVideo with your Manning credentials to join the discussion!

Thank you for your engagement in the AoF over the years! We look forward to offering you a more enhanced forum experience.

Topic Answers Author Views
Errata in Type-Driven Development with Idris 30 Susan Harkins 3543
How revelant to Idris 2 (Blodwen)? 2 Richard Cook 177
The Book examples vs Haskell 0 Robert Peszek 404
Cost of myReverse from 10.2.2 0 Robert Peszek 124
The final epub version of the book is set worse than MEAPv13 3 456581 806
Example from Listing 3.3 not working 0 441078 368
9.2: Hangman's MkWordState too permissive 1 jmitchell 352
Understanding 'Finished' Data Type from Ch 9 1 kmeredith 444
Listing 6.8 | unexplained "case" expression 1 jreut 431
Listing 6.8 printf handling of lone % 0 Adam Gashlin 304
Section 11.2.2 - Is run already total? 0 Micah 318
Newbie help, emacs mode, error 53? 0 461339 376
String -> Nat 5 kmeredith 1117
Typo in Listing 7.6 0 Alex Gryzlov 495
Implicit arguments for TakeN view 6 Gleb Alexeyev 3283
Section 10.3.3, defining filterKeys function, step 4, case-split produce "impossible" case 0 Ilya Yanok 428
Stacktrace in Atom w. idris-language when pressing alt+crtl+a 1 Hargreaves 575
Section 9.1.3 steps 6-7 are a bit misleading 0 Ilya Yanok 377
Ex 8.3.1 Unneeded constraints 0 Ilya Yanok 361
Chapter 2 Exercise 7 3 Ozan Erdem 972
minor correction in section 13.1.1 (page 354) 0 maczniak 418
Ex.10.3.4: Error 'b is not an accessible pattern variable' when using a view for abstract data type 2 Gleb Alexeyev 502
minor correction in section 5.1.1 (page 149) 1 maczniak 439
V13 P280 fonts 0 zilinc 381
Typo on page 90 of the PDF 0 Calvin Beck 453
Syntax Highlighting! 0 409290 521
The scope and depth of this book 2 zilinc 819
Implicit Argument in 6.3.4 0 Gilbert 446
Behaviour change for Force/Delay in Idris 0.99? (Section 11.1.4, MEAP v13) 1 371392 561
Question about exercise 2, section 10.3.4 1 45417 548
Type variable name changes in section 11.1.4 (MEAP v13) 0 371392 435
Section 13.1.1, Listing 13.1, page 434 (V13) 0 434569 453
Section 12.3.3, Listing 12.23 and 12.24 (V13) 0 434569 380
interfaces and implementations (chapter 7) 0 Allan J Cooper 488
record declaration 0 Allan J Cooper 387
Tuple flattening 2 xoltar 696
SIDEBAR Colors in the REPL 0 Allan J Cooper 356
Page 122: Question regarding the "Asserting that inputs are impossible" section 1 392661 494
Possible typo in section 8.6.2 (v13) 1 371392 513
Section 5.1 "IO in Haskell and Idris" 1 Sgeo 595
Error with skeleton code for exercise 8.2.6.2 1 371392 524
Section 15.1.2, p 499 in version 13, Listing 15.1, spawn does not return Maybe PID 2 419593 623
Section 10.3.4, p 322 in version 12, The provides solution raises questions. 2 419593 594
Section 11.3.4, p362 in version 12, No solutions to exercises 2 and 3 source zip file. 0 419593 416
Version 12. non-existing section (11.44.*) referenced. 0 419593 414
Section 11.3.4, p362 in version 12, unable to find referenced section 11.46.2 0 419593 391
Section 11.1.7, p341 in version 12, Typo. 0 419593 366
Section 10.3.2, p 318 in version 12, listing shows 2 function I.s.o three. 0 419593 411
Section 10.2.4, p 312 in version 12, typo in “NOTE: The Lazy Generic Type” 0 419593 434
Section 10.2.2, p 309 in version 12, “Snoc rec” applied to too many argument 0 419593 446
Version 12. non-existing section (7.30.2) referenced. 0 419593 430
Section 6.3.7, p 202 in version 12, (Just x) next = Just (next x) 0 419593 404
Section 6.3.5, p 194 in version 12, mention that parseBySchema must not inlcude schema 1 419593 441
Section 6.1.3, p 173 in version 12, typo underscode 0 419593 402
Section 4.3.1, p 127 in version 12, Listing 4.16 pattern can’t match addToStore items 0 419593 498
Section 3.3.3, p 88 in version 12, exercise 3 is referencing non-excising section 3.14.1 0 419593 398
Section 9.1 1 Marc Petit-Huguenin 483
Chapter 15 Type-Safe Concurrent Programming 0 Hans-J. Schmid 460
Listing 5.7: The "usleep 1000000" call is a no-op on (at least) Windows x64 0 196641 464
Vending machine 1 283442 492
Update v12 0 Hans-J. Schmid 468
Chapter 12 - Monad Transformers 1 Hans-J. Schmid 577
Outlook/Overview 1 Hans-J. Schmid 504
10.1.5 Example: Merge Sort 2 Hans-J. Schmid 590
Exercise 10.3.4.2. patterns (MEAP v10) 2 Eric B 685
8.1.6 Must the = type be built-in? 5 steshaw 1005
Listing 10.1 ListLast 4 steshaw 758
7.3.2 calculation via foldl 1 steshaw 536
chapter 9, section 9.2.4, p 286 (book version 10), typo in the note "Types as Abstract State" 1 Andreas Reuleaux 497
chapter 8, section 8.1.3 (Testing Equality of NatS), page 248 (book version 10): eq, not rec_eq 1 Andreas Reuleaux 555
Ex 8.2.6.1 my_plusCommutes 5 steshaw 688
Exercise 9.1.6.2 — stuck on isLast 0 steshaw 553
7.3.2 Foldable implementation 0 steshaw 433
chapter 7, beginning of section 7.1.3, p 212 (book version 9) 1 Andreas Reuleaux 505
cong 1 xoltar 578
listing 4.19 in chapter 4, p 135 (book version 9) 1 Andreas Reuleaux 454
general remark: IO examples seen so far at the end of chapter 6 (book v 9) 1 Andreas Reuleaux 517
chapter 5 (page numbers for version 9) 1 Andreas Reuleaux 503
chapter 3, section 3.2.1, p 75 in version 9, on the top: (x::xs) / (word:words) 1 Andreas Reuleaux 450
surprising behavior in listing 2.1 1 207527 550
Type Provider 1 Hans-J. Schmid 588
Position of cursor is important when using 'ctrl-alt-a' 1 bobgus 640
"can we be more.." should perhaps be: "we can be more.." 1 bobgus 562
Ambiguous length/s in caption of Fig 3.2 0 bobgus 404
Need a bit more detail on using Vim and Atom as enhanced editors for Idris 6 bobgus 923
2.2.1 `double x = x * 2` Expression Substitution Explanation is Wrong 3 372148 770
Ex 10.1.6 2 iv 614
9.1.3 Misleading instruction? 1 Hugues Chabot 620
Error in Chapter 3 wordlen_vec.idr 0 413346 461
Listing 4.15 9 286919 1794
9.1.6 exercise crucial error! 1 389710 607
warning about using refinement features while executing program in REPL 0 MichelNielsen 659
6.1.3 Sidebar Totality and Type Level Functions 1 Andre Dublin 629
Version 7 remarks 1 578
Errata: double x = x * x 1 339765 550
Typo page 179 v6 0 Andre Dublin 566
Corrupt PDF? 0 249055 461
Dependent Types and Compile Time Types 2 Adi Shavit 936
Items function in 6.3.2 1 3354 611
Listing 1.5 missing type definition for Machine (pdf ver 06 page 24) 0 392101 555