Browse files

core.typed: Java doesn't allow stupid casts, it's irrelevant anyway.

Reword the motivation for adding types to Clojure, after ditching them
from Java.
  • Loading branch information...
1 parent 11a96e2 commit 31df5580bfeb6e109ad2dfb4ad7adb9fe6610981 @frenchy64 frenchy64 committed Mar 22, 2013
Showing with 3 additions and 3 deletions.
  1. +3 −3 articles/ecosystem/core_typed/start/
6 articles/ecosystem/core_typed/start/
@@ -8,9 +8,9 @@ can help you verify your programs as correct, read on.
## "I use Clojure to avoid types!"
-Many of us move to Clojure as relief from Java and all its problems.
-Java's verbosity, redundant type annotations and "stupid" casts
-are often unfairly attributed to shortcomings of static types.
+Many programmers use Clojure as relief from popular typed languages such as Java or C#.
+Java's verbosity and redundant type annotations help make the move to Clojure feel liberating
+and enjoyable: so why go back to types?
core.typed has a different story to tell:
- type checking is optional

0 comments on commit 31df558

Please sign in to comment.