[Caml-list] Toplevel question ...

[Caml-list] Toplevel question ...

[Andrzej M. Ostruszka]

Hi,

Is there some alias in toplevel for the result of last evaluation so one
could use it instead of retyping (there's no history completion :() and
binding to some name?

I never thought I'll use OCaml for what I'm doing (theoretical physics -
no data analysis) but right now I'm doing some symbolic dynamics for
Markov chains and it is much more comfortable to do it in OCaml then in
Matlab (cause of 'a list :)).

						Best regards
-- 
    ____   _  ___
   /  | \_/ |/ _ \		Andrzej Marek Ostruszka
  / _ |     | (_) | Instytut Fizyki, Uniwersytet Jagiellonski (Cracow)
 /_/ L|_|V|_|\___/	(PGP <-- finger ostruszk@order.if.uj.edu.pl)
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Toplevel question ...

[Tomasz Zielonka]

On Thu, Feb 28, 2002 at 04:49:22PM +0100, Andrzej M. Ostruszka wrote:
> Hi,
> 
> Is there some alias in toplevel for the result of last evaluation so one
> could use it instead of retyping (there's no history completion :() and
> binding to some name?

Lack of history can be easily solved - use ledit:

ftp://ftp.inria.fr/INRIA/Projects/cristal/Daniel.de_Rauglaudre/Tools/ledit.tar.gz

regards,
tom

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] Re: Toplevel question ...

[Andrzej M. Ostruszka]

On Fri, Mar 01 (2002), Tomasz Zielonka wrote:
> > Is there some alias in toplevel for the result of last evaluation so one
> > could use it instead of retyping (there's no history completion :() and
> > binding to some name?
> 
> Lack of history can be easily solved - use ledit:

I'll use this mail as an opportunity to thank to all who suggested me
ledit cause this somewhat improves situation but it is still not what I
wanted :) (I want to avoid recomputing of the result).

If there no solution for it then I'll force myself to think before
typing (which I belive is not that bad policy :)) and bind result if it
can cost much of the cputime.

					Best regards
-- 
    ____   _  ___
   /  | \_/ |/ _ \		Andrzej Marek Ostruszka
  / _ |     | (_) | Instytut Fizyki, Uniwersytet Jagiellonski (Cracow)
 /_/ L|_|V|_|\___/	(PGP <-- finger ostruszk@order.if.uj.edu.pl)
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Toplevel question ...

[Xavier Leroy]

> Is there some alias in toplevel for the result of last evaluation so one
> could use it instead of retyping (there's no history completion :() and
> binding to some name?

The original Caml V3.1 had such a facility -- all results of toplevel
evaluations were bound to the name "it".  This was removed in Caml
Light because of the way Caml Light handles toplevel binding: all
bindings accumulate forever, preventing the GC from reclaiming the
memory space used.  Early versions of Objective Caml had the same
problem as Caml Light, but this was fixed in version 3.01: only the
values of lexically visible toplevel definitions are kept.

So, technically, it would be feasible to resurrect the Caml V3.1
behavior: evaluating "expr ;;" at top-level binds the result value to
the name "it".  Do others think that it would be useful?

- Xavier Leroy
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

RE: [Caml-list] Toplevel question ...

[Mattias Waldau]

So it would be as if 

expr ;;

whould have been written as

let it = expr ;;

in the top-level. Since I currently often write

let x = expr ;;

it would save me 9 keystrokes. I think it is a good idea.

(But I think that soon people would ask you to keep all the
lines, so that we would write it.(4) instead.)

/mattias

> -----Original Message-----
> From: owner-caml-list@pauillac.inria.fr 
> [mailto:owner-caml-list@pauillac.inria.fr] On Behalf Of Xavier Leroy
> Sent: Wednesday, March 06, 2002 11:25 AM
> To: Caml List
> Cc: zielony@cs.net.pl
> Subject: Re: [Caml-list] Toplevel question ...
> 
> 
> > Is there some alias in toplevel for the result of last 
> evaluation so 
> > one could use it instead of retyping (there's no history completion 
> > :() and binding to some name?
> 
> The original Caml V3.1 had such a facility -- all results of 
> toplevel evaluations were bound to the name "it".  This was 
> removed in Caml Light because of the way Caml Light handles 
> toplevel binding: all bindings accumulate forever, preventing 
> the GC from reclaiming the memory space used.  Early versions 
> of Objective Caml had the same problem as Caml Light, but 
> this was fixed in version 3.01: only the values of lexically 
> visible toplevel definitions are kept.
> 
> So, technically, it would be feasible to resurrect the Caml V3.1
> behavior: evaluating "expr ;;" at top-level binds the result 
> value to the name "it".  Do others think that it would be useful?
> 
> - Xavier Leroy
> -------------------
> To unsubscribe, mail caml-list-request@inria.fr Archives: 
http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs
FAQ: http://caml.inria.fr/FAQ/ Beginner's list:
http://groups.yahoo.com/group/ocaml_beginners

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Toplevel question ...

[shiv]

On Wednesday, March 6, 2002, at 02:24 AM, Xavier Leroy wrote:

> Do others think that it would be useful?

Yes, it would be useful for me. I have a matlab-like top-level and it 
would save me a lot of key-strokes.

--shiv--

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

RE: [Caml-list] Toplevel question ...

[Harrison, John R]

| So, technically, it would be feasible to resurrect the Caml V3.1      
| behavior: evaluating "expr ;;" at top-level binds the result 
| value to the name "it".  Do others think that it would be useful?
                                                               
As I've said, I really like the "it" feature. It's also difficult to        
imagine anyone seriously objecting to it, given that the Caml Light

misfeature of being unable to GC objects only accessible via overwritten

toplevel bindings has been corrected. I hadn't noticed that change

before, but I'm very pleased to see it.
                                                             
| (But I think that soon people would ask you to keep all the
| lines, so that we would write it.(4) instead.)                      
                                                                     
If some more elaborate solution like that were contemplated, I'd like
an option to disable it or manually force forgetting and GC of earlier
items.
                                                          
John.
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners