A mathematical foundation of reflexion?

Massimo Dentico m.dentico@teseo.it
Thu, 13 Jan 2000 17:50:15 +0100


Laurent Martelli wrote:
> 
> >>>>> "Massimo" == Massimo Dentico <m.dentico@teseo.it> writes:
> 
>   Massimo> A truly interesting reading is also:
> 
>   Massimo> "Thoughtful Programming" -
>   Massimo> http://www.ultratechnology.com/forth.htm
> 
>   Massimo> ==================================================================
>   Massimo> - http://www.ultratechnology.com/forth2.htm#swb
> 
>   Massimo> [...]
> 
>   Massimo> Stacks are great (for Forth) so use them.  Chuck has said
>   Massimo> "Don't use locals."  You have a stack for data, this is
>   Massimo> Forth, locals are for a whole different picture.
> 
>   Massimo> [...]
> 
>   Massimo> - http://www.ultratechnology.com/forth2.htm#metric
> 
>   Massimo> [remember that a colon definition is a procedure
>   Massimo> difinition] As a metric I did some analysis of code
>   Massimo> examples Chuck has provided.  The numbers I find most
>   Massimo> interesting is that the length of the average colon
>   Massimo> definition is 44 characters.  The length of the longest
>   Massimo> colon definition was 70 characters.  This is a sign that he
>   Massimo> has factored, factored, factored.  How big are the average
>   Massimo> definitions in your code?  Smaller definitions are easier
>   Massimo> to code, easier to test, etc.
> 
> And harder to understand when there are too many of them. It is easier
> to understand a program made of a single 10 lines function than one
> made of 10 function of one line.
> [...]

On what is it based your judgment?   Please, read this example and
tell me what do you think about this extreme factorization.  Is it
hard to understand?

"1.5 INTERACTIVE PROGRAMMING  AN EXAMPLE"
- http://www.forth.com/Content/Handbook/FPH15.html

-- 
Massimo Dentico