gigiigig / blog Goto Github PK

In 75th line of md file of "Abstract Types" article there is a typo.
"type Result[T] = Either[Sring, T]" should be "type Result[T] = Either[String, T]"

In Phantom Types post, 1st paragraph:

We have seen before how using Dependent Types we can do some really basic computations, however to do something actually useful we need more that that, …

In Implicit Resolutions, 3rd paragraph from the bottom:

Le us see what happens when we call…

In Implicitly and Type Equality:

Before proceeding you need to now how to use…

// I'd open a PR with fixes, but for some reason it feels a bit weird (rude?) to propose edits to someone else's blog without even asking first.

Enjoyed the series, thanks for sharing! Hope you'll continue at some point (no pressure though :)