Browse thread
Estimating the size of the ocaml community
-
Yaron Minsky
-
Christopher A. Watford
-
Frédéric_Gava
-
skaller
-
Erik de Castro Lopo
- Olivier_Pérès
-
Thomas Fischbacher
-
Frédéric_Gava
-
Thomas Fischbacher
- Paul Snively
- josh
- Richard Jones
-
Jon Harrop
-
Michael Walter
-
Jon Harrop
- Damien Doligez
- Thomas Fischbacher
- Michael Walter
-
Radu Grigore
- Gerd Stolpmann
- Jon
-
Jon Harrop
- Thomas Fischbacher
- Richard Jones
-
Michael Walter
- Ville-Pertti Keinonen
- Oliver Bandel
- Basile STARYNKEVITCH
-
Thomas Fischbacher
- ronniec95@l...
- skaller
- chris.danx
-
Frédéric_Gava
-
Erik de Castro Lopo
- sejourne_kevin
- Stefano Zacchiroli
-
skaller
-
Frédéric_Gava
- Kenneth Knowles
- Michael Jeffrey Tucker
- Richard Jones
- Nicolas Cannasse
- Evan Martin
- Eric Stokes
- chris.danx
- Sylvain LE GALL
- sejourne_kevin
- Sven Luther
- Johann Spies
-
Christopher A. Watford
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Thomas Fischbacher <Thomas.Fischbacher@P...> |
| Subject: | Re: [Caml-list] The boon of static type checking |
On Sat, 12 Feb 2005, Brian Hurt wrote: > And I disbeleive the "makes it easier with large programs" statement. > It's contrary to all evidence I've seen, and all my experience. The > complexity of a program is, I've postulated, a function of the number of > interactions between different parts of the code. And that therefor the > innate complexity approximately scales with the square of the number of > lines of code- so a 10,000 line program is 100 times as complicated as a > 1,000 line program. Brooks has evidence of this as well. I don't think this is true. It certainly is for spaghetti code, but isn't it just the essence of structured programming to avoid having complexity scale like (lines)^2? There are both quite general and strong reasons why one should expect the complexity of programs of roughly the same "style" (whatever one has to invent to make a proper, meaningful notion out of this) to obey a scaling law of the form [nontrivial interactions] ~ [lines]^N but not necessarily with an integer exponent. I furthermore strongly suppose that this exponent should depend a lot on the programmer. > Very small functions, yes. But it's less of an optimization than people > think, and (especially in C++) it gets way overused. > > Allowing the programmer to force some functions to be inlined is right up > there with allowing the programmer to force some variables to be stored in > registers in usefullness. Sure. Never forget that inlining increases the amount of memory and cache bandwidth needed for getting the code into the CPU. -- regards, tf@cip.physik.uni-muenchen.de (o_ Thomas Fischbacher - http://www.cip.physik.uni-muenchen.de/~tf //\ (lambda (n) ((lambda (p q r) (p p q r)) (lambda (g x y) V_/_ (if (= x 0) y (g g (- x 1) (* x y)))) n 1)) (Debian GNU)