@@ -58,7 +58,7 @@ many important Scala libraries. The lack of first class syntax for literal types
58
58
authors to use the experimental Scala macro system to provide a means to express them. Whilst this
59
59
has proved to be extremely successful, it has poor ergonomics (although this can typically be hidden
60
60
from library _ users_ ) and is not portable -- because Scala macros in general and the mechanisms used
61
- to expose literal types to Scala programmes in particular depend on internal implementation details
61
+ to expose literal types to Scala programs in particular depend on internal implementation details
62
62
of the current Scala compiler.
63
63
64
64
The poor ergonomics of macro-based exposure of literal types was the original motivation for this
@@ -207,7 +207,7 @@ val book: Book =
207
207
208
208
shapeless enables generic programming and type class derivation by providing a mechanism for mapping
209
209
a value of a standard Scala algebraic data type onto a sum of products representation type,
210
- essentially nested labelled ` Either ` ' s of the records discussed above. Techniques of this sort are
210
+ essentially nested labelled ` Either ` s of the records discussed above. Techniques of this sort are
211
211
widely used, and removing the incidental complexity that comes with encoding via macros will improve
212
212
the experience for many users across a wide variety of domains.
213
213
@@ -448,7 +448,7 @@ applications which work with large datasets.
448
448
```
449
449
final val narrow = 23 // inferred type of narrow: 23
450
450
451
- class Widen
451
+ class Wide
452
452
object Narrow extends Wide
453
453
def id[ T] (t: T): T = t
454
454
id(Narrow) // result is Narrow: Narrow.type
0 commit comments