From: "Yaron M. Minsky" <yminsky@CS.Cornell.EDU>
To: Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] view types in ocaml?
Date: 21 Jan 2003 07:54:26 -0500 [thread overview]
Message-ID: <1043153665.12441.1603.camel@dragonfly.localdomain> (raw)
In-Reply-To: <8765sj718s.fsf@cs.uga.edu>
Speaking of suggestions for toplevel improvements, I've got a couple:
- don't print really long strings.
The mechanism for ensuring that overly long things don't get
printed to the screen apparently doesn't work for strings. The
result is that if you do anything with a large string (say,
allocate a 100K buffer), every character gets printed to the
screen. (and if that buffer is mostly zeros, each buffer
character is printed as '\000', taking 4 characters. Argh!)
- don't print let-bound values
If I type an expression, such "let x = foobar a b c", the value
of x is dumped to the screen. This is contrary to the behavior
of most language interpreters (see python or matlab for
examples.) It means you have no way of supressing the printing
of the values you generate, which is quite inconvenient.
Perhaps the type should always be printed (although maybe not),
but printing the value every time make no sense.
Suggestively,
y
On Mon, 2003-01-20 at 20:14, Ed L Cashin wrote:
> Hi. I like ocamlbrowser well enough, but is there a way to view type
> info right from the interactive ocaml prompt. Here's what I'm
> thinking of (which won't work, of course).
>
> Objective Caml version 3.06
>
> # #load "unix.cma";;
> # Unix.LargeFile.lseek;;
> - : Unix.file_descr -> int64 -> Unix.seek_command -> int64 = <fun>
> # Unix.LargeFile.stats;;
> type stats = {
> st_dev : int;
> st_ino : int;
> st_kind : Unix.file_kind;
> st_perm : Unix.file_perm;
> st_nlink : int;
> st_uid : int;
> st_gid : int;
> st_rdev : int;
> st_size : int64;
> st_atime : float;
> st_mtime : float;
> st_ctime : float;
> }
-------------------
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
next prev parent reply other threads:[~2003-01-21 12:54 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-01-21 1:14 Ed L Cashin
2003-01-21 12:54 ` Yaron M. Minsky [this message]
[not found] ` <20030121134608.GA495@first.in-berlin.de>
2003-01-21 14:42 ` Yaron M. Minsky
2003-01-21 16:40 ` Gérard Huet
2003-01-21 3:13 Ed L Cashin
2003-01-21 11:48 ` Remi VANICAT
2003-01-21 12:55 ` Ed L Cashin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1043153665.12441.1603.camel@dragonfly.localdomain \
--to=yminsky@cs.cornell.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox