Skip to content

Commit 8da40a4

Browse files
Merge pull request #13772 from mzcu/patch-1
Update canthrow.md
2 parents 7e50e72 + 8f96443 commit 8da40a4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/docs/reference/experimental/canthrow.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ This assumes a type `A throws E` to indicate computations of type `A` that can t
5454

5555
But there is a way to avoid the ceremony. Instead of concentrating on possible _effects_ such as "this code might throw an exception", concentrate on _capabilities_ such as "this code needs the capability to throw an exception". From a standpoint of expressiveness this is quite similar. But capabilities can be expressed as parameters whereas traditionally effects are expressed as some addition to result values. It turns out that this can make a big difference!
5656

57-
## The CanThrow Cabability
57+
## The CanThrow Capability
5858

5959
In the _effects as capabilities_ model, an effect is expressed as an (implicit) parameter of a certain type. For exceptions we would expect parameters of type
6060
`CanThrow[E]` where `E` stands for the exception that can be thrown. Here is the definition of `CanThrow`:

0 commit comments

Comments
 (0)