From d929d83eec0f5448133209698d96730e2c122ba8 Mon Sep 17 00:00:00 2001 From: Steve Klabnik Date: Fri, 5 Sep 2014 06:38:53 -0400 Subject: [PATCH] don't say compromise @dherman doesn't like it :smile: --- src/doc/guide.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/guide.md b/src/doc/guide.md index e5554e69998..bc84f990bce 100644 --- a/src/doc/guide.md +++ b/src/doc/guide.md @@ -765,7 +765,7 @@ This is a deliberate design decision. While full-program inference is possible, languages which have it, like Haskell, often suggest that documenting your types explicitly is a best-practice. We agree that forcing functions to declare types while allowing for inference inside of function bodies is a wonderful -compromise between full inference and no inference. +sweet spot between full inference and no inference. What about returning a value? Here's a function that adds one to an integer: