From: Sven <luther@dpt-info.u-strasbg.fr>
To: Jeff Henrikson <jehenrik@yahoo.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] graphical variant editor widget generator
Date: Sun, 16 Dec 2001 10:07:49 +0100 [thread overview]
Message-ID: <20011216100749.A10510@dpt-info.u-strasbg.fr> (raw)
In-Reply-To: <000e01c185a7$c6cde720$0b01a8c0@mit.edu>; from jehenrik@yahoo.com on Sat, Dec 15, 2001 at 03:33:38PM -0500
On Sat, Dec 15, 2001 at 03:33:38PM -0500, Jeff Henrikson wrote:
> I am thinking that rather than building a bunch of custom GUI behavior for my application, it might be nice to have a tool which
> could parse a ocaml datatype of nested variants/records, and generate a custom graphical tree/graph editor widget for it. Then I
> could get my app-specific behavior for cheap, with a UI contract that would make my style self-consistent whether I liked it or
> not. Has anyone done anything similar?
I have proposed such a a thing as a maitrise TER project, but it seems none of
the student choose it.
It is a very nice idea, and it could be used, not only for variants/records
datatypes, but one could also use the functional types to drive different kind
of user feedback automatically, i am doing something such in a project i am
working on for my phd, but with a custom lambda-calculus evaluator.
This requires access to the type of an object, something which is not
available in ocaml, so you would need an external tool, which parses your
program and generate the correct interface.
I would gladly participate in any project who aims at producing such a tool,
or even just for discution on this subject.
Friendly,
Sven Luther
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
next prev parent reply other threads:[~2001-12-16 9:07 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-12-15 20:33 Jeff Henrikson
2001-12-16 9:07 ` Sven [this message]
2001-12-16 13:13 ` Warp
2001-12-16 13:13 ` Warp
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=20011216100749.A10510@dpt-info.u-strasbg.fr \
--to=luther@dpt-info.u-strasbg.fr \
--cc=caml-list@inria.fr \
--cc=jehenrik@yahoo.com \
/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