Differences between version 17 and previous revision of ML.
Other diffs: Previous Major Revision, Previous Author, or view the Annotated Edit History
| Newer page: | version 17 | Last edited on Monday, February 24, 2003 4:16:44 pm | by GlynWebster | Revert |
| Older page: | version 16 | Last edited on Monday, February 24, 2003 3:22:18 pm | by GlynWebster | Revert |
@@ -128,11 +128,11 @@
The type system means that even when I just sit down and hack, I get good quality code.
* I can leave out type definitions. This lets me program in the succinct, flexible way I can in [Python], without the let-down of having all my type errors pop up a runtime.
-* The type system is very expressive. It encourages a style of programming where you
think about your
data, what it consists of and how you
will transform it. Programs designed by type tend to be very modular,
they almost have to be by definition.
+* The type system is very expressive. It encourages a style of programming where I
think about my
data, what it consists of and how I
will transform it. Programs designed by type tend to be very modular --
they almost have to be by definition.
-* The type system is very exact. It allowed
the compiler to spot many big, logical errors at compile time, and well as the little nit-picky syntactic ones.
+* The type system is very exact. It allows
the compiler to spot many big, logical errors at compile time, and well as the little nit-picky syntactic ones.
''(more to say..)''
